public final class InterningVisitor extends BaseTypeVisitor<InterningAnnotatedTypeFactory>
Interned
type
qualifier that uses the BaseTypeVisitor
implementation. This visitor
reports errors or warnings for violations for the following cases:
BaseTypeVisitor
atypeFactory, checker, contractsUtils, positions, typeValidator, visitorState
elements, root, trees, types
Constructor and Description |
---|
InterningVisitor(BaseTypeChecker checker)
Creates a new visitor for type-checking
Interned . |
Modifier and Type | Method and Description |
---|---|
java.lang.Void |
visitBinary(com.sun.source.tree.BinaryTree node,
java.lang.Void p) |
java.lang.Void |
visitClass(com.sun.source.tree.ClassTree node,
java.lang.Void p) |
java.lang.Void |
visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node,
java.lang.Void p)
Performs a method invocation check.
|
checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConditionalPostconditions, checkConditionalPostconditionsConsistency, checkConstructorInvocation, checkContract, checkDefaultConstructor, checkFlowExprParameters, checkForAnnotatedJdk, checkMethodInvocability, checkOverride, checkPostconditions, checkPostconditionsConsistency, checkPreconditions, checkPreconditionsConsistency, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createTypeFactory, createTypeValidator, enclosingMemberSelect, enclosingStatement, getTypeFactory, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, reportPurityErrors, scan, shouldSkipUses, typeCheckVectorCopyIntoArgument, validateTypeOf, visit, visitAnnotation, visitArrayAccess, visitAssignment, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitMethod, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitTypeCast, visitTypeParameter, visitUnary, visitVariable
reduce, scan, visitAnnotatedType, visitArrayType, visitAssert, visitBlock, visitBreak, visitCase, visitCatch, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitThrow, visitTry, visitUnionType, visitWhileLoop, visitWildcard
public InterningVisitor(BaseTypeChecker checker)
Interned
.checker
- the checker to usepublic java.lang.Void visitBinary(com.sun.source.tree.BinaryTree node, java.lang.Void p)
visitBinary
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
visitBinary
in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>
public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, java.lang.Void p)
BaseTypeVisitor
visitMethodInvocation
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
visitMethodInvocation
in class BaseTypeVisitor<InterningAnnotatedTypeFactory>
public java.lang.Void visitClass(com.sun.source.tree.ClassTree node, java.lang.Void p)
visitClass
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
visitClass
in class BaseTypeVisitor<InterningAnnotatedTypeFactory>