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, CalledMethodsTransfer, CFAbstractTransfer, CFTransfer, ConstantPropagationTransfer, FormatterTransfer, I18nFormatterTransfer, IndexAbstractTransfer, InitializationTransfer, InitializedFieldsTransfer, KeyForTransfer, LessThanTransfer, LiveVarTransfer, LockTransfer, LowerBoundTransfer, NullnessTransfer, RegexTransfer, SameLenTransfer, SearchIndexTransfer, SignatureTransfer, UpperBoundTransfer, ValueTransfer

public interface NodeVisitor<R,P>

A visitor for a Node tree.

Method Summary

Modifier and Type	Method and 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)
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	visitDoubleLiteral(DoubleLiteralNode n, P p)
R	visitEqualTo(EqualToNode n, P p)
R	visitExplicitThisLiteral(ExplicitThisLiteralNode n, P p)
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	visitImplicitThisLiteral(ImplicitThisLiteralNode 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	visitStringConcatenateAssignment(StringConcatenateAssignmentNode n, P p)
R	visitStringConversion(StringConversionNode n, P p)
R	visitStringLiteral(StringLiteralNode n, P p)
R	visitSuper(SuperNode 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 Detail

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)

visitStringConcatenateAssignment

R visitStringConcatenateAssignment(StringConcatenateAssignmentNode 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)

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)

visitImplicitThisLiteral

R visitImplicitThisLiteral(ImplicitThisLiteralNode n,
                           P p)

visitExplicitThisLiteral

R visitExplicitThisLiteral(ExplicitThisLiteralNode 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)