package org.checkerframework.framework.testchecker.variablenamedefault; | |
import org.checkerframework.common.basetype.BaseTypeChecker; | |
/** A type-checker plug-in for the VariableNameDefault type system. */ | |
public class VariableNameDefaultChecker extends BaseTypeChecker {} |