Class QuickCheck

src/main/java/wyc/task/QuickCheck.java:30–1222

import wyil.lang.WyilFile.Type.Callable;

public class QuickCheck {
	public static final Context DEFAULT_CONTEXT = new Context(-3, 3, 3, 3, 2, 2, new String[0], BigDecimal.ONE, 1000,
			10_000_000, Long.MAX_VALUE);
	/**
	 * The interpreter instance used for executing code.
	 */
	private ExtendedInterpreter interpreter;

	/**
	 * Cache of previously computed values. This is useful for reducing memory
	 * requirements. Furthermore, it is necessary to ensure that aliasing bugs are
	 * identified.
	 */
	private final HashMap<Name, Domain.Big<RValue>> cache = new HashMap<>();
	/**
	 * Provides the output channel for information about the quick check process.
	 */
	private final StructuredLogger<LogEntry> logger;

	public QuickCheck(Logger log) {
		// Default logger just reports up to project logger
		this.logger = new StructuredLogger<>() {
			@Override
			public void logTimedMessage(LogEntry result, long time, long memory) {
				log.logTimedMessage(result.toString(), time, memory);
			}

			@Override
			public void logTimedMessage(String msg, long time, long memory) {
				log.logTimedMessage(msg, time, memory);
			}
		};
	}

	public boolean check(WyilFile parent, Context context, List<String> targets, WyilFile... deps)
			throws IOException {
		try {
			// Initialise Interpreter
			this.interpreter = new ExtendedInterpreter(System.err, context, ArrayUtils.append(parent, deps));
			// Construct extended context
			ExtendedContext eContext = interpreter.getExtendedContext();
			// Initialise by context
			return check(parent, eContext, targets);
		} catch (Interpreter.RuntimeError e) {
			// Add appropriate syntax error to the syntactic item where the error arose.
			ErrorMessages.syntaxError(e.getElement(), e.getErrorCode());
			// Done
			return false;
		}
	}

	public boolean check(WyilFile parent, ExtendedContext context, List<String> targets) throws IOException {
		boolean OK = true;
		if(targets.isEmpty()) {
			for (Decl.Unit unit : parent.getModule().getUnits()) {
				OK &= check(parent,unit, context);
			}
		} else {