org.checkerframework.dataflow.cfg

Class CFGProcessor.CFGProcessResult

java.lang.Object

org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult

Enclosing class:

CFGProcessor

public static class CFGProcessor.CFGProcessResult
extends Object

The result of the CFG process, contains the control flow graph when successful.

Method Summary

Modifier and Type	Method and Description
@Nullable ControlFlowGraph	getCFG() Get the generated control flow graph.
@Nullable String	getErrMsg() Get the error message.
boolean	isSuccess() Check if the CFG process succeeded.

Methods inherited from class java.lang.Object

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

Method Detail

isSuccess

@EnsuresNonNullIf(expression="getCFG()",
                  result=true)
public boolean isSuccess()

Check if the CFG process succeeded.

getCFG

public @Nullable ControlFlowGraph getCFG()

Get the generated control flow graph.

getErrMsg

public @Nullable String getErrMsg()

Get the error message.