Package org.checkerframework.common.util.count.report.qual

Annotation Interface ReportReadWrite

@Documented
@Retention(RUNTIME)
@Target(FIELD)
public @interface ReportReadWrite

Report all read or write access to a field with this annotation.