Class SubstringIndexChecker

All Implemented Interfaces:
Processor, OptionConfiguration

@SuppressWarningsPrefix({"index","substringindex"}) @RelevantJavaTypes({java.lang.CharSequence.class,java.lang.Object[][].class,int.class}) public class SubstringIndexChecker extends BaseTypeChecker
The Substring Index Checker is an internal checker that assists the Index Checker in typing the results of calls to the JDK's String.indexOf and String.lastIndexOf routines.
See the Checker Framework Manual:
Index Checker
  • Constructor Details

    • SubstringIndexChecker

      public SubstringIndexChecker()
      Creates a SubstringIndexChecker.