Package org.checkerframework.dataflow.cfg.node

Interface NodeVisitor<R,P>

Type Parameters:

R - return type of the visitor. Use Void if the visitor does not have a return value.

P - parameter type of the visitor. Use Void if the visitor does not have a parameter.

All Known Subinterfaces:

BackwardTransferFunction<V,S>, ForwardTransferFunction<V,S>, TransferFunction<V,S>

All Known Implementing Classes:

AbstractNodeVisitor, AccumulationTransfer, AliasingTransfer, BusyExprTransfer, CalledMethodsTransfer, CFAbstractTransfer, CFTransfer, ConstantPropagationTransfer, FormatterTransfer, I18nFormatterTransfer, IndexAbstractTransfer, InitializationTransfer, InitializedFieldsTransfer, KeyForTransfer, LessThanTransfer, LiveVarTransfer, LockTransfer, LowerBoundTransfer, MustCallTransfer, NullnessNoInitTransfer, OptionalTransfer, ReachingDefinitionTransfer, RegexTransfer, ResourceLeakTransfer, SameLenTransfer, SearchIndexTransfer, SignatureTransfer, UpperBoundTransfer, ValueTransfer

public interface NodeVisitor<R,P>

A visitor for a Node tree.

Method Summary

Modifier and Type	Method	Description
R	visitArrayAccess(ArrayAccessNode n, P p)
R	visitArrayCreation(ArrayCreationNode n, P p)
R	visitArrayType(ArrayTypeNode n, P p)
R	visitAssertionError(AssertionErrorNode n, P p)
R	visitAssignment(AssignmentNode n, P p)
R	visitBitwiseAnd(BitwiseAndNode n, P p)
R	visitBitwiseComplement(BitwiseComplementNode n, P p)
R	visitBitwiseOr(BitwiseOrNode n, P p)
R	visitBitwiseXor(BitwiseXorNode n, P p)
R	visitBooleanLiteral(BooleanLiteralNode n, P p)
R	visitCase(CaseNode n, P p)
R	visitCharacterLiteral(CharacterLiteralNode n, P p)
R	visitClassDeclaration(ClassDeclarationNode classDeclarationNode, P p)	Visits an anonymous/inner/nested class declaration within a method.
R	visitClassName(ClassNameNode n, P p)
R	visitConditionalAnd(ConditionalAndNode n, P p)
R	visitConditionalNot(ConditionalNotNode n, P p)
R	visitConditionalOr(ConditionalOrNode n, P p)
R	visitDeconstructorPattern(DeconstructorPatternNode n, P p)	Visits a deconstructor pattern node.
R	visitDoubleLiteral(DoubleLiteralNode n, P p)
R	visitEqualTo(EqualToNode n, P p)
R	visitExplicitThis(ExplicitThisNode n, P p)
R	visitExpressionStatement(ExpressionStatementNode n, P p)	Visits an expression that is used as a statement.
R	visitFieldAccess(FieldAccessNode n, P p)
R	visitFloatingDivision(FloatingDivisionNode n, P p)
R	visitFloatingRemainder(FloatingRemainderNode n, P p)
R	visitFloatLiteral(FloatLiteralNode n, P p)
R	visitGreaterThan(GreaterThanNode n, P p)
R	visitGreaterThanOrEqual(GreaterThanOrEqualNode n, P p)
R	visitImplicitThis(ImplicitThisNode n, P p)
R	visitInstanceOf(InstanceOfNode n, P p)
R	visitIntegerDivision(IntegerDivisionNode n, P p)
R	visitIntegerLiteral(IntegerLiteralNode n, P p)
R	visitIntegerRemainder(IntegerRemainderNode n, P p)
R	visitLambdaResultExpression(LambdaResultExpressionNode n, P p)
R	visitLeftShift(LeftShiftNode n, P p)
R	visitLessThan(LessThanNode n, P p)
R	visitLessThanOrEqual(LessThanOrEqualNode n, P p)
R	visitLocalVariable(LocalVariableNode n, P p)
R	visitLongLiteral(LongLiteralNode n, P p)
R	visitMarker(MarkerNode n, P p)
R	visitMemberReference(FunctionalInterfaceNode n, P p)
R	visitMethodAccess(MethodAccessNode n, P p)
R	visitMethodInvocation(MethodInvocationNode n, P p)
R	visitNarrowingConversion(NarrowingConversionNode n, P p)
R	visitNotEqual(NotEqualNode n, P p)
R	visitNullChk(NullChkNode n, P p)
R	visitNullLiteral(NullLiteralNode n, P p)
R	visitNumericalAddition(NumericalAdditionNode n, P p)
R	visitNumericalMinus(NumericalMinusNode n, P p)
R	visitNumericalMultiplication(NumericalMultiplicationNode n, P p)
R	visitNumericalPlus(NumericalPlusNode n, P p)
R	visitNumericalSubtraction(NumericalSubtractionNode n, P p)
R	visitObjectCreation(ObjectCreationNode n, P p)
R	visitPackageName(PackageNameNode n, P p)
R	visitParameterizedType(ParameterizedTypeNode n, P p)
R	visitPrimitiveType(PrimitiveTypeNode n, P p)
R	visitReturn(ReturnNode n, P p)
R	visitShortLiteral(ShortLiteralNode n, P p)
R	visitSignedRightShift(SignedRightShiftNode n, P p)
R	visitStringConcatenate(StringConcatenateNode n, P p)
R	visitStringConversion(StringConversionNode n, P p)
R	visitStringLiteral(StringLiteralNode n, P p)
R	visitSuper(SuperNode n, P p)
R	visitSwitchExpressionNode(SwitchExpressionNode n, P p)
R	visitSynchronized(SynchronizedNode n, P p)
R	visitTernaryExpression(TernaryExpressionNode n, P p)
R	visitThrow(ThrowNode n, P p)
R	visitTypeCast(TypeCastNode n, P p)
R	visitUnsignedRightShift(UnsignedRightShiftNode n, P p)
R	visitVariableDeclaration(VariableDeclarationNode n, P p)
R	visitWideningConversion(WideningConversionNode n, P p)

