Package org.checkerframework.checker.experimental.regex_qual

Class Summary

Class	Description
Regex	Qualifier for the Regex-Qual type system.
Regex.PartialRegex
Regex.RegexVal
RegexAnnotationConverter	Convert Regex annotations into a Regex qualifier.
RegexCheckerAdapter	CheckerAdapter for the Regex-Qual type system.
RegexQualChecker	Checker for the Regex-Qual type system.
RegexQualifiedTransfer	A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.
RegexQualifiedTypeFactory	The QualifiedTypeFactory for the Regex-Qual type system.
RegexQualifierHierarchy	QualifierHierarchy for the Regex-Qual type system.
RegexTypecheckVisitor	The BaseTypeVisitor for the Regex-Qual type system.