checkers.typestate
Class TypestateAnnotatedTypeFactory

java.lang.Object
  checkers.types.AnnotatedTypeFactory
      checkers.typestate.TypestateAnnotatedTypeFactory

public class TypestateAnnotatedTypeFactory
extends checkers.types.AnnotatedTypeFactory

Author:

Adam Warski (adam at warski dot org)

Field Summary

Fields inherited from class checkers.types.AnnotatedTypeFactory

annotations, atypes, elements, env, qualHierarchy, root, trees, types, visitorState

Constructor Summary

TypestateAnnotatedTypeFactory(javax.annotation.processing.ProcessingEnvironment env, TypestateUtil typestateUtil, com.sun.source.tree.CompilationUnitTree root)

Method Summary

checkers.types.AnnotatedTypeMirror

fromExpression(com.sun.source.tree.ExpressionTree tree)

Methods inherited from class checkers.types.AnnotatedTypeFactory

annotateImplicit, annotateImplicit, annotateInheritedFromClass, constructorFromUse, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromMember, fromTypeTree, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getCurrentClassType, getCurrentMethodReceiver, getEnclosingType, getImplicitReceiverType, getPath, getQualifierHierarchy, getReceiver, getSelfType, getUnboxedType, getVisitorState, isMostEnclosingThisDeref, methodFromUse, postAsMemberOf, postDirectSuperTypes, unify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypestateAnnotatedTypeFactory

public TypestateAnnotatedTypeFactory(javax.annotation.processing.ProcessingEnvironment env,
                                     TypestateUtil typestateUtil,
                                     com.sun.source.tree.CompilationUnitTree root)

Method Detail

fromExpression

public checkers.types.AnnotatedTypeMirror fromExpression(com.sun.source.tree.ExpressionTree tree)

Overrides:

fromExpression in class checkers.types.AnnotatedTypeFactory