Package org.checkerframework.dataflow.cfg.builder

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 Summary

Modifier and Type	Method	Description
static ControlFlowGraph	process(PhaseOneResult in)	Perform phase two of the translation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 blocks (such as empty regular basic blocks or conditional blocks with the same block as 'then' and 'else' successor)