public class ControlFlowGraph extends Object
Constructor and Description |
---|
ControlFlowGraph(MethodGen method_gen)
A Control Flow Graph; with additional JustIce checks
|
ControlFlowGraph(MethodGen method_gen,
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 method_gen)
method_gen
- the method generator instancepublic ControlFlowGraph(MethodGen method_gen, boolean enableJustIceCheck)
method_gen
- 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–2022 The Apache Software Foundation. All rights reserved.