Class ControlFlowGraph


  • public class ControlFlowGraph
    extends Object
    This class represents a control flow graph of a method.
    • Constructor Detail

      • ControlFlowGraph

        public ControlFlowGraph​(MethodGen method_gen)
        A Control Flow Graph; with additional JustIce checks
        Parameters:
        method_gen - the method generator instance
      • ControlFlowGraph

        public ControlFlowGraph​(MethodGen method_gen,
                                boolean enableJustIceCheck)
        A Control Flow Graph.
        Parameters:
        method_gen - the method generator instance
        enableJustIceCheck - if true, additional JustIce checks are performed
        Since:
        6.0
    • Method Detail

      • contextsOf

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