org.checkerframework.checker.interning

Class InterningVisitor

java.lang.Object

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

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

org.checkerframework.framework.source.SourceVisitor<Void,Void>

org.checkerframework.common.basetype.BaseTypeVisitor<InterningAnnotatedTypeFactory>

org.checkerframework.checker.interning.InterningVisitor

All Implemented Interfaces:

TreeVisitor<Void,Void>

public final class InterningVisitor
extends BaseTypeVisitor<InterningAnnotatedTypeFactory>

Typechecks source code for interning violations. A type is considered interned if its primary annotation is Interned or InternedDistinct. 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"). As a special case, the comparison is permitted if either arugment is InternedDistinct.
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 org.checkerframework.common.basetype.BaseTypeVisitor

BaseTypeVisitor.OverrideChecker

Field Summary

Fields inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

atypeFactory, checker, contractsUtils, positions, typeValidator, visitorState

Fields inherited from class org.checkerframework.framework.source.SourceVisitor

elements, root, trees, treesWithSuppressWarnings, types

Constructor Summary

Constructors

Constructor and Description
InterningVisitor(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
void	processClassTree(ClassTree node) Method to implement the @UsesObjectEquals functionality.
Void	visitBinary(BinaryTree node, Void p) Checks comparison operators, == and !=, for INTERNING violations.
Void	visitMethodInvocation(MethodInvocationTree node, Void p) If lint option "dotequals" is specified, warn if the .equals method is used where reference equality is safe.

Methods inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConditionalPostcondition, checkConstructorInvocation, checkContract, checkDefaultConstructor, checkExceptionParameter, checkFieldInvariantDeclarations, checkForAnnotatedJdk, checkMethodInvocability, checkMethodReferenceAsOverride, checkOverride, checkOverride, checkPostcondition, checkPreconditions, checkThrownExpression, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, checkVarargs, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createOverrideChecker, createTypeFactory, createTypeValidator, enclosingMemberSelect, enclosingStatement, getExceptionParameterLowerBoundAnnotations, getThrowUpperBoundAnnotations, getTypeFactory, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, reportPurityErrors, scan, setRoot, shouldSkipUses, skipReceiverSubtypeCheck, testTypevarContainment, typeCheckVectorCopyIntoArgument, validateType, validateTypeOf, visitAnnotation, visitArrayAccess, visitAssignment, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitMethod, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitThrow, visitTypeCast, visitTypeParameter, visitUnary, visitVariable

Methods inherited from class org.checkerframework.framework.source.SourceVisitor

visit

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, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, 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(BaseTypeChecker checker)

Method Detail

visitBinary

public Void visitBinary(BinaryTree node,
                        Void p)

Checks comparison operators, == and !=, for INTERNING violations.

Specified by:

visitBinary in interface TreeVisitor<Void,Void>

Overrides:

visitBinary in class TreeScanner<Void,Void>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree node,
                                  Void p)

If lint option "dotequals" is specified, warn if the .equals method is used where reference equality is safe.

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class BaseTypeVisitor<InterningAnnotatedTypeFactory>

processClassTree

public void processClassTree(ClassTree node)

Method to implement the @UsesObjectEquals functionality. If a class is annotated with @UsesObjectEquals, it must:

• not override .equals(Object)
• be a subclass of Object or another class annotated with @UsesObjectEquals

If a class is not annotated with @UsesObjectEquals, it must:

• not have a superclass annotated with @UsesObjectEquals

Overrides:

processClassTree in class BaseTypeVisitor<InterningAnnotatedTypeFactory>

Parameters:

node - class to check

See Also:

SourceVisitor.visitClass(com.sun.source.tree.ClassTree, java.lang.Object)