checkers.javari.quals
Annotation Type ThisMutable


@TypeQualifier
@Target(value={})
@SubtypeOf(value=ReadOnly.class)
public @interface ThisMutable

An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type on the Javari typesystem. However, it is an implementation detail; hence, the package-scope.