Package 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 java.lang.Object

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

Method Summary

Modifier and Type	Method	Description
@Nullable ControlFlowGraph	getCFG()	Returns the generated control flow graph.
@Nullable java.lang.String	getErrMsg()	Returns 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

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

Check if the CFG process succeeded.

Returns:

true if the CFG process succeeded

getCFG

@Pure
public @Nullable ControlFlowGraph getCFG()

Returns the generated control flow graph.

Returns:

the generated control flow graph

getErrMsg

@Pure
public @Nullable java.lang.String getErrMsg()

Returns the error message.

Returns:

the error message