org.checkerframework.checker.regex.qual

Annotation Type PartialRegex

@Documented
 @Retention(value=RUNTIME)
 @Target(value={})
 @InvisibleQualifier
 @SubtypeOf(value=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 and Description
String	value The String qualified by this annotation.

Element Detail

value

public abstract String value

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

Default:

""