InternalUtils

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

```
public class InternalUtils
extends Object
```
Static utility methods used by annotation abstractions in this package. Some methods in this class depend on the use of Sun javac internals; any procedure in the Checker Framework that uses a non-public API should be placed here.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static List<? extends AnnotationMirror>`	`annotationsFromArrayCreation(NewArrayTree node, int level)`
`static List<? extends AnnotationMirror>`	`annotationsFromTree(AnnotatedTypeTree node)`
`static List<? extends AnnotationMirror>`	`annotationsFromTree(TypeParameterTree node)`
`static List<AnnotationMirror>`	`annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree> annos)`
`static ExecutableElement`	`constructor(NewClassTree tree)` Determines the symbol for a constructor given an invocation via `new`.
`static WildcardType`	`getCapturedWildcard(TypeVariable typeVar)` If typeVar is a captured wildcard, returns that wildcard; otherwise returns null.
`static ClassLoader`	`getClassLoaderForClass(Class<? extends Object> clazz)` Obtain the class loader for `clazz`.
`static com.sun.tools.javac.util.Context`	`getJavacContext(ProcessingEnvironment env)` Helper function to extract the javac Context from the javac processing environment.
`static TypeElement`	`getTypeElement(TypeMirror type)`
`static TypeMirror`	`greatestLowerBound(ProcessingEnvironment processingEnv, TypeMirror tm1, TypeMirror tm2)` Returns the greatest lower bound of two `TypeMirror`s, ignoring any annotations on the types.
`static boolean`	`isAnonymousConstructor(MethodTree method)` Determines whether or not the node referred to by the given `TreePath` is an anonymous constructor (the constructor for an anonymous class.
`static boolean`	`isCaptured(TypeVariable typeVar)` Returns whether a TypeVariable represents a captured type.
`static boolean`	`isClassType(TypeMirror type)` Returns whether a TypeMirror represents a class type.
`static TypeMirror`	`leastUpperBound(ProcessingEnvironment processingEnv, TypeMirror tm1, TypeMirror tm2)` Returns the least upper bound of two `TypeMirror`s, ignoring any annotations on the types.
`static TypeMirror`	`substituteMethodReturnType(TypeMirror methodType, TypeMirror substitutedReceiverType)` Returns the return type of a method, where the "raw" return type of that method is given (i.e., the return type might still contain unsubstituted type variables), given the receiver of the method call.
`static @Nullable Element`	`symbol(Tree tree)` Gets the `Element` ("symbol") for the given Tree API node.
`static TypeMirror`	`typeOf(Tree tree)`

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

- Method Detail
  - symbol
```
public static @Nullable Element symbol(Tree tree)
```
    Gets the Element ("symbol") for the given Tree API node.
    
    Parameters:
    
    tree - the Tree node to get the symbol for
    
    Returns:
    
    the Symbol for the given tree, or null if one could not be found
    
    Throws:
    
    IllegalArgumentException - if tree is null or is not a valid javac-internal tree (JCTree)
  - isAnonymousConstructor
```
public static boolean isAnonymousConstructor(MethodTree method)
```
    Determines whether or not the node referred to by the given TreePath is an anonymous constructor (the constructor for an anonymous class.
    
    Parameters:
    
    method - the TreePath for a node that may be an anonymous constructor
    
    Returns:
    
    true if the given path points to an anonymous constructor, false if it does not
  - constructor
```
public static ExecutableElement constructor(NewClassTree tree)
```
    Determines the symbol for a constructor given an invocation via new.
    If the tree is a declaration of an anonymous class, then method returns constructor that gets invoked in the extended class, rather than the anonymous constructor implicitly added by the constructor (JLS 15.9.5.1)
    
    Parameters:
    
    tree - the constructor invocation
    
    Returns:
    
    the ExecutableElement corresponding to the constructor call in tree
  - annotationsFromTypeAnnotationTrees
```
public static final List<AnnotationMirror> annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree> annos)
```
  - annotationsFromTree
```
public static final List<? extends AnnotationMirror> annotationsFromTree(AnnotatedTypeTree node)
```
  - annotationsFromTree
```
public static final List<? extends AnnotationMirror> annotationsFromTree(TypeParameterTree node)
```
  - annotationsFromArrayCreation
```
public static final List<? extends AnnotationMirror> annotationsFromArrayCreation(NewArrayTree node,
                                                                                  int level)
```
  - typeOf
```
public static TypeMirror typeOf(Tree tree)
```
  - isCaptured
```
public static boolean isCaptured(TypeVariable typeVar)
```
    Returns whether a TypeVariable represents a captured type.
  - getCapturedWildcard
```
public static WildcardType getCapturedWildcard(TypeVariable typeVar)
```
    If typeVar is a captured wildcard, returns that wildcard; otherwise returns null.
  - isClassType
```
public static boolean isClassType(TypeMirror type)
```
    Returns whether a TypeMirror represents a class type.
  - leastUpperBound
```
public static TypeMirror leastUpperBound(ProcessingEnvironment processingEnv,
                                         TypeMirror tm1,
                                         TypeMirror tm2)
```
    Returns the least upper bound of two TypeMirrors, ignoring any annotations on the types.
    Wrapper around Types.lub to add special handling for null types, primitives, and wildcards.
    
    Parameters:
    
    processingEnv - the ProcessingEnvironment to use
    
    tm1 - a TypeMirror
    
    tm2 - a TypeMirror
    
    Returns:
    
    the least upper bound of tm1 and tm2.
  - greatestLowerBound
```
public static TypeMirror greatestLowerBound(ProcessingEnvironment processingEnv,
                                            TypeMirror tm1,
                                            TypeMirror tm2)
```
    Returns the greatest lower bound of two TypeMirrors, ignoring any annotations on the types.
    Wrapper around Types.glb to add special handling for null types, primitives, and wildcards.
    
    Parameters:
    
    processingEnv - the ProcessingEnvironment to use
    
    tm1 - a TypeMirror
    
    tm2 - a TypeMirror
    
    Returns:
    
    the greatest lower bound of tm1 and tm2.
  - substituteMethodReturnType
```
public static TypeMirror substituteMethodReturnType(TypeMirror methodType,
                                                    TypeMirror substitutedReceiverType)
```
    Returns the return type of a method, where the "raw" return type of that method is given (i.e., the return type might still contain unsubstituted type variables), given the receiver of the method call.
  - getJavacContext
```
public static com.sun.tools.javac.util.Context getJavacContext(ProcessingEnvironment env)
```
    Helper function to extract the javac Context from the javac processing environment.
    
    Parameters:
    
    env - the processing environment
    
    Returns:
    
    the javac Context
  - getTypeElement
```
public static TypeElement getTypeElement(TypeMirror type)
```
  - getClassLoaderForClass
```
public static ClassLoader getClassLoaderForClass(Class<? extends Object> clazz)
```
    Obtain the class loader for clazz. If that is not available, return the system class loader.
    
    Parameters:
    
    clazz - the class whose class loader to find
    
    Returns:
    
    the class loader used to clazz, or the system class loader, or null if both are unavailable

Class InternalUtils

Method Summary

Methods inherited from class java.lang.Object

Method Detail

symbol

isAnonymousConstructor

constructor

annotationsFromTypeAnnotationTrees

annotationsFromTree

annotationsFromTree

annotationsFromArrayCreation

typeOf

isCaptured

getCapturedWildcard

isClassType

leastUpperBound

greatestLowerBound

substituteMethodReturnType

getJavacContext

getTypeElement

getClassLoaderForClass