org.checkerframework.common.value

Class ValueVisitor

java.lang.Object

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

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

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

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

org.checkerframework.common.value.ValueVisitor

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

public class ValueVisitor
extends BaseTypeVisitor<ValueAnnotatedTypeFactory>

Author:

plvines

Visitor for the Constant Value type-system

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, types

Constructor Summary

Constructors

Constructor and Description
ValueVisitor(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
protected boolean	checkOverride(com.sun.source.tree.MethodTree overriderTree, AnnotatedTypeMirror.AnnotatedExecutableType overrider, AnnotatedTypeMirror.AnnotatedDeclaredType overridingType, AnnotatedTypeMirror.AnnotatedExecutableType overridden, AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType) Return types for methods that are annotated with @IntRangeFromX annotations need to be replaced with @UnknownVal.
protected void	commonAssignmentCheck(AnnotatedTypeMirror varType, AnnotatedTypeMirror valueType, com.sun.source.tree.Tree valueTree, @CompilerMessageKey java.lang.String errorKey) Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
protected void	commonAssignmentCheck(AnnotatedTypeMirror varType, com.sun.source.tree.ExpressionTree valueExp, @CompilerMessageKey java.lang.String errorKey) ValueVisitor overrides this method so that it does not have to check variables annotated with the IntRangeFromPositive annotation, the IntRangeFromNonNegative annotation, or the IntRangeFromGTENegativeOne annotation.
protected ValueAnnotatedTypeFactory	createTypeFactory() Constructs an instance of the appropriate type factory for the implemented type system.
java.lang.Void	visitAnnotation(com.sun.source.tree.AnnotationTree node, java.lang.Void p) Warns about malformed constant-value annotations.
java.lang.Void	visitTypeCast(com.sun.source.tree.TypeCastTree node, java.lang.Void p)

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

checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConditionalPostcondition, checkConstructorInvocation, checkContract, checkDefaultConstructor, checkExceptionParameter, checkFieldInvariantDeclarations, checkForAnnotatedJdk, checkMethodInvocability, checkMethodReferenceAsOverride, checkOverride, checkPostcondition, checkPreconditions, checkThrownExpression, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, checkVarargs, commonAssignmentCheck, createOverrideChecker, createTypeValidator, enclosingMemberSelect, enclosingStatement, getExceptionParameterLowerBoundAnnotations, getThrowUpperBoundAnnotations, getTypeFactory, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, processClassTree, reportPurityErrors, scan, setRoot, shouldSkipUses, skipReceiverSubtypeCheck, testTypevarContainment, typeCheckVectorCopyIntoArgument, validateType, validateTypeOf, visitArrayAccess, visitAssignment, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitMethod, visitMethodInvocation, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitThrow, visitTry, 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, visitBinary, visitBlock, visitBreak, visitCase, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitOther, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitUnionType, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueVisitor

public ValueVisitor(BaseTypeChecker checker)

Method Detail

commonAssignmentCheck

protected void commonAssignmentCheck(AnnotatedTypeMirror varType,
                                     com.sun.source.tree.ExpressionTree valueExp,
                                     @CompilerMessageKey java.lang.String errorKey)

ValueVisitor overrides this method so that it does not have to check variables annotated with the IntRangeFromPositive annotation, the IntRangeFromNonNegative annotation, or the IntRangeFromGTENegativeOne annotation. This annotation is only introduced by the Index Checker's lower bound annotations. It is safe to defer checking of these values to the Index Checker because this is only introduced for explicitly-written Positive, explicitly-written NonNegative, and explicitly-written GTENegativeOne annotations, which must be checked by the Lower Bound Checker.

Overrides:

commonAssignmentCheck in class BaseTypeVisitor<ValueAnnotatedTypeFactory>

Parameters:

varType - the annotated type of the lvalue (usually a variable)

valueExp - the AST node for the rvalue (the new value)

errorKey - the error message to use if the check fails (must be a compiler message key,

commonAssignmentCheck

protected void commonAssignmentCheck(AnnotatedTypeMirror varType,
                                     AnnotatedTypeMirror valueType,
                                     com.sun.source.tree.Tree valueTree,
                                     @CompilerMessageKey java.lang.String errorKey)

Description copied from class: BaseTypeVisitor

Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.

Overrides:

commonAssignmentCheck in class BaseTypeVisitor<ValueAnnotatedTypeFactory>

Parameters:

varType - the annotated type of the variable

valueType - the annotated type of the value

valueTree - the location to use when reporting the error message

errorKey - the error message to use if the check fails (must be a compiler message key, see CompilerMessageKey)

checkOverride

protected boolean checkOverride(com.sun.source.tree.MethodTree overriderTree,
                                AnnotatedTypeMirror.AnnotatedExecutableType overrider,
                                AnnotatedTypeMirror.AnnotatedDeclaredType overridingType,
                                AnnotatedTypeMirror.AnnotatedExecutableType overridden,
                                AnnotatedTypeMirror.AnnotatedDeclaredType overriddenType)

Return types for methods that are annotated with @IntRangeFromX annotations need to be replaced with @UnknownVal. See the documentation on commonAssignmentCheck.

A separate override is necessary because checkOverride doesn't actually use the commonAssignmentCheck.

Overrides:

checkOverride in class BaseTypeVisitor<ValueAnnotatedTypeFactory>

Parameters:

overriderTree - declaration tree of overriding method

overrider - type of the overriding method

overridingType - type of overriding class

overridden - type of overridden method

overriddenType - type of overridden class

Returns:

true if the override is allowed

See Also:

BaseTypeVisitor.checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType)

createTypeFactory

protected ValueAnnotatedTypeFactory createTypeFactory()

Description copied from class: BaseTypeVisitor

Constructs an instance of the appropriate type factory for the implemented type system.

The default implementation uses the checker naming convention to create the appropriate type factory. If no factory is found, it returns BaseAnnotatedTypeFactory. It reflectively invokes the constructor that accepts this checker and compilation unit tree (in that order) as arguments.

Subclasses have to override this method to create the appropriate visitor if they do not follow the checker naming convention.

Overrides:

createTypeFactory in class BaseTypeVisitor<ValueAnnotatedTypeFactory>

Returns:

the appropriate type factory

visitAnnotation

public java.lang.Void visitAnnotation(com.sun.source.tree.AnnotationTree node,
                                      java.lang.Void p)

Warns about malformed constant-value annotations.

Issues an error if any @IntRange annotation has its 'from' value greater than 'to' value.

Issues a warning if any constant-value annotation has > MAX_VALUES arguments.

Specified by:

visitAnnotation in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitAnnotation in class BaseTypeVisitor<ValueAnnotatedTypeFactory>

visitTypeCast

public java.lang.Void visitTypeCast(com.sun.source.tree.TypeCastTree node,
                                    java.lang.Void p)

Specified by:

visitTypeCast in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitTypeCast in class BaseTypeVisitor<ValueAnnotatedTypeFactory>