checkers.util
Class InternalUtils

java.lang.Object
  checkers.util.InternalUtils

@DefaultQualifier(value="checkers.nullness.quals.NonNull")
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

static List<? extends AnnotationMirror>	annotationsFromArrayCreation(NewArrayTree node, int level)
static List<? extends AnnotationMirror>	annotationsFromTree(AnnotatedTypeTree node)
static List<? extends AnnotationMirror>	annotationsFromTree(TypeParameterTree node)
static ExecutableElement	constructor(NewClassTree tree) Determines the symbol for a constructor given an invocation via new.
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 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 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 {@link 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

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)