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

package org.checkerframework.common.util.count.report.qual
  • Annotation Interfaces
    Class
    Description
    ReportCall
    Report all calls of a method that has this annotation, including calls of methods that override this method.
    ReportCreation
    Report all instantiations of a class/interface that has this annotation, including any subclass.
    ReportInherit
    Report all types that extend/implement a type that has this annotation.
    ReportOverride
    Report all methods that override a method with this annotation.
    ReportReadWrite
    Report all read or write access to a field with this annotation.
    ReportUnqualified
    An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker.
    ReportUse
    Report all uses of a type that has this annotation.
    ReportWrite
    Report all write accesses to a field with this annotation.