| package org.checkerframework.checker.nullness; |
| |
| import javax.annotation.processing.SupportedOptions; |
| 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 |
| */ |
| @SupportedOptions({"assumeKeyFor"}) |
| public class KeyForSubchecker extends BaseTypeChecker {} |