org.checkerframework.checker.oigj
Classes
ImmutabilityAnnotatedTypeFactory
ImmutabilitySubchecker
ImmutabilityVisitor
OIGJChecker
OwnershipAnnotatedTypeFactory
OwnershipSubchecker
OwnershipVisitor