Package org.checkerframework.checker.regex
package org.checkerframework.checker.regex
-
ClassDescriptionAdds
Regex
to the type of tree, in the following cases: aString
orchar
literal that is a valid regular expression concatenation of two valid regular expression values (eitherString
orchar
) or two partial regular expression values that make a valid regular expression when concatenated.A type-checker plug-in for theRegex
qualifier that finds syntactically invalid regular expressions.The transfer function for the Regex Checker.A type-checking visitor for the Regex type system.