Annotation Type | Description |
---|---|
FBCBottom |
FBCBottom marks the bottom of the Freedom Before Commitment type
hierarchy. |
Initialized |
This type qualifier belongs to the freedom-before-commitment initialization
tracking type-system.
|
NotOnlyInitialized |
A declaration annotation for fields that indicates that the values the given
field can store might not be
Initialized (but
UnderInitialization or UnknownInitialization instead). |
UnderInitialization |
This type qualifier belongs to the freedom-before-commitment type-system for
tracking initialization.
|
UnknownInitialization |
This type qualifier belongs to the freedom-before-commitment type-system for
tracking initialization.
|