JustIce class file verifier documentation: Class ControlFlowGraph

Overview

Package

Class

Tree

Deprecated

Index

Help

BCEL's class file verifier "JustIce"

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

de.fub.bytecode.verifier.structurals
Class ControlFlowGraph

java.lang.Object
  |
  +--de.fub.bytecode.verifier.structurals.ControlFlowGraph

public class ControlFlowGraph
extends java.lang.Object

This class represents a control flow graph of a method.

Version:: $Id: ControlFlowGraph.java,v 1.40 2001/09/12 12:00:49 ehaase Exp $
Author:: Enver Haase

Constructor Summary

ControlFlowGraph(de.fub.bytecode.generic.MethodGen method_gen)
          A Control Flow Graph.

Method Summary

InstructionContext contextOf(de.fub.bytecode.generic.InstructionHandle inst)
          Returns the InstructionContext of a given instruction.

InstructionContext[] contextsOf(de.fub.bytecode.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(de.fub.bytecode.generic.InstructionHandle i)
          Returns true, if and only if the said instruction is not reachable; that means, if it not part of this ControlFlowGraph.

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlFlowGraph

public ControlFlowGraph(de.fub.bytecode.generic.MethodGen method_gen)

A Control Flow Graph.

Method Detail

contextOf

public InstructionContext contextOf(de.fub.bytecode.generic.InstructionHandle inst)

Returns the InstructionContext of a given instruction.

contextsOf

public InstructionContext[] contextsOf(de.fub.bytecode.generic.InstructionHandle[] insts)

Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.

getInstructionContexts

public InstructionContext[] getInstructionContexts()

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

isDead

public boolean isDead(de.fub.bytecode.generic.InstructionHandle i)

Returns true, if and only if the said instruction is not reachable; that means, if it not part of this ControlFlowGraph.