Search Java Classes and Packages
#Org.checkerframework.checker.oigj Classes and Interfaces - 19 results found.
| Name | Description | Type | Package | Framework |
| Assignable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| AssignsFields | Class | org.checkerframework.checker.oigj.qual | Checker | |
| Dominator | Class | org.checkerframework.checker.oigj.qual | Checker | |
| I | Template annotation over IGJ Immutability annotations. | Class | org.checkerframework.checker.oigj.qual | Checker |
| ImmutabilityAnnotatedTypeFactory | Adds implicit and default OIGJ annotations, only if the user does not annotate the type explicitly. | Class | org.checkerframework.checker.oigj | Checker |
| ImmutabilitySubchecker | Class | org.checkerframework.checker.oigj | Checker | |
| ImmutabilityVisitor | Class | org.checkerframework.checker.oigj | Checker | |
| Immutable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| Modifier | Class | org.checkerframework.checker.oigj.qual | Checker | |
| Mutable | Class | org.checkerframework.checker.oigj.qual | Checker | |
| O | Class | org.checkerframework.checker.oigj.qual | Checker | |
| OIGJChecker | A type-checker plug-in for the OIGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors. | Class | org.checkerframework.checker.oigj | Checker |
| OIGJMutabilityBottom | Class | org.checkerframework.checker.oigj.qual | Checker | |
| OwnershipAnnotatedTypeFactory | Class | org.checkerframework.checker.oigj | Checker | |
| OwnershipSubchecker | Class | org.checkerframework.checker.oigj | Checker | |
| OwnershipVisitor | Class | org.checkerframework.checker.oigj | Checker | |
| ReadOnly | Indicates that the annotated reference is a ReadOnly reference. | Class | org.checkerframework.checker.oigj.qual | Checker |
| WildCard | Class | org.checkerframework.checker.oigj.qual | Checker | |
| World | Class | org.checkerframework.checker.oigj.qual | Checker | |