org.checkerframework.checker.oigj.qual

Annotation Type OIGJMutabilityBottom

@SubtypeOf(value={Mutable.class,Immutable.class,I.class,Modifier.class,O.class})
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @TargetLocations(value={EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND})
 @DefaultFor(value=LOWER_BOUND)
public @interface OIGJMutabilityBottom

An annotation used to represent a place holder immutability type, that is a subtype of all other types. For example, null type is a subtype of all immutability types.