org.checkerframework.common.util.report.qual

Annotation Type ReportWrite

@Documented
 @Retention(value=RUNTIME)
 @Target(value=FIELD)
public @interface ReportWrite

Report all write accesses to a field with this annotation.