Package org.checkerframework.checker.regex.qual

Annotation Type PartialRegex

  • @Documented
@Retention(RUNTIME)
@Target({})
@InvisibleQualifier
@SubtypeOf(UnknownRegex.class)
public @interface PartialRegex
    Indicates a String that is not a syntactically valid regular expression. The String itself can be stored as a parameter to the annotation, allowing the Regex Checker to verify some concatenations of partial regular expression Strings.

    This annotation may not be written in source code; it is an implementation detail of the Regex Checker.

    See the Checker Framework Manual:
    Regex Checker

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.String value
      The String qualified by this annotation.

    • Element Detail

      • value

        java.lang.String value
        The String qualified by this annotation. Used to verify concatenation of partial regular expressions. Defaults to the empty String.
        Default:
        ""