Top Annotations
[default module]

Package org.checkerframework.checker.regex.qual

Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
PartialRegex

Indicates a String that is not a syntactically valid regular expression.

public @interface
PolyRegex

A polymorphic qualifier for the Regex type system.

public @interface
Regex

If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.

public @interface
RegexBottom

The bottom type in the Regex type system.

public @interface
UnknownRegex

Represents the top of the Regex qualifier hierarchy.