Class RegexChecker

All Implemented Interfaces:
Processor, OptionConfiguration

@StubFiles("apache-xerces.astub") @RelevantJavaTypes({CharSequence.class,char.class,Character.class,Pattern.class,Matcher.class,MatchResult.class}) public class RegexChecker extends BaseTypeChecker
A type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.
See the Checker Framework Manual:
Regex Checker
  • Constructor Details

    • RegexChecker

      public RegexChecker()