Class CFGTranslationPhaseTwo

java.lang.Object
org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo

public class CFGTranslationPhaseTwo extends Object
Class that performs phase two of the translation process.
  • Method Details

    • process

      public static ControlFlowGraph process(PhaseOneResult in)
      Perform phase two of the translation.
      Parameters:
      in - the result of phase one
      Returns:
      a control flow graph that might still contain degenerate basic block (such as empty regular basic blocks or conditional blocks with the same block as 'then' and 'else' successor)