diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java | 160 |
1 files changed, 0 insertions, 160 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java deleted file mode 100644 index 8a2f513924..0000000000 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java +++ /dev/null @@ -1,160 +0,0 @@ -package org.checkerframework.dataflow.cfg.node; - -/** - * A visitor for a {@link Node} tree. - * - * @author Stefan Heule - * @param <R> return type of the visitor. Use {@link Void} if the visitor does not have a return - * value. - * @param <P> parameter type of the visitor. Use {@link Void} if the visitor does not have a - * parameter. - */ -public interface NodeVisitor<R, P> { - // Literals - R visitShortLiteral(ShortLiteralNode n, P p); - - R visitIntegerLiteral(IntegerLiteralNode n, P p); - - R visitLongLiteral(LongLiteralNode n, P p); - - R visitFloatLiteral(FloatLiteralNode n, P p); - - R visitDoubleLiteral(DoubleLiteralNode n, P p); - - R visitBooleanLiteral(BooleanLiteralNode n, P p); - - R visitCharacterLiteral(CharacterLiteralNode n, P p); - - R visitStringLiteral(StringLiteralNode n, P p); - - R visitNullLiteral(NullLiteralNode n, P p); - - // Unary operations - R visitNumericalMinus(NumericalMinusNode n, P p); - - R visitNumericalPlus(NumericalPlusNode n, P p); - - R visitBitwiseComplement(BitwiseComplementNode n, P p); - - R visitNullChk(NullChkNode n, P p); - - // Binary operations - R visitStringConcatenate(StringConcatenateNode n, P p); - - R visitNumericalAddition(NumericalAdditionNode n, P p); - - R visitNumericalSubtraction(NumericalSubtractionNode n, P p); - - R visitNumericalMultiplication(NumericalMultiplicationNode n, P p); - - R visitIntegerDivision(IntegerDivisionNode n, P p); - - R visitFloatingDivision(FloatingDivisionNode n, P p); - - R visitIntegerRemainder(IntegerRemainderNode n, P p); - - R visitFloatingRemainder(FloatingRemainderNode n, P p); - - R visitLeftShift(LeftShiftNode n, P p); - - R visitSignedRightShift(SignedRightShiftNode n, P p); - - R visitUnsignedRightShift(UnsignedRightShiftNode n, P p); - - R visitBitwiseAnd(BitwiseAndNode n, P p); - - R visitBitwiseOr(BitwiseOrNode n, P p); - - R visitBitwiseXor(BitwiseXorNode n, P p); - - // Compound assignments - R visitStringConcatenateAssignment(StringConcatenateAssignmentNode n, P p); - - // Comparison operations - R visitLessThan(LessThanNode n, P p); - - R visitLessThanOrEqual(LessThanOrEqualNode n, P p); - - R visitGreaterThan(GreaterThanNode n, P p); - - R visitGreaterThanOrEqual(GreaterThanOrEqualNode n, P p); - - R visitEqualTo(EqualToNode n, P p); - - R visitNotEqual(NotEqualNode n, P p); - - // Conditional operations - R visitConditionalAnd(ConditionalAndNode n, P p); - - R visitConditionalOr(ConditionalOrNode n, P p); - - R visitConditionalNot(ConditionalNotNode n, P p); - - R visitTernaryExpression(TernaryExpressionNode n, P p); - - R visitAssignment(AssignmentNode n, P p); - - R visitLocalVariable(LocalVariableNode n, P p); - - R visitVariableDeclaration(VariableDeclarationNode n, P p); - - R visitFieldAccess(FieldAccessNode n, P p); - - R visitMethodAccess(MethodAccessNode n, P p); - - R visitArrayAccess(ArrayAccessNode n, P p); - - R visitImplicitThisLiteral(ImplicitThisLiteralNode n, P p); - - R visitExplicitThisLiteral(ExplicitThisLiteralNode n, P p); - - R visitSuper(SuperNode n, P p); - - R visitReturn(ReturnNode n, P p); - - R visitStringConversion(StringConversionNode n, P p); - - R visitNarrowingConversion(NarrowingConversionNode n, P p); - - R visitWideningConversion(WideningConversionNode n, P p); - - R visitInstanceOf(InstanceOfNode n, P p); - - R visitTypeCast(TypeCastNode n, P p); - - // Blocks - - R visitSynchronized(SynchronizedNode n, P p); - - // Statements - R visitAssertionError(AssertionErrorNode n, P p); - - R visitThrow(ThrowNode n, P p); - - // Cases - R visitCase(CaseNode n, P p); - - // Method and constructor invocations - R visitMethodInvocation(MethodInvocationNode n, P p); - - R visitObjectCreation(ObjectCreationNode n, P p); - - R visitMemberReference(FunctionalInterfaceNode n, P p); - - R visitArrayCreation(ArrayCreationNode n, P p); - - // Type, package and class names - R visitArrayType(ArrayTypeNode n, P p); - - R visitPrimitiveType(PrimitiveTypeNode n, P p); - - R visitClassName(ClassNameNode n, P p); - - R visitPackageName(PackageNameNode n, P p); - - // Parameterized types - R visitParameterizedType(ParameterizedTypeNode n, P p); - - // Marker nodes - R visitMarker(MarkerNode n, P p); -} |