org.checkerframework.checker.linear

Class LinearVisitor

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<LinearAnnotatedTypeFactory>

org.checkerframework.checker.linear.LinearVisitor

All Implemented Interfaces:

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

public class LinearVisitor
extends BaseTypeVisitor<LinearAnnotatedTypeFactory>

A type-checking visitor for the Linear type system. The visitor reports an error ("unsafe.use") for any use of a reference of Unusable type. In other words, it reports an error for any Linear references that is used more than once, or is used after it has been "used up".

See Also:

LinearChecker

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
LinearVisitor(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
protected void	checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType method, com.sun.source.tree.MethodInvocationTree node) Linear Checker does not contain a rule for method invocation.
java.lang.Void	visitIdentifier(com.sun.source.tree.IdentifierTree node, java.lang.Void p)
java.lang.Void	visitMemberSelect(com.sun.source.tree.MemberSelectTree 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, 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, processClassTree, reportPurityErrors, scan, setRoot, shouldSkipUses, skipReceiverSubtypeCheck, testTypevarContainment, typeCheckVectorCopyIntoArgument, validateType, validateTypeOf, visitAnnotation, visitArrayAccess, visitAssignment, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitMethod, visitMethodInvocation, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitThrow, visitTry, 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, visitBinary, visitBlock, visitBreak, visitCase, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitIntersectionType, visitLabeledStatement, visitLiteral, 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

LinearVisitor

public LinearVisitor(BaseTypeChecker checker)

Method Detail

visitIdentifier

public java.lang.Void visitIdentifier(com.sun.source.tree.IdentifierTree node,
                                      java.lang.Void p)

Specified by:

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

Overrides:

visitIdentifier in class BaseTypeVisitor<LinearAnnotatedTypeFactory>

visitMemberSelect

public java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree node,
                                        java.lang.Void p)

Specified by:

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

Overrides:

visitMemberSelect in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>

checkMethodInvocability

protected void checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType method,
                                       com.sun.source.tree.MethodInvocationTree node)

Linear Checker does not contain a rule for method invocation.

Overrides:

checkMethodInvocability in class BaseTypeVisitor<LinearAnnotatedTypeFactory>

Parameters:

method - the type of the invoked method

node - the method invocation node