ControlFlowGraph

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> apache >> bcel >> verifier >> [ structurals overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.apache.bcel.verifier.structurals.ControlFlowGraph

SOURCE |

Download org.apache.bcel.verifier.structurals.ControlFlowGraph

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.apache.bcel.verifier.structurals
Class ControlFlowGraph

java.lang.Object
  org.apache.bcel.verifier.structurals.ControlFlowGraph

public class ControlFlowGraph
extends java.lang.Object

This class represents a control flow graph of a method.

Version:: $Id: ControlFlowGraph.java 386056 2006-03-15 11:31:56Z tcurdt $

Nested Class Summary

private class ControlFlowGraph.InstructionContextImpl
          Objects of this class represent a node in a ControlFlowGraph.

Field Summary

private ExceptionHandlers exceptionhandlers
          The ExceptionHandlers object for the method whose control flow is represented by this ControlFlowGraph.

private java.util.Hashtable instructionContexts
          All InstructionContext instances of this ControlFlowGraph.

private org.apache.bcel.generic.MethodGen method_gen
          The MethodGen object we're working on.

private Subroutines subroutines
          The Subroutines object for the method whose control flow is represented by this ControlFlowGraph.

Constructor Summary

ControlFlowGraph(org.apache.bcel.generic.MethodGen method_gen)
          A Control Flow Graph.

Method Summary

InstructionContext contextOf(org.apache.bcel.generic.InstructionHandle inst)
          Returns the InstructionContext of a given instruction.

InstructionContext[] contextsOf(org.apache.bcel.generic.InstructionHandle[] insts)
          Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.

InstructionContext[] getInstructionContexts()
          Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).

boolean isDead(org.apache.bcel.generic.InstructionHandle i)
          Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this ControlFlowGraph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

method_gen

private final org.apache.bcel.generic.MethodGen method_gen

The MethodGen object we're working on.

subroutines

private final Subroutines subroutines

The Subroutines object for the method whose control flow is represented by this ControlFlowGraph.

exceptionhandlers

private final ExceptionHandlers exceptionhandlers

The ExceptionHandlers object for the method whose control flow is represented by this ControlFlowGraph.

instructionContexts

private java.util.Hashtable instructionContexts

All InstructionContext instances of this ControlFlowGraph.

Constructor Detail