checkers.nullness
Class KeyForAnnotatedTypeFactory
java.lang.Object
checkers.types.AnnotatedTypeFactory
checkers.types.BasicAnnotatedTypeFactory<KeyForSubchecker>
checkers.nullness.KeyForAnnotatedTypeFactory
public class KeyForAnnotatedTypeFactory
extends BasicAnnotatedTypeFactory<KeyForSubchecker>
Fields inherited from class checkers.types.AnnotatedTypeFactory |
annotations, atypes, elements, env, fromTreeCache, qualHierarchy, root, trees, types, uid, visitorState |
Methods inherited from class checkers.types.AnnotatedTypeFactory |
addAliasedAnnotation, aliasedAnnotation, annotateInheritedFromClass, canHaveAnnotatedTypeParameters, constructorFromUse, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getCurrentClassType, getCurrentMethodReceiver, getEnclosingType, getImplicitReceiverType, getPath, getQualifierHierarchy, getReceiver, getSelfType, getUnboxedType, getVisitorState, isMostEnclosingThisDeref, isWithinConstructor, postAsMemberOf, postInit, toAnnotatedType, toString, unify |
KeyForAnnotatedTypeFactory
public KeyForAnnotatedTypeFactory(KeyForSubchecker checker,
CompilationUnitTree root)
methodFromUse
public AnnotatedTypeMirror.AnnotatedExecutableType methodFromUse(MethodInvocationTree call)
- Description copied from class:
AnnotatedTypeFactory
- Determines the type of the invoked method based on the passed method
invocation tree.
The returned method type has all type variables resolved, whether based
on receiver type, passed type parameters if any, and method invocation
parameter.
Subclasses may override this method to customize inference of types
or qualifiers based on method invocation parameters.
As an implementation detail, this method depends on
AnnotatedTypes.asMemberOf(AnnotatedTypeMirror, Element)
, and
customization based on receiver type should be in accordance to its
specification.
- Overrides:
methodFromUse
in class BasicAnnotatedTypeFactory<KeyForSubchecker>
- Parameters:
call
- the method invocation tree
- Returns:
- the method type being invoked with tree