checkers.interning

Class InterningVisitor

java.lang.Object

com.sun.source.util.TreeScanner<R,P>

com.sun.source.util.TreePathScanner<R,P>

checkers.source.SourceVisitor<@Nullable Void,@Nullable Void>

checkers.basetype.BaseTypeVisitor<InterningChecker>

checkers.interning.InterningVisitor

All Implemented Interfaces:

TreeVisitor<@Nullable Void,@Nullable Void>

public final class InterningVisitor
extends BaseTypeVisitor<InterningChecker>

A type-checking visitor for the Interned type qualifier that uses the BaseTypeVisitor implementation. This visitor reports errors or warnings for violations for the following cases:

1. either argument to a "==" or "!=" comparison is not Interned (error "not.interned")
2. the receiver and argument for a call to an equals method are both Interned (optional warning "unnecessary.equals")

See Also:

BaseTypeVisitor

Nested Class Summary

Nested classes/interfaces inherited from class checkers.basetype.BaseTypeVisitor

BaseTypeVisitor.TypeValidator

Field Summary

Fields inherited from class checkers.basetype.BaseTypeVisitor

annoFactory, annoTypes, checker, options, typeValidator, visitorState

Fields inherited from class checkers.source.SourceVisitor

atypeFactory, elements, root, trees, types

Constructor Summary

Constructors

Constructor and Description
InterningVisitor(InterningChecker checker, @Nullable CompilationUnitTree root) Creates a new visitor for type-checking Interned.

Method Summary

Methods

Modifier and Type	Method and Description
@Nullable Void	visitBinary(BinaryTree node, @Nullable Void p)
@Nullable Void	visitClass(@Nullable ClassTree node, @Nullable Void p)
@Nullable Void	visitMethodInvocation(MethodInvocationTree node, @Nullable Void p) Performs a method invocation check.

Methods inherited from class checkers.basetype.BaseTypeVisitor

checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConstructorInvocation, checkDefaultConstructor, checkForAnnotatedJdk, checkMethodInvocability, checkOverride, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createTypeValidator, enclosingMemberSelect, enclosingStatement, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, scan, shouldSkipUses, typeCheckVectorCopyIntoArgument, validateTypeOf, visitAnnotation, visitArrayAccess, visitAssignment, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitMethod, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitTypeCast, visitTypeParameter, visitUnary, visitVariable

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitAnnotatedType, visitArrayType, visitAssert, visitBlock, visitBreak, visitCase, visitCatch, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitThrow, visitTry, visitUnionType, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

InterningVisitor

public InterningVisitor(InterningChecker checker,
                @Nullable CompilationUnitTree root)

Creates a new visitor for type-checking Interned.

Parameters:

checker - the checker to use

root - the root of the input program's AST to check

Method Detail

visitBinary

public @Nullable Void visitBinary(BinaryTree node,
                         @Nullable Void p)

Specified by:

visitBinary in interface TreeVisitor<@Nullable Void,@Nullable Void>

Overrides:

visitBinary in class TreeScanner<@Nullable Void,@Nullable Void>

visitMethodInvocation

public @Nullable Void visitMethodInvocation(MethodInvocationTree node,
                                   @Nullable Void p)

Description copied from class: BaseTypeVisitor

Performs a method invocation check. An invocation of a method, m, on the receiver, r is valid only if:

• passed arguments are subtypes of corresponding m parameters
• r is a subtype of m receiver type
• if m is generic, passed type arguments are subtypes of m type variables

Specified by:

visitMethodInvocation in interface TreeVisitor<@Nullable Void,@Nullable Void>

Overrides:

visitMethodInvocation in class BaseTypeVisitor<InterningChecker>

visitClass

public @Nullable Void visitClass(@Nullable ClassTree node,
                        @Nullable Void p)

Specified by:

visitClass in interface TreeVisitor<@Nullable Void,@Nullable Void>

Overrides:

visitClass in class BaseTypeVisitor<InterningChecker>