Package checkers.regex

Class Summary
Class Description
RegexAnnotatedTypeFactory Adds ValidRegex 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 ValidRegex qualifier that finds syntactically invalid regular expressions.