org.checkerframework.checker.igj.qual

Annotation Type IGJBottom

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

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