org.checkerframework.checker.index.lowerbound.LowerBoundChecker Maven / Gradle / Ivy

package org.checkerframework.checker.index.lowerbound;

import java.util.LinkedHashSet;
import org.checkerframework.checker.index.searchindex.SearchIndexChecker;
import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.common.value.ValueChecker;
import org.checkerframework.framework.source.SuppressWarningsKeys;

/**
 * A type-checker for preventing fixed-length sequences such as arrays or strings from being
 * accessed with values that are too low. Normally bundled as part of the Index Checker.
 *
 * @checker_framework.manual #index-checker Index Checker
 */
@SuppressWarningsKeys({"index", "lowerbound"})
public class LowerBoundChecker extends BaseTypeChecker {

    @Override
    protected LinkedHashSet> getImmediateSubcheckerClasses() {
        LinkedHashSet> checkers =
                super.getImmediateSubcheckerClasses();
        checkers.add(ValueChecker.class);
        checkers.add(SearchIndexChecker.class);
        return checkers;
    }
}