Top Annotations
[default module]

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


Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
ReportCall

Report all calls of a method that has this annotation, including calls of methods that override this method.

public @interface
ReportCreation

Report all instantiations of a class/interface that has this annotation, including any subclass.

public @interface
ReportInherit

Report all types that extend/implement a type that has this annotation.

public @interface
ReportOverride

Report all methods that override a method with this annotation.

public @interface
ReportReadWrite

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

public @interface
ReportUnqualified

An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker.

public @interface
ReportUse

Report all uses of a type that has this annotation.

public @interface
ReportWrite

Report all write accesses to a field with this annotation.