Package org.checkerframework.checker.regex.qual

Annotation Interface 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
    String
    value
    The String qualified by this annotation.

  • Element Details

    • value

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