ElementUtils (checker-framework 2.10.0 API)

java.lang.Object
- org.checkerframework.javacutil.ElementUtils

public class ElementUtils
extends Object

A Utility class for analyzing Elements.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static TypeElement`	`enclosingClass(Element elem)` Returns the innermost type element enclosing the given element.
`static PackageElement`	`enclosingPackage(Element elem)` Returns the innermost package element enclosing the given element.
`static VariableElement`	`findFieldInType(TypeElement type, String name)` Returns the field of the class.
`static Set<VariableElement>`	`findFieldsInType(TypeElement type, Collection<String> names)` Returns the elements of the fields whose simple names are `names` and are declared in `type`.
`static Set<VariableElement>`	`findFieldsInTypeOrSuperType(TypeMirror type, Collection<String> names)` Returns non-private field elements, and side-effects `names` to remove them.
`static List<VariableElement>`	`getAllFieldsIn(TypeElement type, Elements elements)` Return all fields declared in the given type or any superclass/interface.
`static List<ExecutableElement>`	`getAllMethodsIn(TypeElement type, Elements elements)` Return all methods declared in the given type or any superclass/interface.
`static List<TypeElement>`	`getAllTypeElementsIn(TypeElement type)` Return all nested/inner classes/interfaces declared in the given type.
`static @Nullable Name`	`getQualifiedClassName(Element element)` Returns the qualified name of the inner most class enclosing the provided `Element`
`static String`	`getSimpleName(ExecutableElement element)` Returns the canonical representation of the method declaration, which contains simple names of the types only.
`static List<TypeElement>`	`getSuperTypes(TypeElement type, Elements elements)` Determine all type elements for the classes and interfaces referenced (directly or indirectly) in the extends/implements clauses of the given type element.
`static TypeMirror`	`getType(Element element)` Returns the `TypeMirror` for usage of Element as a value.
`static String`	`getVerboseName(Element elt)` Returns a verbose name that identifies the element.
`static boolean`	`hasReceiver(Element element)` Does the given element need a receiver for accesses? For example, an access to a local variable does not require a receiver.
`static boolean`	`isCompileTimeConstant(Element elt)` Returns true if the element is a constant time reference.
`static boolean`	`isEffectivelyFinal(Element element)` Returns true if the element is a effectively final element.
`static boolean`	`isElementFromByteCode(Element elt)` Returns true if the element is declared in ByteCode.
`static boolean`	`isError(Element element)`
`static boolean`	`isFinal(Element element)` Returns true if the element is a final element: a final field, final method, or final class.
`static boolean`	`isMethod(ExecutableElement questioned, ExecutableElement method, ProcessingEnvironment env)` Returns true if the given element is, or overrides, method.
`static boolean`	`isObject(TypeElement element)` Check if the element is an element for 'java.lang.Object'
`static boolean`	`isStatic(Element element)` Returns true if the element is a static element: whether it is a static field, static method, or static class.
`static boolean`	`isTypeDeclaration(Element elt)`
`static boolean`	`matchesElement(ExecutableElement method, String methodName, Class<?>... parameters)` Check that a method Element matches a signature.
`static PackageElement`	`parentPackage(PackageElement elem, Elements e)` Returns the "parent" package element for the given package element.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - enclosingClass
```
public static TypeElement enclosingClass(Element elem)
```
    Returns the innermost type element enclosing the given element.
    
    Parameters:
    
    elem - the enclosed element of a class
    
    Returns:
    
    the innermost type element
  - enclosingPackage
```
public static PackageElement enclosingPackage(Element elem)
```
    Returns the innermost package element enclosing the given element. The same effect as Elements.getPackageOf(Element). Returns the element itself if it is a package.
    
    Parameters:
    
    elem - the enclosed element of a package
    
    Returns:
    
    the innermost package element
  - parentPackage
```
public static PackageElement parentPackage(PackageElement elem,
                                           Elements e)
```
    Returns the "parent" package element for the given package element. For package "A.B" it gives "A". For package "A" it gives the default package. For the default package it returns null;
    Note that packages are not enclosed within each other, we have to manually climb the namespaces. Calling "enclosingPackage" on a package element returns the package element itself again.
    
    Parameters:
    
    elem - the package to start from
    
    Returns:
    
    the parent package element
  - isStatic
```
public static boolean isStatic(Element element)
```
    Returns true if the element is a static element: whether it is a static field, static method, or static class.
    
    Returns:
    
    true if element is static
  - isFinal
```
public static boolean isFinal(Element element)
```
    Returns true if the element is a final element: a final field, final method, or final class.
    
    Returns:
    
    true if the element is final
  - isEffectivelyFinal
```
public static boolean isEffectivelyFinal(Element element)
```
    Returns true if the element is a effectively final element.
    
    Returns:
    
    true if the element is effectively final
  - getType
```
public static TypeMirror getType(Element element)
```
    Returns the TypeMirror for usage of Element as a value. It returns the return type of a method element, the class type of a constructor, or simply the type mirror of the element itself.
    
    Returns:
    
    the type for the element used as a value
  - getQualifiedClassName
```
public static @Nullable Name getQualifiedClassName(Element element)
```
    Returns the qualified name of the inner most class enclosing the provided Element
    
    Parameters:
    
    element - an element enclosed by a class, or a TypeElement
    
    Returns:
    
    the qualified Name of the innermost class enclosing the element
  - getVerboseName
```
public static String getVerboseName(Element elt)
```
    Returns a verbose name that identifies the element.
  - getSimpleName
```
public static String getSimpleName(ExecutableElement element)
```
    Returns the canonical representation of the method declaration, which contains simple names of the types only.
  - isObject
```
public static boolean isObject(TypeElement element)
```
    Check if the element is an element for 'java.lang.Object'
    
    Parameters:
    
    element - the type element
    
    Returns:
    
    true iff the element is java.lang.Object element
  - isCompileTimeConstant
```
public static boolean isCompileTimeConstant(Element elt)
```
    Returns true if the element is a constant time reference.
  - isElementFromByteCode
```
public static boolean isElementFromByteCode(Element elt)
```
    Returns true if the element is declared in ByteCode. Always return false if elt is a package.
  - findFieldInType
```
public static VariableElement findFieldInType(TypeElement type,
                                              String name)
