Name | Description | Type | Package | Framework |
Assignable | Class | org.checkerframework.checker.igj.qual | Checker | |
AssignsFields | Class | org.checkerframework.checker.igj.qual | Checker | |
I | Template annotation over IGJ Immutability annotations. | Class | org.checkerframework.checker.igj.qual | Checker |
IGJBottom | Class | org.checkerframework.checker.igj.qual | Checker | |
Immutable | Class | org.checkerframework.checker.igj.qual | Checker | |
Mutable | Class | org.checkerframework.checker.igj.qual | Checker | |
ReadOnly | Indicates that the annotated reference is a ReadOnly reference. | Class | org.checkerframework.checker.igj.qual | Checker |