Package org.checkerframework.common.value.qual

Annotation Type DoesNotMatchRegex

  • @Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(UnknownVal.class)
public @interface DoesNotMatchRegex
    An annotation indicating the possible values for a String type. The annotation's arguments are Java regular expressions. If an expression's type has this annotation, then at run time, the expression evaluates to a string that matches none of the regular expressions. Matching is via the java.lang.String#matches method, which matches against the entire string (it does not look for a match against a substring).
    See the Checker Framework Manual:
    Constant Value Checker

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      java.lang.String[] value
      A set of Java regular expressions.

    • Element Detail

      • value

        java.lang.String[] value
        A set of Java regular expressions.
        Returns:
        the regular expressions