org.checkerframework.checker.nullness.KeyForSubchecker Maven / Gradle / Ivy

package org.checkerframework.checker.nullness;

import org.checkerframework.common.basetype.BaseTypeChecker;

/**
 * A type-checker for determining which values are keys for which maps. Typically used as part of
 * the compound checker for the nullness type system.
 *
 * @checker_framework.manual #map-key-checker Map Key Checker
 * @checker_framework.manual #nullness-checker Nullness Checker
 */
public class KeyForSubchecker extends BaseTypeChecker {}