Package org.checkerframework.dataflow.cfg
package org.checkerframework.dataflow.cfg
-
ClassDescriptionGenerate the control flow graph of a given method in a given class.The result of the CFG process, contains the control flow graph when successful.A control flow graph (CFG for short) of a single method.Represents an abstract syntax tree of type
Treethat underlies a given control flow graph.If the underlying AST is a lambda.If the underlying AST is a method.If the underlying AST is a statement or expression.The kinds of underlying ASTs.