Class ControlFlowGraph


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

      • ControlFlowGraph

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

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