Method Details

visitShortLiteral

R visitShortLiteral(ShortLiteralNode n,
 P p)

visitIntegerLiteral

R visitIntegerLiteral(IntegerLiteralNode n,
 P p)

visitLongLiteral

R visitLongLiteral(LongLiteralNode n,
 P p)

visitFloatLiteral

R visitFloatLiteral(FloatLiteralNode n,
 P p)

visitDoubleLiteral

R visitDoubleLiteral(DoubleLiteralNode n,
 P p)

visitBooleanLiteral

R visitBooleanLiteral(BooleanLiteralNode n,
 P p)

visitCharacterLiteral

R visitCharacterLiteral(CharacterLiteralNode n,
 P p)

visitStringLiteral

R visitStringLiteral(StringLiteralNode n,
 P p)

visitNullLiteral

R visitNullLiteral(NullLiteralNode n,
 P p)

visitNumericalMinus

R visitNumericalMinus(NumericalMinusNode n,
 P p)

visitNumericalPlus

R visitNumericalPlus(NumericalPlusNode n,
 P p)

visitBitwiseComplement

R visitBitwiseComplement(BitwiseComplementNode n,
 P p)

visitNullChk

R visitNullChk(NullChkNode n,
 P p)

visitStringConcatenate

R visitStringConcatenate(StringConcatenateNode n,
 P p)

visitNumericalAddition

R visitNumericalAddition(NumericalAdditionNode n,
 P p)

visitNumericalSubtraction

R visitNumericalSubtraction(NumericalSubtractionNode n,
 P p)

visitNumericalMultiplication

R visitNumericalMultiplication(NumericalMultiplicationNode n,
 P p)

visitIntegerDivision

R visitIntegerDivision(IntegerDivisionNode n,
 P p)

visitFloatingDivision

R visitFloatingDivision(FloatingDivisionNode n,
 P p)

visitIntegerRemainder

R visitIntegerRemainder(IntegerRemainderNode n,
 P p)

visitFloatingRemainder

R visitFloatingRemainder(FloatingRemainderNode n,
 P p)

visitLeftShift

R visitLeftShift(LeftShiftNode n,
 P p)

visitSignedRightShift

R visitSignedRightShift(SignedRightShiftNode n,
 P p)

visitUnsignedRightShift

R visitUnsignedRightShift(UnsignedRightShiftNode n,
 P p)

visitBitwiseAnd

R visitBitwiseAnd(BitwiseAndNode n,
 P p)

visitBitwiseOr

R visitBitwiseOr(BitwiseOrNode n,
 P p)

visitBitwiseXor

R visitBitwiseXor(BitwiseXorNode n,
 P p)

visitLessThan

R visitLessThan(LessThanNode n,
 P p)

visitLessThanOrEqual

