Package org.checkerframework.checker.index.substringindex

package org.checkerframework.checker.index.substringindex

Related Packages

Package	Description
org.checkerframework.checker.index

Classes

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.