Package org.checkerframework.checker.index.searchindex

Class Summary

Class	Description
SearchIndexAnnotatedTypeFactory	The Search Index Checker is used to help type the results of calls to the JDK's binary search methods.
SearchIndexChecker	An internal checker that assists the Index Checker in typing the results of calls to the JDK's Arrays.binarySearch routine.
SearchIndexTransfer	The transfer function for the SearchIndexFor checker.