Name | Description | Type | Package | Framework |
PartialRegex | Indicates a String that is not a syntactically valid regular expression. | Class | org.checkerframework.checker.regex.classic.qual | Checker |
PolyRegex | A polymorphic qualifier for the Regex type system. | Class | org.checkerframework.checker.regex.classic.qual | Checker |
RegexBottom | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
UnknownRegex | Class | org.checkerframework.checker.regex.classic.qual | Checker | |