Package org.checkerframework.framework.qual

Annotation Type RequiresQualifier

  • @Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@Repeatable(List.class)
public @interface RequiresQualifier
    A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the method. The expressions for which the annotation must hold after the method's execution are indicated by expression and are specified using a string. The qualifier is specified by qualifier.

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      String[] expression
      Returns the Java expressions for which the annotation need to be present.
      Class<? extends Annotation> qualifier
      Returns the qualifier that is required.

    • Element Detail

      • expression

        String[] expression
        Returns the Java expressions for which the annotation need to be present.
        Returns:
        the Java expressions for which the annotation need to be present

      • qualifier

        Class<? extends Annotation> qualifier
        Returns the qualifier that is required.
        Returns:
        the qualifier that is required