| Name | Description | Type | Package | Framework |
| ClassRegexParam | ClassRegexParam declares a regex qualifier parameter on a class. | Class | org.checkerframework.checker.regex.qual | Checker |
| MethodRegexParam | MethodRegexParam declares a qualifier parameter on a method. | Class | org.checkerframework.checker.regex.qual | Checker |
| MultiClassRegexParam | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiMethodRegexParam | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiPolyRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiVar | Class | org.checkerframework.checker.regex.qual | Checker | |
| MultiWild | Class | org.checkerframework.checker.regex.qual | Checker | |
| 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 |
| PolyRegex | Class | org.checkerframework.checker.regex.qual | Checker | |
| Regex | If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups. | Class | org.checkerframework.checker.regex.qual | Checker |
| RegexAnalysis | Class | org.checkerframework.checker.regex.classic | Checker | |
| RegexAnnotationConverter | annotations into a Regex qualifier with support for PolyRegex, Var, Wild annotations. | Class | org.checkerframework.checker.regex | Checker |
| RegexBottom | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
| RegexChecker | CheckerAdapter for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | 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 |
| RegexQualifiedTransfer | A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.checker.regex | Checker |
| RegexQualifiedTypeFactory | The QualifiedTypeFactory for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexQualPolyChecker | Checker for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexTransfer | Class | org.checkerframework.checker.regex.classic | Checker | |
| RegexTypecheckVisitor | The BaseTypeVisitor for the Regex-Qual-Param type system. | Class | org.checkerframework.checker.regex | Checker |
| RegexUtil | Utility methods for regular expressions, most notably for testing whether a string is a regular expression. | Class | org.checkerframework.checker.regex | Checker |
| RegexUtil .CheckedPatternSyntaxException | A checked version of PatternSyntaxException. | Class | org.checkerframework.checker.regex | Checker |
| UnknownRegex | Class | org.checkerframework.checker.regex.classic.qual | Checker | |
| Var | Var is a qualifier parameter use. | Class | org.checkerframework.checker.regex.qual | Checker |
| Wild | Wild is equivalent to the wildcard operator. | Class | org.checkerframework.checker.regex.qual | Checker |