Search Java Classes and Packages
#Org.checkerframework.checker.initialization.qual Classes and Interfaces - 5 results found.
| Name | Description | Type | Package | Framework |
| FBCBottom | Class | org.checkerframework.checker.initialization.qual | 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 |