Package org.checkerframework.checker.index.substringindex

Class Summary

Class	Description
SubstringIndexAnnotatedTypeFactory	Builds types with annotations from the Substring Index checker hierarchy, which contains the @SubstringIndexFor annotation.
SubstringIndexChecker	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.