Top Description Methods
org.checkerframework.checker.regex.qual

public @Interface PartialRegex

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target
@InvisibleQualifier
@SubtypeOf:UnknownRegex
Imports
java.lang.annotation.Documented, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.InvisibleQualifier, .SubtypeOf
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.

Method Summary

Modifier and TypeMethod and Description
public String
value()

The String qualified by this annotation.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String value()

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