org.checkerframework.checker.optional

Class OptionalVisitor

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<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

org.checkerframework.checker.optional.OptionalVisitor

All Implemented Interfaces:

TreeVisitor<java.lang.Void,java.lang.Void>

public class OptionalVisitor
extends org.checkerframework.common.basetype.BaseTypeVisitor<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

The OptionalVisitor enforces the Optional Checker rules. These rules are described in the Checker Framework Manual.

See the Checker Framework Manual:

Optional Checker

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.common.basetype.BaseTypeVisitor

org.checkerframework.common.basetype.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
OptionalVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
protected org.checkerframework.common.basetype.BaseTypeValidator	createTypeValidator()
void	handleConditionalStatementIsPresentGet(IfTree node) Part of rule #3.
void	handleCreationElimination(MethodInvocationTree node) Rule #4.
void	handleTernaryIsPresentGet(ConditionalExpressionTree node) Part of rule #3.
static StatementTree	skipBlocks(StatementTree tree) If the given tree is a block tree with a single element, return the enclosed non-block statement.
java.lang.Void	visitConditionalExpression(ConditionalExpressionTree node, java.lang.Void p)
java.lang.Void	visitIf(IfTree node, java.lang.Void p)
java.lang.Void	visitMethodInvocation(MethodInvocationTree node, java.lang.Void p)
java.lang.Void	visitVariable(VariableTree node, java.lang.Void p) Rule #6 (partial).

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, 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, visitEnhancedForLoop, visitIdentifier, visitInstanceOf, visitLambdaExpression, visitMemberReference, visitMethod, visitNewArray, visitNewClass, visitParameterizedType, visitReturn, visitThrow, visitTypeCast, visitTypeParameter, visitUnary

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

OptionalVisitor

public OptionalVisitor(org.checkerframework.common.basetype.BaseTypeChecker checker)

Method Detail

createTypeValidator

protected org.checkerframework.common.basetype.BaseTypeValidator createTypeValidator()

Overrides:

createTypeValidator in class org.checkerframework.common.basetype.BaseTypeVisitor<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

visitConditionalExpression

public java.lang.Void visitConditionalExpression(ConditionalExpressionTree node,
                                                 java.lang.Void p)

Specified by:

visitConditionalExpression in interface TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitConditionalExpression in class org.checkerframework.common.basetype.BaseTypeVisitor<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

handleTernaryIsPresentGet

public void handleTernaryIsPresentGet(ConditionalExpressionTree node)

Part of rule #3.

Pattern match for: VAR.isPresent() ? VAR.get().METHOD() : VALUE

Prefer: VAR.map(METHOD).orElse(VALUE);

visitIf

public java.lang.Void visitIf(IfTree node,
                              java.lang.Void p)

Specified by:

visitIf in interface TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitIf in class TreeScanner<java.lang.Void,java.lang.Void>

handleConditionalStatementIsPresentGet

public void handleConditionalStatementIsPresentGet(IfTree node)

Part of rule #3.

Pattern match for: if (VAR.isPresent()) { METHOD(VAR.get()); }

Prefer: VAR.ifPresent(METHOD);

visitMethodInvocation

public java.lang.Void visitMethodInvocation(MethodInvocationTree node,
                                            java.lang.Void p)

Specified by:

visitMethodInvocation in interface TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitMethodInvocation in class org.checkerframework.common.basetype.BaseTypeVisitor<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

handleCreationElimination

public void handleCreationElimination(MethodInvocationTree node)

Rule #4.

Pattern match for: CREATION().ELIMINATION()

Prefer: VAR.ifPresent(METHOD);

visitVariable

public java.lang.Void visitVariable(VariableTree node,
                                    java.lang.Void p)

Rule #6 (partial).

Don't use Optional in fields and method parameters.

Specified by:

visitVariable in interface TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitVariable in class org.checkerframework.common.basetype.BaseTypeVisitor<org.checkerframework.common.basetype.BaseAnnotatedTypeFactory>

skipBlocks

public static StatementTree skipBlocks(StatementTree tree)

If the given tree is a block tree with a single element, return the enclosed non-block statement. Otherwise, return the same tree.

Parameters:

tree - a statement tree

Returns:

the single enclosed statement, if it exists; otherwise, the same tree