org.checkerframework.dataflow.cfg.node

Interfaces

• NodeVisitor

Classes

• AbstractNodeVisitor
• ArrayAccessNode
• ArrayCreationNode
• ArrayTypeNode
• AssertionErrorNode
• AssignmentContext
• AssignmentContext.AssignmentLhsContext
• AssignmentContext.LambdaReturnContext
• AssignmentContext.MethodParameterContext
• AssignmentContext.MethodReturnContext
• AssignmentNode
• BinaryOperationNode
• BitwiseAndNode
• BitwiseComplementNode
• BitwiseOrNode
• BitwiseXorNode
• BooleanLiteralNode
• CaseNode
• CharacterLiteralNode
• ClassNameNode
• ConditionalAndNode
• ConditionalNotNode
• ConditionalOrNode
• DoubleLiteralNode
• EqualToNode
• ExplicitThisLiteralNode
• FieldAccessNode
• FloatingDivisionNode
• FloatingRemainderNode
• FloatLiteralNode
• FunctionalInterfaceNode
• GreaterThanNode
• GreaterThanOrEqualNode
• ImplicitThisLiteralNode
• InstanceOfNode
• IntegerDivisionNode
• IntegerLiteralNode
• IntegerRemainderNode
• LeftShiftNode
• LessThanNode
• LessThanOrEqualNode
• LocalVariableNode
• LongLiteralNode
• MarkerNode
• MethodAccessNode
• MethodInvocationNode
• NarrowingConversionNode
• Node
• NotEqualNode
• NullChkNode
• NullLiteralNode
• NumericalAdditionNode
• NumericalMinusNode
• NumericalMultiplicationNode
• NumericalPlusNode
• NumericalSubtractionNode
• ObjectCreationNode
• PackageNameNode
• ParameterizedTypeNode
• PrimitiveTypeNode
• ReturnNode
• ShortLiteralNode
• SignedRightShiftNode
• StringConcatenateAssignmentNode
• StringConcatenateNode
• StringConversionNode
• StringLiteralNode
• SuperNode
• SynchronizedNode
• TernaryExpressionNode
• ThisLiteralNode
• ThrowNode
• TypeCastNode
• UnaryOperationNode
• UnsignedRightShiftNode
• ValueLiteralNode
• VariableDeclarationNode
• WideningConversionNode