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


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