R visitLessThanOrEqual(LessThanOrEqualNode n,
 P p)

visitGreaterThan

R visitGreaterThan(GreaterThanNode n,
 P p)

visitGreaterThanOrEqual

R visitGreaterThanOrEqual(GreaterThanOrEqualNode n,
 P p)

visitEqualTo

R visitEqualTo(EqualToNode n,
 P p)

visitNotEqual

R visitNotEqual(NotEqualNode n,
 P p)

visitConditionalAnd

R visitConditionalAnd(ConditionalAndNode n,
 P p)

visitConditionalOr

R visitConditionalOr(ConditionalOrNode n,
 P p)

visitConditionalNot

R visitConditionalNot(ConditionalNotNode n,
 P p)

visitTernaryExpression

R visitTernaryExpression(TernaryExpressionNode n,
 P p)

visitSwitchExpressionNode

R visitSwitchExpressionNode(SwitchExpressionNode n,
 P p)

visitAssignment

R visitAssignment(AssignmentNode n,
 P p)

visitLocalVariable

R visitLocalVariable(LocalVariableNode n,
 P p)

visitVariableDeclaration

R visitVariableDeclaration(VariableDeclarationNode n,
 P p)

visitFieldAccess

R visitFieldAccess(FieldAccessNode n,
 P p)

visitMethodAccess

R visitMethodAccess(MethodAccessNode n,
 P p)

visitArrayAccess

R visitArrayAccess(ArrayAccessNode n,
 P p)

visitImplicitThis

R visitImplicitThis(ImplicitThisNode n,
 P p)

visitExplicitThis

R visitExplicitThis(ExplicitThisNode n,
 P p)

visitSuper

R visitSuper(SuperNode n,
 P p)

visitReturn

R visitReturn(ReturnNode n,
 P p)

visitLambdaResultExpression

R visitLambdaResultExpression(LambdaResultExpressionNode n,
 P p)

visitStringConversion

R visitStringConversion(StringConversionNode n,
 P p)

visitWideningConversion

R visitWideningConversion(WideningConversionNode n,
 P p)

visitNarrowingConversion

R visitNarrowingConversion(NarrowingConversionNode n,
 P p)

visitInstanceOf

R visitInstanceOf(InstanceOfNode n,
 P p)

visitTypeCast

R visitTypeCast(TypeCastNode n,
 P p)

visitSynchronized

R visitSynchronized(SynchronizedNode n,
 P p)

visitAssertionError

R visitAssertionError(AssertionErrorNode n,
 P p)

visitThrow

R visitThrow(ThrowNode n,
 P p)

visitCase

R visitCase(CaseNode n,
 P p)

visitMethodInvocation

R visitMethodInvocation(MethodInvocationNode n,
 P p)

visitObjectCreation

R visitObjectCreation(ObjectCreationNode n,
 P p)

visitMemberReference

R visitMemberReference(FunctionalInterfaceNode n,
 P p)

visitArrayCreation

R visitArrayCreation(ArrayCreationNode n,
 P p)

visitArrayType

R visitArrayType(ArrayTypeNode n,
 P p)

visitPrimitiveType

R visitPrimitiveType(PrimitiveTypeNode n,
 P p)

visitClassName

R visitClassName(ClassNameNode n,
 P p)

visitPackageName

R visitPackageName(PackageNameNode n,
 P p)

visitParameterizedType

R visitParameterizedType(ParameterizedTypeNode n,
 P p)

visitMarker

R visitMarker(MarkerNode n,
 P p)

visitClassDeclaration

R visitClassDeclaration(ClassDeclarationNode classDeclarationNode,
 P p)

Visits an anonymous/inner/nested class declaration within a method.

Parameters:

classDeclarationNode - the ClassDeclarationNode to be visited

p - the argument for the operation implemented by this visitor

Returns:

the return value of the operation implemented by this visitor

visitExpressionStatement

R visitExpressionStatement(ExpressionStatementNode n,
 P p)

Visits an expression that is used as a statement. This node is a marker after the expression node(s).

Parameters:

n - the ExpressionStatementNode to be visited

p - the argument for the operation implemented by this visitor

Returns:

the return value of the operation implemented by this visitor

visitDeconstructorPattern

R visitDeconstructorPattern(DeconstructorPatternNode n,
 P p)

Visits a deconstructor pattern node.

Parameters:

n - the DeconstructorPatternNode to be visited

p - the argument for the operation implemented by this visitor

Returns:

the return value of the operation implemented by this visitor