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 |
RegexAnalysis | Class | org.checkerframework.checker.regex.classic | Checker | |
RegexBottom | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
RegexClassicAnnotatedTypeFactory | Adds Regex to the type of tree, in the following cases: a String or char literal that is a valid | Class | org.checkerframework.checker.regex.classic | Checker |
RegexClassicChecker | A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions. | Class | org.checkerframework.checker.regex.classic | Checker |
RegexClassicVisitor | A type-checking visitor for the Regex type system. | Class | org.checkerframework.checker.regex.classic | Checker |
RegexTransfer | Class | org.checkerframework.checker.regex.classic | Checker | |
UnknownRegex | Class | org.checkerframework.checker.regex.classic.qual | Checker | |