| Class | Description |
|---|---|
| InitializationAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends CFAbstractAnalysis<Value,Store,Transfer>> |
The annotated type factory for the freedom-before-commitment type-system.
|
| InitializationChecker |
Tracks whether a value is initialized (all its fields are set), and checks that values are
initialized before being used.
|
| InitializationStore<V extends CFAbstractValue<V>,S extends InitializationStore<V,S>> |
A store that extends
CFAbstractStore and additionally tracks which fields of the 'self'
reference have been initialized. |
| InitializationTransfer<V extends CFAbstractValue<V>,T extends InitializationTransfer<V,T,S>,S extends InitializationStore<V,S>> |
A transfer function that extends
CFAbstractTransfer and tracks InitializationStores. |
| InitializationVisitor<Factory extends InitializationAnnotatedTypeFactory<Value,Store,?,?>,Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>> |
The visitor for the freedom-before-commitment type-system.
|