Class TreeUtils
- java.lang.Object
-
- org.checkerframework.javacutil.TreeUtils
-
public final class TreeUtils extends java.lang.Object
Utility methods for analyzing a javacTree
.- See Also:
TreePathUtil
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
TreeUtils.MemberReferenceKind
This is a duplication ofcom.sun.tools.javac.tree.JCTree.JCMemberReference.ReferenceKind
, which is not part of the supported javac API.
-
Field Summary
Fields Modifier and Type Field Description static org.plumelib.util.UniqueIdMap<com.sun.source.tree.Tree>
treeUids
Unique IDs for trees.
-
Method Summary
All Methods Static Methods Concrete Methods Deprecated Methods Modifier and Type Method Description static javax.lang.model.element.AnnotationMirror
annotationFromAnnotationTree(com.sun.source.tree.AnnotationTree tree)
Converts the given AnnotationTree to an AnnotationMirror.static java.util.List<? extends javax.lang.model.element.AnnotationMirror>
annotationsFromArrayCreation(com.sun.source.tree.NewArrayTree tree, int level)
Converts the given NewArrayTree to a list of AnnotationMirrors.static java.util.List<? extends javax.lang.model.element.AnnotationMirror>
annotationsFromTree(com.sun.source.tree.AnnotatedTypeTree tree)
Converts the given AnnotatedTypeTree to a list of AnnotationMirrors.static java.util.List<? extends javax.lang.model.element.AnnotationMirror>
annotationsFromTree(com.sun.source.tree.TypeParameterTree tree)
Converts the given TypeParameterTree to a list of AnnotationMirrors.static java.util.List<javax.lang.model.element.AnnotationMirror>
annotationsFromTypeAnnotationTrees(java.util.List<? extends com.sun.source.tree.AnnotationTree> annoTrees)
Converts the given AnnotationTrees to AnnotationMirrors.static @Nullable javax.lang.model.element.VariableElement
asFieldAccess(com.sun.source.tree.Tree tree)
Return the field thattree
is a field access expression for, or null.static com.sun.source.tree.VariableTree
bindingPatternTreeGetVariable(com.sun.source.tree.Tree bindingPatternTree)
Deprecated.static boolean
canHaveTypeAnnotation(com.sun.source.tree.Tree tree)
Returntrue
if and only iftree
can have a type annotation.static @Nullable com.sun.source.tree.Tree
caseTreeGetBody(com.sun.source.tree.CaseTree caseTree)
Deprecated.static java.util.List<? extends com.sun.source.tree.ExpressionTree>
caseTreeGetExpressions(com.sun.source.tree.CaseTree caseTree)
Deprecated.static java.util.Set<com.sun.source.tree.Tree.Kind>
classAndMethodTreeKinds()
Returns the set of kinds that represent classes and methods.static java.util.Set<com.sun.source.tree.Tree.Kind>
classTreeKinds()
Return the set of kinds that represent classes.static javax.lang.model.element.ExecutableElement
constructor(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUse insteadstatic boolean
containsThisConstructorInvocation(com.sun.source.tree.MethodTree tree)
Returns true if the first statement in the body is a self constructor invocation within a constructor.static com.sun.source.tree.LiteralTree
createLiteral(com.sun.tools.javac.code.TypeTag typeTag, @Nullable java.lang.Object value, javax.lang.model.type.TypeMirror typeMirror, javax.annotation.processing.ProcessingEnvironment processingEnv)
Creates a LiteralTree for the given value.static java.util.Set<com.sun.source.tree.Tree.Kind>
declarationTreeKinds()
Return the set of kinds that represent declarations: classes, methods, and variables.static javax.lang.model.element.TypeElement
elementFromDeclaration(com.sun.source.tree.ClassTree tree)
Returns the type element corresponding to the given class declaration.static @Nullable javax.lang.model.element.Element
elementFromDeclaration(com.sun.source.tree.ExpressionTree tree)
Deprecated.static @Nullable javax.lang.model.element.Element
elementFromDeclaration(com.sun.source.tree.MemberSelectTree tree)
Deprecated.use elementFromUsestatic @Nullable javax.lang.model.element.ExecutableElement
elementFromDeclaration(com.sun.source.tree.MethodInvocationTree tree)
Deprecated.use elementFromUsestatic javax.lang.model.element.ExecutableElement
elementFromDeclaration(com.sun.source.tree.MethodTree tree)
Returns the ExecutableElement for the given method declaration.static javax.lang.model.element.ExecutableElement
elementFromDeclaration(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUsestatic javax.lang.model.element.VariableElement
elementFromDeclaration(com.sun.source.tree.VariableTree tree)
Returns the VariableElement corresponding to the given variable declaration.static javax.lang.model.element.TypeElement
elementFromTree(com.sun.source.tree.ClassTree tree)
Deprecated.static @Nullable javax.lang.model.element.Element
elementFromTree(com.sun.source.tree.ExpressionTree tree)
Returns the element corresponding to the given tree.static @Nullable javax.lang.model.element.Element
elementFromTree(com.sun.source.tree.MemberSelectTree tree)
Deprecated.use elementFromUsestatic @Nullable javax.lang.model.element.ExecutableElement
elementFromTree(com.sun.source.tree.MethodInvocationTree tree)
Deprecated.use elementFromUsestatic javax.lang.model.element.ExecutableElement
elementFromTree(com.sun.source.tree.MethodTree tree)
Deprecated.use elementFromDeclarationstatic javax.lang.model.element.ExecutableElement
elementFromTree(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUsestatic @Nullable javax.lang.model.element.Element
elementFromTree(com.sun.source.tree.Tree tree)
Returns theElement
for the given Tree API node.static javax.lang.model.element.VariableElement
elementFromTree(com.sun.source.tree.VariableTree tree)
Deprecated.use elementFromDeclarationstatic javax.lang.model.element.TypeElement
elementFromUse(com.sun.source.tree.ClassTree tree)
Deprecated.static javax.lang.model.element.Element
elementFromUse(com.sun.source.tree.ExpressionTree tree)
Gets the element for the declaration corresponding to this use of an element.static javax.lang.model.element.Element
elementFromUse(com.sun.source.tree.MemberSelectTree tree)
Returns the element for the given expression.static javax.lang.model.element.ExecutableElement
elementFromUse(com.sun.source.tree.MethodInvocationTree tree)
Returns the ExecutableElement for the called method.static javax.lang.model.element.ExecutableElement
elementFromUse(com.sun.source.tree.MethodTree tree)
Deprecated.use elementFromDeclarationstatic javax.lang.model.element.ExecutableElement
elementFromUse(com.sun.source.tree.NewClassTree tree)
Gets the ExecutableElement for the called constructor, from a constructor invocation.static javax.lang.model.element.VariableElement
elementFromUse(com.sun.source.tree.VariableTree tree)
Deprecated.use elementFromDeclarationstatic javax.lang.model.element.ExecutableElement
findFunction(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment env)
The type of the lambda or method reference tree is a functional interface type.static com.sun.source.tree.Tree
firstStatement(com.sun.source.tree.Tree tree)
Returns the first statement of the tree if it is a block.static com.sun.source.tree.LiteralTree
getDefaultValueTree(javax.lang.model.type.TypeMirror typeMirror, javax.annotation.processing.ProcessingEnvironment processingEnv)
Return a tree for the default value of the given type.static java.util.List<? extends com.sun.source.tree.AnnotationTree>
getExplicitAnnotationTrees(@Nullable java.util.List<? extends com.sun.source.tree.AnnotationTree> annoTrees, com.sun.source.tree.Tree typeTree)
Returns the annotations explicitly written on the given type.static javax.lang.model.element.VariableElement
getField(@FullyQualifiedName java.lang.String typeName, java.lang.String fieldName, javax.annotation.processing.ProcessingEnvironment env)
Returns the VariableElement for a field declaration.static java.lang.String
getFieldName(com.sun.source.tree.Tree tree)
Compute the name of the field that the field accesstree
accesses.static com.sun.source.tree.Tree.Kind
getKindRecordAsClass(com.sun.source.tree.Tree tree)
Calls getKind() on the given tree, but returns CLASS if the Kind is RECORD.static javax.lang.model.element.ExecutableElement
getMethod(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration.static javax.lang.model.element.ExecutableElement
getMethod(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, javax.annotation.processing.ProcessingEnvironment env, java.lang.String... paramTypes)
Returns the ExecutableElement for a method declaration.static javax.lang.model.element.ExecutableElement
getMethod(java.lang.Class<?> type, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration.static javax.lang.model.element.ExecutableElement
getMethod(java.lang.Class<?> type, java.lang.String methodName, javax.annotation.processing.ProcessingEnvironment env, java.lang.String... paramTypes)
Returns the ExecutableElement for a method declaration.static java.lang.String
getMethodName(com.sun.source.tree.Tree tree)
Compute the name of the method that the method accesstree
accesses.static @Nullable javax.lang.model.element.ExecutableElement
getMethodOrNull(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration.static java.util.List<javax.lang.model.element.ExecutableElement>
getMethods(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns all ExecutableElements for method declarations of methodName, in class typeName, with params formal parameters.static @Nullable com.sun.source.tree.ExpressionTree
getReceiverTree(com.sun.source.tree.ExpressionTree expression)
Returns the receiver tree of a field access or a method invocation.static javax.lang.model.element.ExecutableElement
getSuperConstructor(com.sun.source.tree.NewClassTree newClassTree)
Returns the constructor invoked bynewClassTree
unlessnewClassTree
is creating an anonymous class.static boolean
hasExplicitConstructor(com.sun.source.tree.ClassTree tree)
Determine whether the given class contains an explicit constructor.static boolean
hasSyntheticArgument(com.sun.source.tree.NewClassTree tree)
Returns true iftree
has a synthetic argument.static @Nullable com.sun.source.tree.Tree
instanceOfTreeGetPattern(com.sun.source.tree.InstanceOfTree instanceOfTree)
Deprecated.static boolean
isAnonymousConstructor(com.sun.source.tree.MethodTree method)
Returns true if the givenMethodTree
is an anonymous constructor (the constructor for an anonymous class).static boolean
isAnonymousConstructorWithExplicitEnclosingExpression(javax.lang.model.element.ExecutableElement con, com.sun.source.tree.NewClassTree tree)
Returns true if the passed constructor is anonymous and has an explicit enclosing expression.static boolean
isArrayLengthAccess(com.sun.source.tree.Tree tree)
Returns true if tree is an access of array length.static boolean
isAutoGeneratedRecordMember(com.sun.source.tree.Tree member)
Returns true if the givenTree
is part of a record that has been automatically generated by the compiler.static boolean
isBinaryComparison(com.sun.source.tree.BinaryTree tree)
Returns true if thetree
is a binary tree that performs a comparison.static boolean
isBindingPatternTree(com.sun.source.tree.Tree tree)
Returns true iftree
is aBindingPatternTree
.static boolean
isCaseRule(com.sun.source.tree.CaseTree caseTree)
Deprecated.static boolean
isClassLiteral(com.sun.source.tree.Tree tree)
Determine whethertree
is a class literal, such asstatic boolean
isClassTree(com.sun.source.tree.Tree tree)
Is the given tree kind a class, i.e.static boolean
isCompactCanonicalRecordConstructor(com.sun.source.tree.MethodTree method)
Returns true if the givenMethodTree
is a compact canonical constructor (the constructor for a record where the parameters are implicitly declared and implicitly assigned to the record's fields).static boolean
isCompileTimeString(com.sun.source.tree.ExpressionTree tree)
Returns true if the tree is a constant-time expression.static boolean
isConstructor(com.sun.source.tree.MethodTree tree)
Checks if the provided method is a constructor method or no.static boolean
isDeclarationTree(com.sun.source.tree.Tree tree)
Returns true if the given tree is a declaration.static boolean
isDeconstructionPatternTree(com.sun.source.tree.Tree tree)
Returns true iftree
is aDeconstructionPatternTree
.static boolean
isDefaultCaseTree(com.sun.source.tree.CaseTree caseTree)
Deprecated.static boolean
isDiamondTree(com.sun.source.tree.Tree tree)
Returns true if the tree is of a diamond type.static boolean
isEnumSuperCall(com.sun.source.tree.MethodInvocationTree tree)
Returns true if this is a super call to theEnum
constructor.static boolean
isExplicitThisDereference(com.sun.source.tree.ExpressionTree tree)
Determine whether the given expression is either "this" or an outer "C.this".static boolean
isExprConstTrue(com.sun.source.tree.ExpressionTree tree)
Determine whether an expressionExpressionTree
has the constant value true, according to the compiler logic.static boolean
isExpressionTree(com.sun.source.tree.Tree tree)
Determine whether the given tree represents an ExpressionTree.static boolean
isFieldAccess(com.sun.source.tree.Tree tree)
Determine whethertree
is a field access expression, such asstatic boolean
isImplicitlyTypedLambda(com.sun.source.tree.Tree tree)
Returns true iftree
is an implicitly typed lambda.static boolean
isLocalVariable(com.sun.source.tree.Tree tree)
Returns true if the tree is the declaration or use of a local variable.static boolean
isMethodAccess(com.sun.source.tree.Tree tree)
Determine whethertree
refers to a method element, such as.static boolean
isMethodInvocation(com.sun.source.tree.Tree methodTree, java.util.List<javax.lang.model.element.ExecutableElement> methods, javax.annotation.processing.ProcessingEnvironment processingEnv)
Returns true if the argument is an invocation of one of the given methods, or of any method that overrides them.static boolean
isMethodInvocation(com.sun.source.tree.Tree tree, javax.lang.model.element.ExecutableElement method, javax.annotation.processing.ProcessingEnvironment env)
Returns true if the given element is an invocation of the method, or of any method that overrides that one.static boolean
isNullExpression(com.sun.source.tree.Tree t)
Returns true if the given tree evaluates tonull
.static boolean
isRecordTree(com.sun.source.tree.Tree tree)
Determine whether the given tree is of Kind RECORD, in a way that works on all versions of Java.static boolean
isSelfAccess(com.sun.source.tree.ExpressionTree tree)
Returns true if the tree is a tree that 'looks like' either an access of a field or an invocation of a method that are owned by the same accessing instance.static boolean
isSpecificFieldAccess(com.sun.source.tree.Tree tree, javax.lang.model.element.VariableElement var)
Returns true if and only if the giventree
represents a field access of the givenVariableElement
.static boolean
isStringCompoundConcatenation(com.sun.source.tree.CompoundAssignmentTree tree)
Returns true if the compound assignment tree is a string concatenation.static boolean
isStringConcatenation(com.sun.source.tree.Tree tree)
Returns true if the tree represents aString
concatenation operation.static boolean
isSuperConstructorCall(com.sun.source.tree.MethodInvocationTree tree)
Checks if the method invocation is a call to super.static boolean
isSwitchStatement(com.sun.source.tree.Tree tree)
Returns true if the given tree is a switch statement (as opposed to a switch expression).static boolean
isSynthetic(com.sun.source.tree.MethodTree tree)
Returns true if the given method is synthetic.static boolean
isSynthetic(javax.lang.model.element.ExecutableElement ee)
Returns true if the given method is synthetic.static boolean
isThisConstructorCall(com.sun.source.tree.MethodInvocationTree tree)
Checks if the method invocation is a call to "this".static boolean
isTypeDeclaration(com.sun.source.tree.Tree tree)
Determine whether the given tree represents a declaration of a type (including type parameters).static boolean
isTypeTree(com.sun.source.tree.Tree tree)
Is the given tree a type instantiation?static boolean
isUseOfElement(com.sun.source.tree.ExpressionTree tree)
Determine whether the given ExpressionTree has an underlying element.static boolean
isVarArgs(com.sun.source.tree.MethodInvocationTree invok)
Returns true if the given method invocation is a varargs invocation.static boolean
isVarArgs(com.sun.source.tree.NewClassTree newClassTree)
Returns true if the given constructor invocation is a varargs invocation.static boolean
isVarArgs(com.sun.source.tree.Tree tree)
Returns true if the given method/constructor invocation is a varargs invocation.static boolean
isVariableTreeDeclaredUsingVar(com.sun.source.tree.VariableTree variableTree)
Returns true if thevariableTree
is declared using thevar
Java keyword.static boolean
isVoidReturn(com.sun.source.tree.MethodTree tree)
Is this method's declared return type "void"?static boolean
isWideningBinary(com.sun.source.tree.BinaryTree tree)
Returns true if the binary operator may do a widening primitive conversion.static javax.lang.model.element.Name
methodName(com.sun.source.tree.MethodInvocationTree tree)
Returns the name of the invoked method.static java.lang.String
nameExpressionToString(com.sun.source.tree.ExpressionTree nameExpr)
Given a javac ExpressionTree representing a fully qualified name such as "java.lang.Object", creates a String containing the name.static boolean
sameTree(com.sun.source.tree.ExpressionTree expr1, com.sun.source.tree.ExpressionTree expr2)
Returns true if two expressions originating from the same scope are identical, i.e.static com.sun.tools.javac.tree.JCTree.JCFieldAccess
Select(com.sun.tools.javac.tree.TreeMaker treeMaker, com.sun.source.tree.Tree base, com.sun.tools.javac.code.Symbol sym)
Returns the result oftreeMaker.Select(base, sym)
.static com.sun.tools.javac.tree.JCTree.JCFieldAccess
Select(com.sun.tools.javac.tree.TreeMaker treeMaker, com.sun.source.tree.Tree base, com.sun.tools.javac.util.Name name)
Returns the result oftreeMaker.Select(base, name)
.static java.util.List<? extends com.sun.source.tree.CaseTree>
switchExpressionTreeGetCases(com.sun.source.tree.Tree switchExpressionTree)
Deprecated.static com.sun.source.tree.ExpressionTree
switchExpressionTreeGetExpression(com.sun.source.tree.Tree switchExpressionTree)
Deprecated.static java.lang.String
toStringOneLine(com.sun.source.tree.Tree tree)
Return toString(), but without line separators.static java.lang.String
toStringTruncated(com.sun.source.tree.Tree tree, int length)
Return eithertoStringOneLine(com.sun.source.tree.Tree)
if it is no more thanlength
characters, ortoStringOneLine(com.sun.source.tree.Tree)
quoted and truncated.static javax.lang.model.type.ExecutableType
typeFromUse(com.sun.source.tree.MethodInvocationTree tree)
Determines the type for a method invocation at its call site, which has all type variables substituted with the type arguments at the call site.static javax.lang.model.type.ExecutableType
typeFromUse(com.sun.source.tree.NewClassTree tree)
Determines the type for a constructor at its call site given an invocation vianew
, which has all type variables substituted with the type arguments at the call site.static javax.lang.model.type.TypeMirror
typeOf(com.sun.source.tree.Tree tree)
Returns the type as a TypeMirror oftree
.static java.util.Set<com.sun.source.tree.Tree.Kind>
typeTreeKinds()
Return the set of kinds that represent types.static javax.lang.model.element.VariableElement
variableElementFromTree(com.sun.source.tree.Tree tree)
Returns theVariableElement
for the given Tree API node.static javax.lang.model.element.VariableElement
variableElementFromUse(com.sun.source.tree.ExpressionTree tree)
Returns the VariableElement corresponding to the given use.static @PolyInterned com.sun.source.tree.ExpressionTree
withoutParens(@PolyInterned com.sun.source.tree.ExpressionTree tree)
If the given tree is a parenthesized tree, return the enclosed non-parenthesized tree.static @PolyInterned com.sun.source.tree.ExpressionTree
withoutParensOrCasts(@PolyInterned com.sun.source.tree.ExpressionTree tree)
If the given tree is a parenthesized tree or cast tree, return the enclosed non-parenthesized, non-cast tree.static com.sun.source.tree.ExpressionTree
yieldTreeGetValue(com.sun.source.tree.Tree yieldTree)
Deprecated.
-
-
-
Method Detail
-
isConstructor
public static boolean isConstructor(com.sun.source.tree.MethodTree tree)
Checks if the provided method is a constructor method or no.- Parameters:
tree
- a tree defining the method- Returns:
- true iff tree describes a constructor
-
isSuperConstructorCall
public static boolean isSuperConstructorCall(com.sun.source.tree.MethodInvocationTree tree)
Checks if the method invocation is a call to super.- Parameters:
tree
- a tree defining a method invocation- Returns:
- true iff tree describes a call to super
-
isThisConstructorCall
public static boolean isThisConstructorCall(com.sun.source.tree.MethodInvocationTree tree)
Checks if the method invocation is a call to "this".- Parameters:
tree
- a tree defining a method invocation- Returns:
- true iff tree describes a call to this
-
isSelfAccess
public static boolean isSelfAccess(com.sun.source.tree.ExpressionTree tree)
Returns true if the tree is a tree that 'looks like' either an access of a field or an invocation of a method that are owned by the same accessing instance.It would only return true if the access tree is of the form:
field this.field method() this.method()
It does not perform any semantical check to differentiate between fields and local variables; local methods or imported static methods.- Parameters:
tree
- expression tree representing an access to object member- Returns:
true
iff the member is a member ofthis
instance
-
withoutParens
public static @PolyInterned com.sun.source.tree.ExpressionTree withoutParens(@PolyInterned com.sun.source.tree.ExpressionTree tree)
If the given tree is a parenthesized tree, return the enclosed non-parenthesized tree. Otherwise, return the same tree.- Parameters:
tree
- an expression tree- Returns:
- the outermost non-parenthesized tree enclosed by the given tree
-
withoutParensOrCasts
public static @PolyInterned com.sun.source.tree.ExpressionTree withoutParensOrCasts(@PolyInterned com.sun.source.tree.ExpressionTree tree)
If the given tree is a parenthesized tree or cast tree, return the enclosed non-parenthesized, non-cast tree. Otherwise, return the same tree.- Parameters:
tree
- an expression tree- Returns:
- the outermost non-parenthesized non-cast tree enclosed by the given tree
-
elementFromDeclaration
public static javax.lang.model.element.TypeElement elementFromDeclaration(com.sun.source.tree.ClassTree tree)
Returns the type element corresponding to the given class declaration.- Parameters:
tree
- class declaration- Returns:
- the element for the given class
-
elementFromTree
@Deprecated @Pure public static javax.lang.model.element.TypeElement elementFromTree(com.sun.source.tree.ClassTree tree)
Deprecated.Returns the type element corresponding to the given class declaration.The TypeElement may be null for an anonymous class.
- Parameters:
tree
- theClassTree
node to get the element for- Returns:
- the
TypeElement
for the given tree
-
elementFromUse
@Deprecated @Pure public static javax.lang.model.element.TypeElement elementFromUse(com.sun.source.tree.ClassTree tree)
Deprecated.Returns the type element corresponding to the given class declaration.- Parameters:
tree
- theClassTree
node to get the element for- Returns:
- the
TypeElement
for the given tree
-
elementFromDeclaration
@Pure @Deprecated public static @Nullable javax.lang.model.element.Element elementFromDeclaration(com.sun.source.tree.ExpressionTree tree)
Deprecated.Returns the element corresponding to the given tree.- Parameters:
tree
- the tree corresponding to a use of an element- Returns:
- the element for the corresponding declaration,
null
otherwise
-
elementFromTree
@Pure public static @Nullable javax.lang.model.element.Element elementFromTree(com.sun.source.tree.ExpressionTree tree)
Returns the element corresponding to the given tree.- Parameters:
tree
- the tree corresponding to a use of an element- Returns:
- the element for the corresponding declaration,
null
otherwise
-
elementFromUse
@Pure public static javax.lang.model.element.Element elementFromUse(com.sun.source.tree.ExpressionTree tree)
Gets the element for the declaration corresponding to this use of an element. To get the element for a declaration, useelementFromDeclaration(ClassTree)
,elementFromDeclaration(MethodTree)
, orelementFromDeclaration(VariableTree)
instead.This method is just a wrapper around
elementFromTree(Tree)
, but this class might be the first place someone looks for this functionality.- Parameters:
tree
- the tree, which must be a use of an element- Returns:
- the element for the corresponding declaration
-
variableElementFromUse
@Pure public static javax.lang.model.element.VariableElement variableElementFromUse(com.sun.source.tree.ExpressionTree tree)
Returns the VariableElement corresponding to the given use.- Parameters:
tree
- the tree corresponding to a use of a VariableElement- Returns:
- the element for the corresponding declaration
-
elementFromDeclaration
@Deprecated @Pure public static @Nullable javax.lang.model.element.Element elementFromDeclaration(com.sun.source.tree.MemberSelectTree tree)
Deprecated.use elementFromUseReturns the element for the given expression.- Parameters:
tree
- theTree
node to get the element for- Returns:
- the element for the given tree, or null if one could not be found
-
elementFromTree
@Deprecated @Pure public static @Nullable javax.lang.model.element.Element elementFromTree(com.sun.source.tree.MemberSelectTree tree)
Deprecated.use elementFromUseReturns the element for the given expression.- Parameters:
tree
- theTree
node to get the element for- Returns:
- the element for the given tree, or null if one could not be found
-
elementFromUse
@Pure public static javax.lang.model.element.Element elementFromUse(com.sun.source.tree.MemberSelectTree tree)
Returns the element for the given expression.- Parameters:
tree
- a method call- Returns:
- the element for the called method
-
elementFromDeclaration
@Deprecated @Pure public static @Nullable javax.lang.model.element.ExecutableElement elementFromDeclaration(com.sun.source.tree.MethodInvocationTree tree)
Deprecated.use elementFromUseReturns the ExecutableElement for the called method.- Parameters:
tree
- theTree
node to get the element for- Returns:
- the Element for the given tree, or null if one could not be found
-
elementFromTree
@Deprecated @Pure public static @Nullable javax.lang.model.element.ExecutableElement elementFromTree(com.sun.source.tree.MethodInvocationTree tree)
Deprecated.use elementFromUseReturns the ExecutableElement for the called method.- Parameters:
tree
- theTree
node to get the element for- Returns:
- the Element for the given tree, or null if one could not be found
-
elementFromUse
@Pure public static javax.lang.model.element.ExecutableElement elementFromUse(com.sun.source.tree.MethodInvocationTree tree)
Returns the ExecutableElement for the called method.- Parameters:
tree
- a method call- Returns:
- the ExecutableElement for the called method
-
elementFromDeclaration
public static javax.lang.model.element.ExecutableElement elementFromDeclaration(com.sun.source.tree.MethodTree tree)
Returns the ExecutableElement for the given method declaration.The result can be null, when
tree
is a method in an anonymous class and that class has not been processed yet. An exception will be raised. Adapt your processing order.- Parameters:
tree
- a method declaration- Returns:
- the element for the given method
-
elementFromTree
@Deprecated @Pure public static javax.lang.model.element.ExecutableElement elementFromTree(com.sun.source.tree.MethodTree tree)
Deprecated.use elementFromDeclarationReturns the ExecutableElement for the given method declaration.- Parameters:
tree
- theMethodTree
node to get the element for- Returns:
- the Element for the given tree
-
elementFromUse
@Deprecated @Pure public static javax.lang.model.element.ExecutableElement elementFromUse(com.sun.source.tree.MethodTree tree)
Deprecated.use elementFromDeclarationReturns the ExecutableElement for the given method declaration.- Parameters:
tree
- theMethodTree
node to get the element for- Returns:
- the Element for the given tree
-
elementFromDeclaration
@Deprecated @Pure public static javax.lang.model.element.ExecutableElement elementFromDeclaration(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUseReturns the ExecutableElement for the given constructor invocation.- Parameters:
tree
- theNewClassTree
node to get the element for- Returns:
- the
ExecutableElement
for the given tree, or null if one could not be found - Throws:
java.lang.IllegalArgumentException
- iftree
is null or is not a valid javac-internal tree (JCTree)
-
elementFromTree
@Deprecated @Pure public static javax.lang.model.element.ExecutableElement elementFromTree(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUseGets the ExecutableElement for the called constructor, from a constructor invocation.- Parameters:
tree
- theNewClassTree
node to get the element for- Returns:
- the
ExecutableElement
for the given tree, or null if one could not be found - Throws:
java.lang.IllegalArgumentException
- iftree
is null or is not a valid javac-internal tree (JCTree)
-
elementFromUse
@Pure public static javax.lang.model.element.ExecutableElement elementFromUse(com.sun.source.tree.NewClassTree tree)
Gets the ExecutableElement for the called constructor, from a constructor invocation.- Parameters:
tree
- a constructor invocation- Returns:
- the ExecutableElement for the called constructor
- See Also:
constructor(NewClassTree)
-
elementFromDeclaration
public static javax.lang.model.element.VariableElement elementFromDeclaration(com.sun.source.tree.VariableTree tree)
Returns the VariableElement corresponding to the given variable declaration.- Parameters:
tree
- the variable- Returns:
- the element for the given variable
-
elementFromTree
@Deprecated @Pure public static javax.lang.model.element.VariableElement elementFromTree(com.sun.source.tree.VariableTree tree)
Deprecated.use elementFromDeclarationReturns the VariableElement corresponding to the given variable declaration.- Parameters:
tree
- theVariableTree
node to get the element for- Returns:
- the
VariableElement
for the given tree
-
elementFromUse
@Deprecated @Pure public static javax.lang.model.element.VariableElement elementFromUse(com.sun.source.tree.VariableTree tree)
Deprecated.use elementFromDeclarationReturns the VariableElement corresponding to the given variable declaration.- Parameters:
tree
- theVariableTree
node to get the element for- Returns:
- the
VariableElement
for the given tree
-
variableElementFromTree
@Pure public static javax.lang.model.element.VariableElement variableElementFromTree(com.sun.source.tree.Tree tree)
Returns theVariableElement
for the given Tree API node.- Parameters:
tree
- theTree
node to get the element for- Returns:
- the
VariableElement
for the given tree - Throws:
java.lang.IllegalArgumentException
- iftree
is null or is not a valid javac-internal tree (JCTree)
-
elementFromTree
@Pure public static @Nullable javax.lang.model.element.Element elementFromTree(com.sun.source.tree.Tree tree)
Returns theElement
for the given Tree API node. For an object instantiation returns the value of theJCTree.JCNewClass.constructor
field.Use this only when you do not statically know whether the tree is a declaration or a use of an element.
- Parameters:
tree
- theTree
node to get the element for- Returns:
- the
Element
for the given tree, or null if one could not be found - Throws:
BugInCF
- iftree
is null or is not a valid javac-internal tree (JCTree)
-
getSuperConstructor
public static javax.lang.model.element.ExecutableElement getSuperConstructor(com.sun.source.tree.NewClassTree newClassTree)
Returns the constructor invoked bynewClassTree
unlessnewClassTree
is creating an anonymous class. In which case, the super constructor is returned.- Parameters:
newClassTree
- the constructor invocation- Returns:
- the super constructor invoked in the body of the anonymous constructor; or
constructor(NewClassTree)
ifnewClassTree
is not creating an anonymous class
-
constructor
@Deprecated public static javax.lang.model.element.ExecutableElement constructor(com.sun.source.tree.NewClassTree tree)
Deprecated.use elementFromUse insteadDetermines the element for a constructor given an invocation vianew
.- Parameters:
tree
- the constructor invocation- Returns:
- the
ExecutableElement
corresponding to the constructor call intree
- See Also:
elementFromUse(NewClassTree)
-
isUseOfElement
@EnsuresNonNullIf(result=true,expression="elementFromTree(#1)") @EnsuresNonNullIf(result=true,expression="elementFromUse(#1)") @Pure public static boolean isUseOfElement(com.sun.source.tree.ExpressionTree tree)
Determine whether the given ExpressionTree has an underlying element.- Parameters:
tree
- the ExpressionTree to test- Returns:
- whether the tree refers to an identifier, member select, or method invocation
-
hasSyntheticArgument
public static boolean hasSyntheticArgument(com.sun.source.tree.NewClassTree tree)
Returns true iftree
has a synthetic argument.For some anonymous classes with an explicit enclosing expression, javac creates a synthetic argument to the constructor that is the enclosing expression of the NewClassTree. Suppose a programmer writes:
Java 9 javac creates the following synthetic tree forclass Outer { class Inner { } void method() { this.new Inner(){}; } }
this.new Inner(){}
:
Java 11 javac creates a different tree without the synthetic argument fornew Inner(this) { (.Outer x0) { x0.super(); } }
this.new Inner(){}
; the first line in the below code differs:this.new Inner() { (.Outer x0) { x0.super(); } }
- Parameters:
tree
- a new class tree- Returns:
- true if
tree
has a synthetic argument
-
methodName
public static javax.lang.model.element.Name methodName(com.sun.source.tree.MethodInvocationTree tree)
Returns the name of the invoked method.- Parameters:
tree
- the method invocation- Returns:
- the name of the invoked method
-
containsThisConstructorInvocation
public static boolean containsThisConstructorInvocation(com.sun.source.tree.MethodTree tree)
Returns true if the first statement in the body is a self constructor invocation within a constructor.- Parameters:
tree
- the method declaration- Returns:
- true if the first statement in the body is a self constructor invocation within a constructor
-
firstStatement
public static com.sun.source.tree.Tree firstStatement(com.sun.source.tree.Tree tree)
Returns the first statement of the tree if it is a block. If it is not a block or an empty block, tree is returned.- Parameters:
tree
- any kind of tree- Returns:
- the first statement of the tree if it is a block. If it is not a block or an empty block, tree is returned.
-
hasExplicitConstructor
public static boolean hasExplicitConstructor(com.sun.source.tree.ClassTree tree)
Determine whether the given class contains an explicit constructor.- Parameters:
tree
- a class tree- Returns:
- true iff there is an explicit constructor
-
isSynthetic
public static boolean isSynthetic(javax.lang.model.element.ExecutableElement ee)
Returns true if the given method is synthetic. Also returns true if the method is a generated default constructor, which does not appear in source code but is not considered synthetic.- Parameters:
ee
- a method or constructor element- Returns:
- true iff the given method is synthetic
-
isSynthetic
public static boolean isSynthetic(com.sun.source.tree.MethodTree tree)
Returns true if the given method is synthetic.- Parameters:
tree
- a method declaration tree- Returns:
- true iff the given method is synthetic
-
isDiamondTree
public static boolean isDiamondTree(com.sun.source.tree.Tree tree)
Returns true if the tree is of a diamond type. In contrast to the implementation in TreeInfo, this version works on Trees.- See Also:
TreeInfo.isDiamond(JCTree)
-
isStringConcatenation
public static boolean isStringConcatenation(com.sun.source.tree.Tree tree)
Returns true if the tree represents aString
concatenation operation.
-
isStringCompoundConcatenation
public static boolean isStringCompoundConcatenation(com.sun.source.tree.CompoundAssignmentTree tree)
Returns true if the compound assignment tree is a string concatenation.
-
isVoidReturn
public static boolean isVoidReturn(com.sun.source.tree.MethodTree tree)
Is this method's declared return type "void"?- Parameters:
tree
- a method declaration- Returns:
- true iff method's declared return type is "void"
-
isCompileTimeString
public static boolean isCompileTimeString(com.sun.source.tree.ExpressionTree tree)
Returns true if the tree is a constant-time expression.A tree is a constant-time expression if it is:
- a literal tree
- a reference to a final variable initialized with a compile time constant
- a String concatenation of two compile time constants
- Parameters:
tree
- the tree to check- Returns:
- true if the tree is a constant-time expression
-
getReceiverTree
public static @Nullable com.sun.source.tree.ExpressionTree getReceiverTree(com.sun.source.tree.ExpressionTree expression)
Returns the receiver tree of a field access or a method invocation.- Parameters:
expression
- a field access or a method invocation- Returns:
- the expression's receiver tree, or null if it does not have an explicit receiver
-
classAndMethodTreeKinds
public static java.util.Set<com.sun.source.tree.Tree.Kind> classAndMethodTreeKinds()
Returns the set of kinds that represent classes and methods.- Returns:
- the set of kinds that represent classes and methods
-
classTreeKinds
public static java.util.Set<com.sun.source.tree.Tree.Kind> classTreeKinds()
Return the set of kinds that represent classes.- Returns:
- the set of kinds that represent classes
-
isClassTree
public static boolean isClassTree(com.sun.source.tree.Tree tree)
Is the given tree kind a class, i.e. a class, enum, interface, or annotation type.- Parameters:
tree
- the tree to test- Returns:
- true, iff the given kind is a class kind
-
declarationTreeKinds
public static java.util.Set<com.sun.source.tree.Tree.Kind> declarationTreeKinds()
Return the set of kinds that represent declarations: classes, methods, and variables.- Returns:
- the set of kinds that represent declarations
-
isDeclarationTree
public static boolean isDeclarationTree(com.sun.source.tree.Tree tree)
Returns true if the given tree is a declaration.- Parameters:
tree
- the tree to test- Returns:
- true if the given tree is a declaration
-
typeTreeKinds
public static java.util.Set<com.sun.source.tree.Tree.Kind> typeTreeKinds()
Return the set of kinds that represent types.- Returns:
- the set of kinds that represent types
-
isTypeTree
public static boolean isTypeTree(com.sun.source.tree.Tree tree)
Is the given tree a type instantiation?TODO: this is an under-approximation: e.g. an identifier could be either a type use or an expression. How can we distinguish.
- Parameters:
tree
- the tree to test- Returns:
- true, iff the given tree is a type
-
isMethodInvocation
public static boolean isMethodInvocation(com.sun.source.tree.Tree tree, javax.lang.model.element.ExecutableElement method, javax.annotation.processing.ProcessingEnvironment env)
Returns true if the given element is an invocation of the method, or of any method that overrides that one.
-
isMethodInvocation
public static boolean isMethodInvocation(com.sun.source.tree.Tree methodTree, java.util.List<javax.lang.model.element.ExecutableElement> methods, javax.annotation.processing.ProcessingEnvironment processingEnv)
Returns true if the argument is an invocation of one of the given methods, or of any method that overrides them.
-
getMethod
public static javax.lang.model.element.ExecutableElement getMethod(java.lang.Class<?> type, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration. Errs if there is not exactly one matching method. If more than one method takes the same number of formal parameters, then usegetMethod(String, String, ProcessingEnvironment, String...)
.- Parameters:
type
- the class that contains the methodmethodName
- the name of the methodparams
- the number of formal parametersenv
- the processing environment- Returns:
- the ExecutableElement for the specified method
-
getMethod
public static javax.lang.model.element.ExecutableElement getMethod(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration. Errs if there is not exactly one matching method. If more than one method takes the same number of formal parameters, then usegetMethod(String, String, ProcessingEnvironment, String...)
.- Parameters:
typeName
- the class that contains the methodmethodName
- the name of the methodparams
- the number of formal parametersenv
- the processing environment- Returns:
- the ExecutableElement for the specified method
-
getMethodOrNull
public static @Nullable javax.lang.model.element.ExecutableElement getMethodOrNull(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns the ExecutableElement for a method declaration. Returns null there is no matching method. Errs if there is more than one matching method. If more than one method takes the same number of formal parameters, then usegetMethod(String, String, ProcessingEnvironment, String...)
.- Parameters:
typeName
- the class that contains the methodmethodName
- the name of the methodparams
- the number of formal parametersenv
- the processing environment- Returns:
- the ExecutableElement for the specified method, or null
-
getMethods
public static java.util.List<javax.lang.model.element.ExecutableElement> getMethods(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, int params, javax.annotation.processing.ProcessingEnvironment env)
Returns all ExecutableElements for method declarations of methodName, in class typeName, with params formal parameters.- Parameters:
typeName
- the class that contains the methodmethodName
- the name of the methodparams
- the number of formal parametersenv
- the processing environment- Returns:
- the ExecutableElements for all matching methods
-
getMethod
public static javax.lang.model.element.ExecutableElement getMethod(java.lang.Class<?> type, java.lang.String methodName, javax.annotation.processing.ProcessingEnvironment env, java.lang.String... paramTypes)
Returns the ExecutableElement for a method declaration. Errs if there is no matching method.- Parameters:
type
- the class that contains the methodmethodName
- the name of the methodenv
- the processing environmentparamTypes
- the method's formal parameter types- Returns:
- the ExecutableElement for the specified method
-
getMethod
public static javax.lang.model.element.ExecutableElement getMethod(@FullyQualifiedName java.lang.String typeName, java.lang.String methodName, javax.annotation.processing.ProcessingEnvironment env, java.lang.String... paramTypes)
Returns the ExecutableElement for a method declaration. Errs if there is no matching method.- Parameters:
typeName
- the class that contains the methodmethodName
- the name of the methodenv
- the processing environmentparamTypes
- the method's formal parameter types- Returns:
- the ExecutableElement for the specified method
-
isExplicitThisDereference
public static boolean isExplicitThisDereference(com.sun.source.tree.ExpressionTree tree)
Determine whether the given expression is either "this" or an outer "C.this".TODO: Should this also handle "super"?
-
isClassLiteral
public static boolean isClassLiteral(com.sun.source.tree.Tree tree)
Determine whethertree
is a class literal, such asObject . class
- Returns:
- true iff if tree is a class literal
-
isFieldAccess
public static boolean isFieldAccess(com.sun.source.tree.Tree tree)
Determine whethertree
is a field access expression, such asf obj . f
This method currently also returns true for class literals and qualified this.- Parameters:
tree
- a tree that might be a field access- Returns:
- true iff if tree is a field access expression (implicit or explicit)
-
asFieldAccess
public static @Nullable javax.lang.model.element.VariableElement asFieldAccess(com.sun.source.tree.Tree tree)
Return the field thattree
is a field access expression for, or null.f obj . f
This method currently also returns a non-null value for class literals and qualified this.- Parameters:
tree
- a tree that might be a field access- Returns:
- the element if tree is a field access expression (implicit or explicit); null otherwise
-
getFieldName
public static java.lang.String getFieldName(com.sun.source.tree.Tree tree)
Compute the name of the field that the field accesstree
accesses. Requirestree
to be a field access, as determined byisFieldAccess
(which currently also returns true for class literals and qualified this).- Parameters:
tree
- a field access tree- Returns:
- the name of the field accessed by
tree
-
isMethodAccess
public static boolean isMethodAccess(com.sun.source.tree.Tree tree)
Determine whethertree
refers to a method element, such as.m(...) obj . m(...)
- Returns:
- true iff if tree is a method access expression (implicit or explicit)
-
getMethodName
public static java.lang.String getMethodName(com.sun.source.tree.Tree tree)
Compute the name of the method that the method accesstree
accesses. Requirestree
to be a method access, as determined byisMethodAccess
.- Parameters:
tree
- a method access tree- Returns:
- the name of the method accessed by
tree
-
canHaveTypeAnnotation
public static boolean canHaveTypeAnnotation(com.sun.source.tree.Tree tree)
Returntrue
if and only iftree
can have a type annotation.- Returns:
true
if and only iftree
can have a type annotation
-
isSpecificFieldAccess
public static boolean isSpecificFieldAccess(com.sun.source.tree.Tree tree, javax.lang.model.element.VariableElement var)
Returns true if and only if the giventree
represents a field access of the givenVariableElement
.
-
getField
public static javax.lang.model.element.VariableElement getField(@FullyQualifiedName java.lang.String typeName, java.lang.String fieldName, javax.annotation.processing.ProcessingEnvironment env)
Returns the VariableElement for a field declaration.- Parameters:
typeName
- the class where the field is declaredfieldName
- the name of the fieldenv
- the processing environment- Returns:
- the VariableElement for typeName.fieldName
-
isExpressionTree
public static boolean isExpressionTree(com.sun.source.tree.Tree tree)
Determine whether the given tree represents an ExpressionTree.- Parameters:
tree
- the Tree to test- Returns:
- whether the tree is an ExpressionTree
-
isEnumSuperCall
public static boolean isEnumSuperCall(com.sun.source.tree.MethodInvocationTree tree)
Returns true if this is a super call to theEnum
constructor.- Parameters:
tree
- the method invocation to check- Returns:
- true if this is a super call to the
Enum
constructor
-
isTypeDeclaration
public static boolean isTypeDeclaration(com.sun.source.tree.Tree tree)
Determine whether the given tree represents a declaration of a type (including type parameters).- Parameters:
tree
- the Tree to test- Returns:
- true if the tree is a type declaration
-
isArrayLengthAccess
public static boolean isArrayLengthAccess(com.sun.source.tree.Tree tree)
Returns true if tree is an access of array length.- Parameters:
tree
- tree to check- Returns:
- true if tree is an access of array length
-
isAnonymousConstructor
public static boolean isAnonymousConstructor(com.sun.source.tree.MethodTree method)
Returns true if the givenMethodTree
is an anonymous constructor (the constructor for an anonymous class).- Parameters:
method
- a method tree that may be an anonymous constructor- Returns:
- true if the given path points to an anonymous constructor, false if it does not
-
isAnonymousConstructorWithExplicitEnclosingExpression
public static boolean isAnonymousConstructorWithExplicitEnclosingExpression(javax.lang.model.element.ExecutableElement con, com.sun.source.tree.NewClassTree tree)
Returns true if the passed constructor is anonymous and has an explicit enclosing expression.- Parameters:
con
- an ExecutableElement of a constructor declarationtree
- the NewClassTree of a constructor declaration- Returns:
- true if there is an extra enclosing expression
-
isCompactCanonicalRecordConstructor
public static boolean isCompactCanonicalRecordConstructor(com.sun.source.tree.MethodTree method)
Returns true if the givenMethodTree
is a compact canonical constructor (the constructor for a record where the parameters are implicitly declared and implicitly assigned to the record's fields). This may be an explicitly declared compact canonical constructor or an implicitly generated one.- Parameters:
method
- a method tree that may be a compact canonical constructor- Returns:
- true if the given method is a compact canonical constructor
-
isAutoGeneratedRecordMember
public static boolean isAutoGeneratedRecordMember(com.sun.source.tree.Tree member)
Returns true if the givenTree
is part of a record that has been automatically generated by the compiler. This can be a field that is derived from the record's header field list, or an automatically generated canonical constructor.- Parameters:
member
- theTree
for a member of a record- Returns:
- true if the given path is generated by the compiler
-
annotationsFromTypeAnnotationTrees
public static java.util.List<javax.lang.model.element.AnnotationMirror> annotationsFromTypeAnnotationTrees(java.util.List<? extends com.sun.source.tree.AnnotationTree> annoTrees)
Converts the given AnnotationTrees to AnnotationMirrors.- Parameters:
annoTrees
- list of annotation trees to convert to annotation mirrors- Returns:
- list of annotation mirrors that represent the given annotation trees
-
annotationFromAnnotationTree
public static javax.lang.model.element.AnnotationMirror annotationFromAnnotationTree(com.sun.source.tree.AnnotationTree tree)
Converts the given AnnotationTree to an AnnotationMirror.- Parameters:
tree
- annotation tree to convert to an annotation mirror- Returns:
- annotation mirror that represent the given annotation tree
-
annotationsFromTree
public static java.util.List<? extends javax.lang.model.element.AnnotationMirror> annotationsFromTree(com.sun.source.tree.AnnotatedTypeTree tree)
Converts the given AnnotatedTypeTree to a list of AnnotationMirrors.- Parameters:
tree
- annotated type tree to convert- Returns:
- list of AnnotationMirrors from the tree
-
annotationsFromTree
public static java.util.List<? extends javax.lang.model.element.AnnotationMirror> annotationsFromTree(com.sun.source.tree.TypeParameterTree tree)
Converts the given TypeParameterTree to a list of AnnotationMirrors.- Parameters:
tree
- type parameter tree to convert- Returns:
- list of AnnotationMirrors from the tree
-
annotationsFromArrayCreation
public static java.util.List<? extends javax.lang.model.element.AnnotationMirror> annotationsFromArrayCreation(com.sun.source.tree.NewArrayTree tree, int level)
Converts the given NewArrayTree to a list of AnnotationMirrors.- Parameters:
tree
- new array tree- Returns:
- list of AnnotationMirrors from the tree
-
isLocalVariable
public static boolean isLocalVariable(com.sun.source.tree.Tree tree)
Returns true if the tree is the declaration or use of a local variable.- Parameters:
tree
- the tree to check- Returns:
- true if the tree is the declaration or use of a local variable
-
typeOf
public static javax.lang.model.type.TypeMirror typeOf(com.sun.source.tree.Tree tree)
Returns the type as a TypeMirror oftree
. To obtaintree
's AnnotatedTypeMirror, callAnnotatedTypeFactory.getAnnotatedType()
.- Returns:
- the type as a TypeMirror of
tree
-
typeFromUse
@Pure public static javax.lang.model.type.ExecutableType typeFromUse(com.sun.source.tree.MethodInvocationTree tree)
Determines the type for a method invocation at its call site, which has all type variables substituted with the type arguments at the call site.TypeVariable
in the returned type should be compared usingTypesUtils.areSame(TypeVariable, TypeVariable)
because theTypeVariable
will be freshly created by this method and will not be the same usingObject.equals(Object)
orTypes.isSameType(TypeMirror, TypeMirror)
.- Parameters:
tree
- the method invocation- Returns:
- the
ExecutableType
corresponding to the method invocation at its call site
-
typeFromUse
@Pure public static javax.lang.model.type.ExecutableType typeFromUse(com.sun.source.tree.NewClassTree tree)
Determines the type for a constructor at its call site given an invocation vianew
, which has all type variables substituted with the type arguments at the call site.- Parameters:
tree
- the constructor invocation- Returns:
- the
ExecutableType
corresponding to the constructor call (i.e., the giventree
) at its call site
-
findFunction
public static javax.lang.model.element.ExecutableElement findFunction(com.sun.source.tree.Tree tree, javax.annotation.processing.ProcessingEnvironment env)
The type of the lambda or method reference tree is a functional interface type. This method returns the single abstract method declared by that functional interface. (The type of this method is referred to as the function type.)- Parameters:
tree
- lambda or member reference treeenv
- the processing environment- Returns:
- the single abstract method declared by the type of the tree
-
isImplicitlyTypedLambda
public static boolean isImplicitlyTypedLambda(com.sun.source.tree.Tree tree)
Returns true iftree
is an implicitly typed lambda.A lambda expression whose formal type parameters have inferred types is an implicitly typed lambda. (See JLS 15.27.1)
- Parameters:
tree
- any kind of tree- Returns:
- true iff
tree
is an implicitly typed lambda
-
isExprConstTrue
public static boolean isExprConstTrue(com.sun.source.tree.ExpressionTree tree)
Determine whether an expressionExpressionTree
has the constant value true, according to the compiler logic.- Parameters:
tree
- the expression to be checked- Returns:
- true if
tree
has the constant value true
-
toStringOneLine
public static java.lang.String toStringOneLine(com.sun.source.tree.Tree tree)
Return toString(), but without line separators.- Parameters:
tree
- a tree- Returns:
- a one-line string representation of the tree
-
toStringTruncated
public static java.lang.String toStringTruncated(com.sun.source.tree.Tree tree, int length)
Return eithertoStringOneLine(com.sun.source.tree.Tree)
if it is no more thanlength
characters, ortoStringOneLine(com.sun.source.tree.Tree)
quoted and truncated.- Parameters:
tree
- a treelength
- the maximum length for the result; must be at least 6- Returns:
- a one-line string representation of the tree that is no longer than
length
characters long
-
nameExpressionToString
public static java.lang.String nameExpressionToString(com.sun.source.tree.ExpressionTree nameExpr)
Given a javac ExpressionTree representing a fully qualified name such as "java.lang.Object", creates a String containing the name.- Parameters:
nameExpr
- an ExpressionTree representing a fully qualified name- Returns:
- a String representation of the fully qualified name
-
isWideningBinary
public static boolean isWideningBinary(com.sun.source.tree.BinaryTree tree)
Returns true if the binary operator may do a widening primitive conversion. See JLS chapter 5.- Parameters:
tree
- a binary tree- Returns:
- true if the tree's operator does numeric promotion on its arguments
-
getExplicitAnnotationTrees
public static java.util.List<? extends com.sun.source.tree.AnnotationTree> getExplicitAnnotationTrees(@Nullable java.util.List<? extends com.sun.source.tree.AnnotationTree> annoTrees, com.sun.source.tree.Tree typeTree)
Returns the annotations explicitly written on the given type.- Parameters:
annoTrees
- annotations written before a variable/method declaration; null if this type is not from such a location. This might contain type annotations that the Java parser attached to the declaration rather than to the type.typeTree
- the type whose annotations to return- Returns:
- the annotations explicitly written on the given type
-
getDefaultValueTree
public static com.sun.source.tree.LiteralTree getDefaultValueTree(javax.lang.model.type.TypeMirror typeMirror, javax.annotation.processing.ProcessingEnvironment processingEnv)
Return a tree for the default value of the given type. The default value is 0, false, or null.- Parameters:
typeMirror
- a typeprocessingEnv
- the processing environment- Returns:
- a tree for
type
's default value
-
createLiteral
public static com.sun.source.tree.LiteralTree createLiteral(com.sun.tools.javac.code.TypeTag typeTag, @Nullable java.lang.Object value, javax.lang.model.type.TypeMirror typeMirror, javax.annotation.processing.ProcessingEnvironment processingEnv)
Creates a LiteralTree for the given value.- Parameters:
typeTag
- the literal's type tagvalue
- a wrapped primitive, null, or a StringtypeMirror
- the typeMirror for the literalprocessingEnv
- the processing environment- Returns:
- a LiteralTree for the given type tag and value
-
isNullExpression
public static boolean isNullExpression(com.sun.source.tree.Tree t)
Returns true if the given tree evaluates tonull
.- Parameters:
t
- a tree- Returns:
- true if the given tree evaluates to
null
-
sameTree
public static boolean sameTree(com.sun.source.tree.ExpressionTree expr1, com.sun.source.tree.ExpressionTree expr2)
Returns true if two expressions originating from the same scope are identical, i.e. they are syntactically represented in the same way (modulo parentheses) and represent the same value.If the expression includes one or more method calls, assumes the method calls are deterministic.
- Parameters:
expr1
- the first expression to compareexpr2
- the second expression to compare; expr2 must originate from the same scope as expr1- Returns:
- true if the expressions expr1 and expr2 are syntactically identical
-
isDefaultCaseTree
@Deprecated public static boolean isDefaultCaseTree(com.sun.source.tree.CaseTree caseTree)
Deprecated.Returns true if this is the default case for a switch statement or expression. (Also, returns true ifcaseTree
iscase null, default:
.)- Parameters:
caseTree
- a case tree- Returns:
- true if
caseTree
is the default case for a switch statement or expression
-
isCaseRule
@Deprecated public static boolean isCaseRule(com.sun.source.tree.CaseTree caseTree)
Deprecated.Returns true if this is a case rule (as opposed to a case statement).- Parameters:
caseTree
- a case tree- Returns:
- true if
caseTree
is a case rule
-
caseTreeGetExpressions
@Deprecated public static java.util.List<? extends com.sun.source.tree.ExpressionTree> caseTreeGetExpressions(com.sun.source.tree.CaseTree caseTree)
Deprecated.Get the list of expressions from a case expression. For the default case, this is empty. Otherwise, in JDK 11 and earlier, this is a singleton list. In JDK 12 onwards, there can be multiple expressions per case.- Parameters:
caseTree
- the case expression to get the expressions from- Returns:
- the list of expressions in the case
-
caseTreeGetBody
@Deprecated public static @Nullable com.sun.source.tree.Tree caseTreeGetBody(com.sun.source.tree.CaseTree caseTree)
Deprecated.Returns the body of the case statement if it is of the formcase <expression> -> <expression>
. This method should only be called ifCaseTree.getStatements()
returns null.- Parameters:
caseTree
- the case expression to get the body from- Returns:
- the body of the case tree
-
isBindingPatternTree
public static boolean isBindingPatternTree(com.sun.source.tree.Tree tree)
Returns true iftree
is aBindingPatternTree
.- Parameters:
tree
- a tree to check- Returns:
- true if
tree
is aBindingPatternTree
-
bindingPatternTreeGetVariable
@Deprecated public static com.sun.source.tree.VariableTree bindingPatternTreeGetVariable(com.sun.source.tree.Tree bindingPatternTree)
Deprecated.Returns the binding variable ofbindingPatternTree
.- Parameters:
bindingPatternTree
- the BindingPatternTree whose binding variable is returned- Returns:
- the binding variable of
bindingPatternTree
-
isDeconstructionPatternTree
public static boolean isDeconstructionPatternTree(com.sun.source.tree.Tree tree)
Returns true iftree
is aDeconstructionPatternTree
.- Parameters:
tree
- a tree to check- Returns:
- true if
tree
is aDeconstructionPatternTree
-
instanceOfTreeGetPattern
@Deprecated public static @Nullable com.sun.source.tree.Tree instanceOfTreeGetPattern(com.sun.source.tree.InstanceOfTree instanceOfTree)
Deprecated.Returns the pattern ofinstanceOfTree
tree. Returns null if the instanceof does not have a pattern, including if the JDK version does not support instance-of patterns.- Parameters:
instanceOfTree
- theInstanceOfTree
whose pattern is returned- Returns:
- the
PatternTree
ofinstanceOfTree
or null if it doesn't exist
-
switchExpressionTreeGetExpression
@Deprecated public static com.sun.source.tree.ExpressionTree switchExpressionTreeGetExpression(com.sun.source.tree.Tree switchExpressionTree)
Deprecated.Returns the selector expression ofswitchExpressionTree
. For exampleswitch ( expression ) { ... }
- Parameters:
switchExpressionTree
- the switch expression whose selector expression is returned- Returns:
- the selector expression of
switchExpressionTree
-
switchExpressionTreeGetCases
@Deprecated public static java.util.List<? extends com.sun.source.tree.CaseTree> switchExpressionTreeGetCases(com.sun.source.tree.Tree switchExpressionTree)
Deprecated.Returns the cases ofswitchExpressionTree
. For exampleswitch ( expression ) { cases }
- Parameters:
switchExpressionTree
- the switch expression whose cases are returned- Returns:
- the cases of
switchExpressionTree
-
isSwitchStatement
public static boolean isSwitchStatement(com.sun.source.tree.Tree tree)
Returns true if the given tree is a switch statement (as opposed to a switch expression).- Parameters:
tree
- the switch statement or expression to check- Returns:
- true if the given tree is a switch statement (as opposed to a switch expression)
-
yieldTreeGetValue
@Deprecated public static com.sun.source.tree.ExpressionTree yieldTreeGetValue(com.sun.source.tree.Tree yieldTree)
Deprecated.Returns the value (expression) foryieldTree
.- Parameters:
yieldTree
- the yield tree- Returns:
- the value (expression) for
yieldTree
-
isVariableTreeDeclaredUsingVar
public static boolean isVariableTreeDeclaredUsingVar(com.sun.source.tree.VariableTree variableTree)
Returns true if thevariableTree
is declared using thevar
Java keyword.- Parameters:
variableTree
- the variableTree to check- Returns:
- true if the variableTree is declared using the
var
Java keyword
-
isVarArgs
public static boolean isVarArgs(com.sun.source.tree.Tree tree)
Returns true if the given method/constructor invocation is a varargs invocation.- Parameters:
tree
- a method/constructor invocation- Returns:
- true if the given method/constructor invocation is a varargs invocation
-
isVarArgs
public static boolean isVarArgs(com.sun.source.tree.MethodInvocationTree invok)
Returns true if the given method invocation is a varargs invocation.- Parameters:
invok
- the method invocation- Returns:
- true if the given method invocation is a varargs invocation
-
isVarArgs
public static boolean isVarArgs(com.sun.source.tree.NewClassTree newClassTree)
Returns true if the given constructor invocation is a varargs invocation.- Parameters:
newClassTree
- the constructor invocation- Returns:
- true if the given method invocation is a varargs invocation
-
isRecordTree
public static boolean isRecordTree(com.sun.source.tree.Tree tree)
Determine whether the given tree is of Kind RECORD, in a way that works on all versions of Java.- Parameters:
tree
- the tree to get the kind for- Returns:
- whether the tree is of the kind RECORD
-
getKindRecordAsClass
public static com.sun.source.tree.Tree.Kind getKindRecordAsClass(com.sun.source.tree.Tree tree)
Calls getKind() on the given tree, but returns CLASS if the Kind is RECORD. This is needed because the Checker Framework runs on JDKs before the RECORD item was added, so RECORD can't be used in case statements, and usually we want to treat them the same as classes.- Parameters:
tree
- the tree to get the kind for- Returns:
- the kind of the tree, but CLASS if the kind was RECORD
-
isBinaryComparison
public static boolean isBinaryComparison(com.sun.source.tree.BinaryTree tree)
Returns true if thetree
is a binary tree that performs a comparison.- Parameters:
tree
- the tree to check- Returns:
- whether the tree represents a binary comparison
-
Select
public static com.sun.tools.javac.tree.JCTree.JCFieldAccess Select(com.sun.tools.javac.tree.TreeMaker treeMaker, com.sun.source.tree.Tree base, com.sun.tools.javac.code.Symbol sym)
Returns the result oftreeMaker.Select(base, sym)
.- Parameters:
treeMaker
- the TreeMaker to usebase
- the expression for the selectsym
- the symbol to select- Returns:
- the JCFieldAccess tree to select sym in base
-
Select
public static com.sun.tools.javac.tree.JCTree.JCFieldAccess Select(com.sun.tools.javac.tree.TreeMaker treeMaker, com.sun.source.tree.Tree base, com.sun.tools.javac.util.Name name)
Returns the result oftreeMaker.Select(base, name)
.- Parameters:
treeMaker
- the TreeMaker to usebase
- the expression for the selectname
- the name to select- Returns:
- the JCFieldAccess tree to select sym in base
-
-