Package org.checkerframework.framework.flow

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(ProcessingEnvironment env)	Creates a CFTreeBuilder.

Method Summary

Modifier and Type	Method	Description
Tree	buildAnnotatedType(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, buildCloseMethodAccess, buildHasNextMethodAccess, buildIteratorMethodAccess, buildLessThan, buildLiteral, buildMethodInvocation, buildMethodInvocation, buildNewArray, buildNextMethodAccess, buildPrimValueMethodAccess, buildTypeCast, buildValueOfMethodAccess, buildVariableDecl, buildVariableDecl, buildVariableUse, getValueOfMethod, kindToTag

Methods inherited from class java.lang.Object

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

Constructor Details

CFTreeBuilder

public CFTreeBuilder(ProcessingEnvironment env)

Creates a CFTreeBuilder.

Parameters:

env - environment

Method Details

buildAnnotatedType

public Tree buildAnnotatedType(TypeMirror type)

Builds an AST Tree representing a type, including AnnotationTrees for its annotations.

Parameters:

type - the type

Returns:

a Tree representing the type