checkers.javari.quals

Annotation Type ThisMutable

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.