org.checkerframework.dataflow.cfg

Class CFGBuilder.CFGTranslationPhaseTwo

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo

Enclosing class:

CFGBuilder

protected static class CFGBuilder.CFGTranslationPhaseTwo
extends java.lang.Object

Class that performs phase two of the translation process.

Method Summary

Modifier and Type	Method and Description
static 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

Method Detail

process

public static 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' successor)