Search Java Classes and Packages
#Org.checkerframework.dataflow.cfg Classes and Interfaces - 115 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 |
| Block | Represents a basic block in a control flow graph. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| Block .BlockType | The types of basic blocksA conditional basic block. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| BlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | 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 |
| CFGBuilder | Builds the control flow graph of some Java code (either a method, or an arbitrary statement). | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .CFGTranslationPhaseThree | particular, the following degenerate cases of basic blocks are removed: Empty regular basic blocks: These blocks will be removed and their | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .CFGTranslationPhaseThree .PredecessorHolder | A simple wrapper object that holds a basic block and allows to set one of its successors. | Interface | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .ConditionalJump | An extended node of type CFGBuilder. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .ExtendedNode | An extended node can be one of several things (depending on its NODE. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .ExtendedNode .ExtendedNodeType | Returns the enum constant of this type with the spec | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .Label | A label is used to refer to other extended nodes using a mapping from labels to extended nodes. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .NodeHolder | An extended node of type NODE. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .NodeWithExceptionsHolder | An extended node of type EXCEPTION_NODE. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .PhaseOneResult | A wrapper object to pass around the result of phase one. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .TryCatchFrame | A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with specific types. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .TryFrame | A TryFrame takes a thrown exception type and maps it to a set of possible control-flow successors. | Interface | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .TryStack | An exception stack represents the set of all try-catch blocks in effect at a given point in a program. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .Tuple | Tuple class with up to three members. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGBuilder .UnconditionalJump | An extended node of type CFGBuilder. | Class | org.checkerframework.dataflow.cfg | Checker |
| CFGDOTVisualizer | Generate a graph description in the DOT language of a control graph. | Class | org.checkerframework.dataflow.cfg | 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 |
| ConditionalBlock | Interface | org.checkerframework.dataflow.cfg.block | Checker | |
| ConditionalBlockImpl | Class | org.checkerframework.dataflow.cfg.block | 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 |
| ConstantPropagationPlayground | Class | org.checkerframework.dataflow.cfg.playground | Checker | |
| ControlFlowGraph | A control flow graph (CFG for short) of a single method. | Class | org.checkerframework.dataflow.cfg | 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 |
| ExceptionBlock | Represents a basic block that contains exactly one Node which can throw an exception. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| ExceptionBlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | 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 |
| JavaSource2CFGDOT | Class | org.checkerframework.dataflow.cfg | 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 |
| RegularBlock | A regular basic block that contains a sequence of Nodes. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| RegularBlockImpl | Class | org.checkerframework.dataflow.cfg.block | 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 |
| SingleSuccessorBlock | A basic block that has at exactly one non-exceptional successor. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SingleSuccessorBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| SpecialBlock | Represents a special basic block; i. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SpecialBlock .SpecialBlockType | The types of special basic blocksThe entry block of a method | Class | org.checkerframework.dataflow.cfg.block | Checker |
| SpecialBlockImpl | Class | org.checkerframework.dataflow.cfg.block | 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 |
| UnderlyingAST | Represents an abstract syntax tree of type Tree that underlies a given control flow graph. | Class | org.checkerframework.dataflow.cfg | Checker |
| UnderlyingAST .CFGLambda | If the underlying AST is a lambda. | Class | org.checkerframework.dataflow.cfg | Checker |
| UnderlyingAST .CFGMethod | If the underlying AST is a method. | Class | org.checkerframework.dataflow.cfg | Checker |
| UnderlyingAST .CFGStatement | If the underlying AST is a statement or expression. | Class | org.checkerframework.dataflow.cfg | Checker |
| UnderlyingAST .Kind | The underlying code is an arbitrary Java statement or expressionThe underlying code is a lambda expression | Class | org.checkerframework.dataflow.cfg | 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 |