Search Java Classes and Packages
#Org.checkerframework.dataflow.analysis Classes and Interfaces - 23 results found.
| Name | Description | Type | Package | Framework |
| AbstractValue | An abstract value used in the org. | Interface | org.checkerframework.dataflow.analysis | Checker |
| Analysis | An implementation of an iterative algorithm to solve a org. | Class | org.checkerframework.dataflow.analysis | Checker |
| Analysis .Worklist | A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors. | Class | org.checkerframework.dataflow.analysis | Checker |
| AnalysisResult | An AnalysisResult represents the result of a org. | Class | org.checkerframework.dataflow.analysis | Checker |
| ConditionalTransferResult | one for the 'then' edge and one for 'else'. | Class | org.checkerframework.dataflow.analysis | Checker |
| FlowExpressions | Collection of classes and helper functions to represent Java expressions about which the org. | Class | org.checkerframework.dataflow.analysis | Checker |
| FlowExpressions .ArrayAccess | A deterministic method call. | Class | org.checkerframework.dataflow.analysis | Checker |
| FlowExpressions .ArrayCreation | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .ClassName | A ClassName represents the occurrence of a class as part of a static field access or method invocation. | Class | org.checkerframework.dataflow.analysis | Checker |
| FlowExpressions .FieldAccess | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .LocalVariable | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .PureMethodCall | A method call, typically a deterministic one. | Class | org.checkerframework.dataflow.analysis | Checker |
| FlowExpressions .Receiver | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .ThisReference | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .Unknown | Class | org.checkerframework.dataflow.analysis | Checker | |
| FlowExpressions .ValueLiteral | Class | org.checkerframework.dataflow.analysis | Checker | |
| RegularTransferResult | store. | Class | org.checkerframework.dataflow.analysis | Checker |
| Store | A store is used to keep track of the information that the org. | Interface | org.checkerframework.dataflow.analysis | Checker |
| Store .FlowRule | Returns the enum constant of this type with the specified name. | Class | org.checkerframework.dataflow.analysis | Checker |
| Store .Kind | Returns the enum constant of this type with the specified name. | Class | org.checkerframework.dataflow.analysis | Checker |
| TransferFunction | Interface of a transfer function for the abstract interpretation used for the A transfer function consists of the following components: | Interface | org.checkerframework.dataflow.analysis | Checker |
| TransferInput | TransferInput is used as the input type of the individual transfer functions of a TransferFunction. | Class | org.checkerframework.dataflow.analysis | Checker |
| TransferResult | TransferResult is used as the result type of the individual transfer functions of a TransferFunction. | Class | org.checkerframework.dataflow.analysis | Checker |