| package org.checkerframework.checker.i18n; | |
| import org.checkerframework.common.basetype.BaseTypeChecker; | |
| import org.checkerframework.framework.qual.RelevantJavaTypes; | |
| /** | |
| * A type-checker that checks that only localized {@code String}s are visible to the user. | |
| * | |
| * @checker_framework.manual #i18n-checker Internationalization Checker | |
| */ | |
| @RelevantJavaTypes(CharSequence.class) | |
| public class I18nSubchecker extends BaseTypeChecker {} |