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 | |
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 |
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 |