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 Details