@Documented @Retention(value=RUNTIME) @Target(value={TYPE_USE,TYPE_PARAMETER}) @TypeQualifier @SubtypeOf(value={}) public @interface ReadOnly
Mutable
This annotation is part of the Javari language.
JavariChecker