Package org.checkerframework.checker.initialization
package org.checkerframework.checker.initialization
-
ClassesClassDescriptionInitializationAnnotatedTypeFactory<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.Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used.A store that extendsCFAbstractStoreand 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 extendsCFAbstractTransferand tracksInitializationStores.InitializationVisitor<Factory extends InitializationAnnotatedTypeFactory<Value,Store, ?, ?>, Value extends CFAbstractValue<Value>, Store extends InitializationStore<Value, Store>> The visitor for the freedom-before-commitment type-system.