checkers.igj.quals
Annotation Type ReadOnly

@Documented
@Retention(value=RUNTIME)
@Target(value={FIELD,LOCAL_VARIABLE,METHOD,PARAMETER,TYPE})
@TypeQualifier
@QualifierRoot
public @interface ReadOnly

Indicates that the annotated reference is a ReadOnly reference. A ReadOnly reference could refer to a Mutable or an Immutable object. An object may not be mutated through a read only reference, except if the field is marked Assignable. Only readonly method can be called using a read only reference.