|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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 |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||