checkers.types
Class TypestateTypeFromExpression

java.lang.Object
  extended by com.sun.source.util.SimpleTreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>
      extended by checkers.types.TypestateTypeFromExpression
All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>

public class TypestateTypeFromExpression
extends com.sun.source.util.SimpleTreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>

Author:
Adam Warski (adam at warski dot org)

Nested Class Summary
static class TypestateTypeFromExpression.TypestateTypeFromExpressionEnv
           
 
Field Summary
static TypestateTypeFromExpression INSTANCE
          The singleton instance.
 
Fields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE
 
Method Summary
protected  java.util.Set<javax.lang.model.element.AnnotationMirror> defaultAction(com.sun.source.tree.Tree node, TypestateTypeFromExpression.TypestateTypeFromExpressionEnv typestateTypeFromExpressionEnv)
           
static TypestateTypeFromExpression.TypestateTypeFromExpressionEnv makeEnv(checkers.types.AnnotatedTypeFactory factory, TypestateUtil typestateUtil)
           
 java.util.Set<javax.lang.model.element.AnnotationMirror> visitNewClass(com.sun.source.tree.NewClassTree node, TypestateTypeFromExpression.TypestateTypeFromExpressionEnv tenv)
           
 
Methods inherited from class com.sun.source.util.SimpleTreeVisitor
visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitLabeledStatement, visitLiteral, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitVariable, visitWhileLoop, visitWildcard
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final TypestateTypeFromExpression INSTANCE
The singleton instance.

Method Detail

defaultAction

protected java.util.Set<javax.lang.model.element.AnnotationMirror> defaultAction(com.sun.source.tree.Tree node,
                                                                                 TypestateTypeFromExpression.TypestateTypeFromExpressionEnv typestateTypeFromExpressionEnv)
Overrides:
defaultAction in class com.sun.source.util.SimpleTreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>

visitNewClass

public java.util.Set<javax.lang.model.element.AnnotationMirror> visitNewClass(com.sun.source.tree.NewClassTree node,
                                                                              TypestateTypeFromExpression.TypestateTypeFromExpressionEnv tenv)
Specified by:
visitNewClass in interface com.sun.source.tree.TreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>
Overrides:
visitNewClass in class com.sun.source.util.SimpleTreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>

makeEnv

public static TypestateTypeFromExpression.TypestateTypeFromExpressionEnv makeEnv(checkers.types.AnnotatedTypeFactory factory,
                                                                                 TypestateUtil typestateUtil)