Package org.checkerframework.checker.regex

Class Summary

Class	Description
RegexAnnotatedTypeFactory	Adds Regex to the type of tree, in the following cases: a String or char literal that is a valid regular expression concatenation of two valid regular expression values (either String or char) or two partial regular expression values that make a valid regular expression when concatenated.
RegexChecker	A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.
RegexTransfer	The transfer function for the Regex Checker.
RegexVisitor	A type-checking visitor for the Regex type system.