Package org.checkerframework.checker.index.searchindex

package org.checkerframework.checker.index.searchindex

Related Packages

Package	Description
org.checkerframework.checker.index

Classes

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.