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