Search Java Classes and Packages
#Org.checkerframework.checker.initialization Classes and Interfaces - 10 results found.
| Name | Description | Type | Package | Framework |
| FBCBottom | Class | org.checkerframework.checker.initialization.qual | Checker | |
| InitializationAnnotatedTypeFactory | The annotated type factory for the freedom-before-commitment type-system. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationChecker | Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationStore | A store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationTransfer | A transfer function that extends CFAbstractTransfer and tracks InitializationStores. | Class | org.checkerframework.checker.initialization | Checker |
| InitializationVisitor | The visitor for the freedom-before-commitment type-system. | Class | org.checkerframework.checker.initialization | Checker |
| Initialized | This type qualifier belongs to the freedom-before-commitment initialization tracking type-system. | Class | org.checkerframework.checker.initialization.qual | Checker |
| NotOnlyInitialized | A declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized, | Class | org.checkerframework.checker.initialization.qual | Checker |
| UnderInitialization | This type qualifier belongs to the freedom-before-commitment type-system for tracking initialization. | Class | org.checkerframework.checker.initialization.qual | Checker |
| UnknownInitialization | This type qualifier belongs to the freedom-before-commitment type-system for tracking initialization. | Class | org.checkerframework.checker.initialization.qual | Checker |