Name | Description | Type | Package | Framework |
Regex | Qualifier for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
Regex .PartialRegex | Class | org.checkerframework.checker.experimental.regex_qual | Checker | |
Regex .RegexVal | Class | org.checkerframework.checker.experimental.regex_qual | Checker | |
RegexAnnotationConverter | annotations into a Regex qualifier. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexCheckerAdapter | CheckerAdapter for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexQualChecker | Checker for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexQualifiedTransfer | A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexQualifiedTypeFactory | The QualifiedTypeFactory for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexQualifierHierarchy | QualifierHierarchy for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |
RegexTypecheckVisitor | The BaseTypeVisitor for the Regex-Qual type system. | Class | org.checkerframework.checker.experimental.regex_qual | Checker |