Package checkers.regex

Class Summary
Class Description
RegexAnnotatedTypeFactory Adds Regex to the type of tree, in two cases:
  • a String literal that is a valid regular expression
  • a String concatenation tree of two valid regular expression values.
  • RegexChecker A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.