checkers.linear

Class LinearVisitor

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

checkers.linear.LinearVisitor

All Implemented Interfaces:

TreeVisitor<@Nullable Void,@Nullable Void>

public class LinearVisitor
extends BaseTypeVisitor<LinearChecker>

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 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
LinearVisitor(LinearChecker checker, @Nullable CompilationUnitTree root)

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType method, MethodInvocationTree node) Linear Checker does not contain a rule for method invocation.
@Nullable Void	visitIdentifier(IdentifierTree node, @Nullable Void p)
@Nullable Void	visitMemberSelect(MemberSelectTree node, @Nullable Void p)

Methods inherited from class checkers.basetype.BaseTypeVisitor

checkAccess, checkArguments, checkArrayInitialization, checkAssignability, checkConstructorInvocation, checkDefaultConstructor, checkForAnnotatedJdk, checkOverride, checkTypeArguments, checkTypecastRedundancy, checkTypecastSafety, commonAssignmentCheck, commonAssignmentCheck, commonAssignmentCheck, createTypeValidator, enclosingMemberSelect, enclosingStatement, isAccessAllowed, isAssignable, isValidUse, isValidUse, isValidUse, isVectorCopyInto, scan, shouldSkipUses, typeCheckVectorCopyIntoArgument, validateTypeOf, visitAnnotation, visitArrayAccess, visitAssignment, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitEnhancedForLoop, visitInstanceOf, visitMethod, visitMethodInvocation, 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, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, 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

LinearVisitor

public LinearVisitor(LinearChecker checker,
             @Nullable CompilationUnitTree root)

Method Detail

visitIdentifier

public @Nullable Void visitIdentifier(IdentifierTree node,
                             @Nullable Void p)

Specified by:

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

Overrides:

visitIdentifier in class BaseTypeVisitor<LinearChecker>

visitMemberSelect

public @Nullable Void visitMemberSelect(MemberSelectTree node,
                               @Nullable Void p)

Specified by:

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

Overrides:

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

checkMethodInvocability

protected boolean checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType method,
                              MethodInvocationTree node)

Linear Checker does not contain a rule for method invocation.

Overrides:

checkMethodInvocability in class BaseTypeVisitor<LinearChecker>

Parameters:

method - the type of the invoked method

node - the method invocation node

Returns:

true iff the call of 'node' is a valid call