package testlib.reflection; import org.checkerframework.common.basetype.BaseTypeChecker; import org.checkerframework.common.basetype.BaseTypeVisitor; /** * Checker for a simple type system to test reflection resolution. * * @author rjust */ public class ReflectionTestChecker extends BaseTypeChecker { @Override protected BaseTypeVisitor<?> createSourceVisitor() { return new ReflectionTestVisitor(this); } }