```
    Returns the field of the class.
  - findFieldsInType
```
public static Set<VariableElement> findFieldsInType(TypeElement type,
                                                    Collection<String> names)
```
    Returns the elements of the fields whose simple names are names and are declared in type.
    If a field isn't declared in type, its element isn't included in the returned set. If none of the fields is declared in type, the empty set is returned.
    
    Parameters:
    
    type - where to look for fields
    
    names - simple names of fields that might be declared in type
    
    Returns:
    
    the elements of the fields whose simple names are names and are declared in type
  - findFieldsInTypeOrSuperType
```
public static Set<VariableElement> findFieldsInTypeOrSuperType(TypeMirror type,
                                                               Collection<String> names)
```
    Returns non-private field elements, and side-effects names to remove them. For every field name in names that is declared in type or a supertype, add its element to the returned set and remove it from names.
    When this routine returns, the combination of the return value and names has the same cardinality, and represents the same fields, as names did when the method was called.
    
    Parameters:
    
    type - where to look for fields
    
    names - simple names of fields that might be declared in type or a supertype. (Names that are found are removed from this list.)
    
    Returns:
    
    the VariableElements for non-private fields that are declared in type whose simple names were in names when the method was called.
  - isError
```
public static boolean isError(Element element)
```
  - hasReceiver
```
public static boolean hasReceiver(Element element)
```
    Does the given element need a receiver for accesses? For example, an access to a local variable does not require a receiver.
    
    Parameters:
    
    element - the element to test
    
    Returns:
    
    whether the element requires a receiver for accesses
  - getSuperTypes
```
public static List<TypeElement> getSuperTypes(TypeElement type,
                                              Elements elements)
```
    Determine all type elements for the classes and interfaces referenced (directly or indirectly) in the extends/implements clauses of the given type element.
    TODO: can we learn from the implementation of com.sun.tools.javac.model.JavacElements.getAllMembers(TypeElement)?
  - getAllFieldsIn
```
public static List<VariableElement> getAllFieldsIn(TypeElement type,
                                                   Elements elements)
```
    Return all fields declared in the given type or any superclass/interface. TODO: should this use javax.lang.model.util.Elements.getAllMembers(TypeElement) instead of our own getSuperTypes?
  - getAllMethodsIn
```
public static List<ExecutableElement> getAllMethodsIn(TypeElement type,
                                                      Elements elements)
```
    Return all methods declared in the given type or any superclass/interface. Note that no constructors will be returned. TODO: should this use javax.lang.model.util.Elements.getAllMembers(TypeElement) instead of our own getSuperTypes?
  - getAllTypeElementsIn
```
public static List<TypeElement> getAllTypeElementsIn(TypeElement type)
```
    Return all nested/inner classes/interfaces declared in the given type.
  - isTypeDeclaration
```
public static boolean isTypeDeclaration(Element elt)
```
  - matchesElement
```
public static boolean matchesElement(ExecutableElement method,
                                     String methodName,
                                     Class<?>... parameters)
```
    Check that a method Element matches a signature.
    Note: Matching the receiver type must be done elsewhere as the Element receiver type is only populated when annotated.
    
    Parameters:
    
    method - the method Element
    
    methodName - the name of the method
    
    parameters - the formal parameters' Classes
    
    Returns:
    
    true if the method matches
  - isMethod
```
public static boolean isMethod(ExecutableElement questioned,
                               ExecutableElement method,
                               ProcessingEnvironment env)
```
    Returns true if the given element is, or overrides, method.

Class ElementUtils

Method Summary

Methods inherited from class java.lang.Object

Method Detail

enclosingClass

enclosingPackage

parentPackage

isStatic

isFinal

isEffectivelyFinal

getType

getQualifiedClassName

getVerboseName

getSimpleName

isObject

isCompileTimeConstant

isElementFromByteCode

findFieldInType

findFieldsInType

findFieldsInTypeOrSuperType

isError

hasReceiver

getSuperTypes

getAllFieldsIn

getAllMethodsIn

getAllTypeElementsIn

isTypeDeclaration

matchesElement

isMethod