Search Java Classes and Packages
#Org.checkerframework.dataflow.cfg.node Classes and Interfaces - 77 results found.
| Name | Description | Type | Package | Framework |
| AbstractNodeVisitor | A default implementation of the node visitor interface. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ArrayAccessNode | A node for an array access: array ref [ index ] | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ArrayCreationNode | A node for new array creation new type [] = { expr1, expr2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ArrayTypeNode | A node representing a array type used in an expression such as a field access | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssertionErrorNode | A node for the AssertionError when an assertion fails. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentContext | An assignment context for a node, which represents the place to which the node with this context is 'assigned' to. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentContext .AssignmentLhsContext | An assignment context for an assignment 'lhs = rhs'. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentContext .LambdaReturnContext | An assignment context for lambda return statements. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentContext .MethodParameterContext | An assignment context for a method parameter. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentContext .MethodReturnContext | An assignment context for method return statements. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| AssignmentNode | A node for an assignment: variable = expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseAndNode | A node for the bitwise or logical (single bit) and operation: expression & expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseComplementNode | A node for the bitwise complement operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseOrNode | A node for the bitwise or logical (single bit) or operation: expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BitwiseXorNode | A node for the bitwise or logical (single bit) xor operation: expression ^ expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| BooleanLiteralNode | Class | org.checkerframework.dataflow.cfg.node | Checker | |
| CaseNode | A node for a case in a switch statement. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| CharacterLiteralNode | A node for a character literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ClassNameNode | A node representing a class name used in an expression such as a static method invocation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalAndNode | A node for a conditional and expression: expression && expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalNotNode | A node for a conditional not expression:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ConditionalOrNode | A node for a conditional or expression: expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| DoubleLiteralNode | A node for a double literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| EqualToNode | A node for an equality check: expression == expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ExplicitThisLiteralNode | A node for a reference to 'this'. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FieldAccessNode | A node for a field access, including a method accesses: expression . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatingDivisionNode | A node for the floating-point division: expression / expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatingRemainderNode | A node for the floating-point remainder: expression % expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FloatLiteralNode | A node for a float literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| FunctionalInterfaceNode | A node for member references and lambdas. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| GreaterThanNode | A node for the greater than comparison: expression > expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| GreaterThanOrEqualNode | A node for the greater than or equal comparison: expression >= expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ImplicitThisLiteralNode | A node to model the implicit this, e. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| InstanceOfNode | A node for the instanceof operator:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerDivisionNode | A node for the integer division: expression / expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerLiteralNode | A node for an integer literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| IntegerRemainderNode | A node for the integer remainder: expression % expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LeftShiftNode | A node for bitwise left shift operations: expression << expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LessThanNode | A node for the less than comparison: expression < expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LessThanOrEqualNode | A node for the less than or equal comparison: expression <= expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LocalVariableNode | A node for a local variable or a parameter: We allow local variable uses introduced by the CFGBuilder without | Class | org.checkerframework.dataflow.cfg.node | Checker |
| LongLiteralNode | A node for a long literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| MarkerNode | MarkerNodes are no-op Nodes used for debugging information. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| MethodAccessNode | A node for a method access, including a method accesses: expression . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| MethodInvocationNode | A node for method invocation target(arg1, arg2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NarrowingConversionNode | A node for the narrowing primitive conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| Node | A node in the abstract representation used for Java code inside a basic The following invariants hold: | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NodeVisitor | A visitor for a Node tree. | Interface | org.checkerframework.dataflow.cfg.node | Checker |
| NotEqualNode | A node for the not equal comparison: expression != expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NullChkNode | A node for the unary 'nullchk' operation (generated by the Java compiler): <*nullchk*>expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NullLiteralNode | A node for the null literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalAdditionNode | A node for the numerical addition: expression + expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalMinusNode | A node for the unary minus operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalMultiplicationNode | A node for the numerical multiplication: expression * expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalPlusNode | A node for the unary plus operation:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| NumericalSubtractionNode | A node for the numerical subtraction: expression - expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ObjectCreationNode | A node for new object creation new constructor(arg1, arg2, . | Class | org.checkerframework.dataflow.cfg.node | Checker |
| PackageNameNode | A node representing a package name used in an expression such as a constructor invocation | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ParameterizedTypeNode | A node for a parameterized type occurring in an expression: Parameterized types don't represent any computation to be done | Class | org.checkerframework.dataflow.cfg.node | Checker |
| PrimitiveTypeNode | A node representing a primitive type used in an expression such as a field access | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ReturnNode | A node for a return statement: return expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ShortLiteralNode | A node for a short literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| SignedRightShiftNode | A node for bitwise right shift operations with sign extension: expression >> expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringConcatenateAssignmentNode | A node for the string concatenation compound assignment: variable += expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringConcatenateNode | A node for string concatenation: expression + expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringConversionNode | A node for the string conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| StringLiteralNode | A node for an string literal. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| SuperNode | A node for a reference to 'super'. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| SynchronizedNode | Class | org.checkerframework.dataflow.cfg.node | Checker | |
| TernaryExpressionNode | A node for a conditional expression: expression ? expression : expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ThisLiteralNode | A node for a reference to 'this', either implicit or explicit. | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ThrowNode | A node for exception throws:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| TypeCastNode | A node for the cast operator:Author:Stefan Heule, Charlie Garrett | Class | org.checkerframework.dataflow.cfg.node | Checker |
| UnsignedRightShiftNode | A node for bitwise right shift operations with zero extension: expression >>> expression | Class | org.checkerframework.dataflow.cfg.node | Checker |
| ValueLiteralNode | A node for a literals that have some form of value: integer literallong literalchar literalstring literalfloat literaldouble literalboolean literalnull literal | Class | org.checkerframework.dataflow.cfg.node | Checker |
| VariableDeclarationNode | A node for a local variable declaration: modifier type identifier; | Class | org.checkerframework.dataflow.cfg.node | Checker |
| WideningConversionNode | A node for the widening primitive conversion operation. | Class | org.checkerframework.dataflow.cfg.node | Checker |