public class ControlFlowGraph extends Object
Constructor and Description |
---|
ControlFlowGraph(MethodGen methodGen)
A Control Flow Graph; with additional JustIce checks
|
ControlFlowGraph(MethodGen methodGen,
boolean enableJustIceCheck)
A Control Flow Graph.
|
Modifier and Type | Method and Description |
---|---|
InstructionContext |
contextOf(InstructionHandle inst)
Returns the InstructionContext of a given instruction.
|
InstructionContext[] |
contextsOf(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(InstructionHandle i)
Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this
ControlFlowGraph.
|
public ControlFlowGraph(MethodGen methodGen)
methodGen
- the method generator instancepublic ControlFlowGraph(MethodGen methodGen, boolean enableJustIceCheck)
methodGen
- the method generator instanceenableJustIceCheck
- if true, additional JustIce checks are performedpublic InstructionContext contextOf(InstructionHandle inst)
public InstructionContext[] contextsOf(InstructionHandle[] insts)
public InstructionContext[] getInstructionContexts()
public boolean isDead(InstructionHandle i)
Copyright © 2004–2024 The Apache Software Foundation. All rights reserved.