Package org.checkerframework.dataflow.cfg.node

package org.checkerframework.dataflow.cfg.node

Related Packages

Package	Description
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.playground
org.checkerframework.dataflow.cfg.visualize

Class	Description
AbstractNodeVisitor<R,P>	A default implementation of the node visitor interface.
ArrayAccessNode	A node for an array access:
ArrayCreationNode	A node for new array creation.
ArrayTypeNode	A node representing an array type used in an expression such as a field access.
AssertionErrorNode	A node for the AssertionError when an assertion fails or when a method call marked AssertMethod fails.
AssignmentNode	A node for an assignment:
BinaryOperationNode	A node for a binary expression.
BitwiseAndNode	A node for the bitwise or logical (single bit) and operation:
BitwiseComplementNode	A node for the bitwise complement operation:
BitwiseOrNode	A node for the bitwise or logical (single bit) or operation:
BitwiseXorNode	A node for the bitwise or logical (single bit) xor operation:
BooleanLiteralNode	A node for a boolean literal:
CaseNode	A node for a case in a switch statement.
CatchMarkerNode	A CatchMarkerNode is a marker node for the beginning or end of a catch block.
CharacterLiteralNode	A node for a character literal.
ClassDeclarationNode	A node representing a class declaration that occurs within a method, for example, an anonymous class declaration.
ClassNameNode	A node representing a class name used in an expression such as a static method invocation.
ConditionalAndNode	A node for a conditional and expression:
ConditionalNotNode	A node for a conditional not expression:
ConditionalOrNode	A node for a conditional or expression:
DeconstructorPatternNode	A node for a deconstrutor pattern.
DoubleLiteralNode	A node for a double literal.
EqualToNode	A node for an equality check:
ExplicitThisNode	A node for a reference to 'this'.
ExpressionStatementNode	A node for an expression that is used as a statement.
FieldAccessNode	A node for a field access, including a method accesses:
FloatingDivisionNode	A node for the floating-point division:
FloatingRemainderNode	A node for the floating-point remainder:
FloatLiteralNode	A node for a float literal.
FunctionalInterfaceNode	A node for member references and lambdas.
GreaterThanNode	A node for the greater than comparison:
GreaterThanOrEqualNode	A node for the greater than or equal comparison:
ImplicitThisNode	A node to model the implicit this, e.g., in a field access.
InstanceOfNode	A node for the instanceof operator:
IntegerDivisionNode	A node for the integer division:
IntegerLiteralNode	A node for an integer literal.
IntegerRemainderNode	A node for the integer remainder:
LambdaResultExpressionNode	A node for the single expression body of a single-expression lambda.
LeftShiftNode	A node for bitwise left shift operations:
LessThanNode	A node for the less than comparison:
LessThanOrEqualNode	A node for the less than or equal comparison:
LocalVariableNode	A node for a local variable or a parameter:
LongLiteralNode	A node for a long literal.
MarkerNode	MarkerNodes are no-op Nodes used for debugging information.
MethodAccessNode	A node for a method access, including a receiver:
MethodInvocationNode	A node for method invocation.
NarrowingConversionNode	A node for the narrowing primitive conversion operation.
Node	A node in the abstract representation used for Java code inside a basic block.
NodeVisitor<R,P>	A visitor for a Node tree.
NotEqualNode	A node for the not equal comparison:
NullChkNode	A node for the unary 'nullchk' operation (generated by the Java compiler):
NullLiteralNode	A node for the null literal.
NumericalAdditionNode	A node for the numerical addition:
NumericalMinusNode	A node for the unary minus operation:
NumericalMultiplicationNode	A node for the numerical multiplication:
NumericalPlusNode	A node for the unary plus operation:
NumericalSubtractionNode	A node for the numerical subtraction:
ObjectCreationNode	A node for a new object creation.
PackageNameNode	A node representing a package name used in an expression such as a constructor invocation.
ParameterizedTypeNode	A node for a parameterized type occurring in an expression:
PrimitiveTypeNode	A node representing a primitive type used in an expression such as a field access.
ReturnNode	A node for a return statement:
ShortLiteralNode	A node for a short literal.
SignedRightShiftNode	A node for bitwise right shift operations with sign extension:
StringConcatenateNode	A node for string concatenation:
StringConversionNode	A node for the string conversion operation.
StringLiteralNode	A node for an string literal.
SuperNode	A node for a reference to 'super'.
SwitchExpressionNode	A node for a switch expression.
SynchronizedNode	This represents the start and end of a synchronized code block.
TernaryExpressionNode	A node for a conditional expression:
ThisNode	A node for a reference to 'this', either implicit or explicit.
ThrowNode	A node for exception throws:
TypeCastNode	A node for the cast operator:
UnaryOperationNode	A node for a postfix or an unary expression.
UnsignedRightShiftNode	A node for bitwise right shift operations with zero extension:
ValueLiteralNode	A node for a literals that have some form of value: integer literal long literal char literal string literal float literal double literal boolean literal null literal
VariableDeclarationNode	A node for a variable declaration, including local variables and fields:
WideningConversionNode	A node for the widening primitive conversion operation.