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 |