Package checkers.oigj

Class Summary
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