org.checkerframework.dataflow.cfg

Class CFGBuilder.CFGTranslationPhaseTwo

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo

Enclosing class:

CFGBuilder

public class CFGBuilder.CFGTranslationPhaseTwo
extends java.lang.Object

Class that performs phase two of the translation process.

Constructor Summary

Constructors

Constructor and Description
CFGTranslationPhaseTwo()

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph	process(CFGBuilder.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

Constructor Detail

CFGTranslationPhaseTwo

public CFGTranslationPhaseTwo()

Method Detail

process

public ControlFlowGraph process(CFGBuilder.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' sucessor)