checkers.types
Class TypestateTypeFromExpression

java.lang.Object
  com.sun.source.util.SimpleTreeVisitor<java.util.Set<javax.lang.model.element.AnnotationMirror>,TypestateTypeFromExpression.TypestateTypeFromExpressionEnv>
      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)