Class CFTreeBuilder
- java.lang.Object
-
- org.checkerframework.javacutil.trees.TreeBuilder
-
- org.checkerframework.framework.flow.CFTreeBuilder
-
public class CFTreeBuilder extends TreeBuilder
The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker. Initially, it will support construction of desugared Trees required by the CFGBuilder, e.g. the pieces of a desugared enhanced for loop.
-
-
Field Summary
-
Fields inherited from class org.checkerframework.javacutil.trees.TreeBuilder
elements, env, javacTypes, maker, modelTypes, names, symtab
-
-
Constructor Summary
Constructors Constructor Description CFTreeBuilder(javax.annotation.processing.ProcessingEnvironment env)
Creates aCFTreeBuilder
.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description com.sun.source.tree.Tree
buildAnnotatedType(javax.lang.model.type.TypeMirror type)
Builds an AST Tree representing a type, including AnnotationTrees for its annotations.-
Methods inherited from class org.checkerframework.javacutil.trees.TreeBuilder
buildArrayAccess, buildArrayLengthAccess, buildAssignment, buildAssignment, buildBinary, buildClassUse, buildHasNextMethodAccess, buildIteratorMethodAccess, buildLessThan, buildLiteral, buildMethodInvocation, buildMethodInvocation, buildNewArray, buildNextMethodAccess, buildPrimValueMethodAccess, buildTypeCast, buildValueOfMethodAccess, buildVariableDecl, buildVariableDecl, buildVariableUse, getValueOfMethod, kindToTag
-
-