Search Java Classes and Packages
#Org.checkerframework.framework.flow Classes and Interfaces - 11 results found.
| Name | Description | Type | Package | Framework |
| CFAbstractAnalysis | CFAbstractAnalysis is an extensible org. | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractStore | A store for the checker framework analysis tracks the annotations of memory locations such as local variables and fields. | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractTransfer | The default analysis transfer function for the Checker Framework propagates information through assignments and uses the AnnotatedTypeFactory to | Class | org.checkerframework.framework.flow | Checker |
| CFAbstractValue | An implementation of an abstract value used by the Checker Framework org. | Class | org.checkerframework.framework.flow | Checker |
| CFAnalysis | The default org. | Class | org.checkerframework.framework.flow | Checker |
| CFCFGBuilder | A control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation as | Class | org.checkerframework.framework.flow | Checker |
| CFStore | The default store used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| CFTransfer | The default transfer function used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| CFTreeBuilder | The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker. | Class | org.checkerframework.framework.flow | Checker |
| CFValue | The default abstract value used in the Checker Framework. | Class | org.checkerframework.framework.flow | Checker |
| LubTypeVariableAnnotator | At the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchanged | Class | org.checkerframework.framework.flow.util | Checker |