| Class | Description |
|---|---|
| ImmutabilityAnnotatedTypeFactory |
Adds implicit and default OIGJ annotations, only if the user does not
annotate the type explicitly.
|
| ImmutabilitySubchecker | |
| ImmutabilityVisitor | |
| OIGJChecker |
A type-checker plug-in for the OIGJ immutability type system that finds (and
verifies the absence of) undesired side-effect errors.
|
| OwnershipAnnotatedTypeFactory | |
| OwnershipSubchecker | |
| OwnershipVisitor |