Class Executor

src/main/java/wyc/Executor.java:35–173

Responsible for parsing command-line arguments and executing the WhileyCompiler. @author David J. Pearce

 *
 */
public class Executor {
	/**
	 * Destination directory of Wyil files.
	 */
	private File wyildir = new File(".");
	/**
	 * Identify path for binary target to generate.
	 */
	private Trie target = Trie.fromString("main");
	/**
	 * WyIL dependencies to include during compilation.
	 */
	private List<File> whileypath = Collections.EMPTY_LIST;

	public Executor setTarget(Trie target) {
		this.target = target;
		return this;
	}

	public Executor setWhileyPath(List<File> whileypath) {
		this.whileypath = whileypath;
		return this;
	}

	public Executor setWyilDir(File wyildir) {
		this.wyildir = wyildir;
		return this;
	}

	public boolean run(QualifiedName name, Type.Callable sig) throws IOException {
		//
		ArrayList<WyilFile> deps = new ArrayList<>();
		// Read target
		deps.add(Compiler.readWyilFile(wyildir, this.target));
		// Extract any dependencies from zips
		for(File dep : whileypath) {
			Compiler.extractDependencies(dep,deps);
		}
		// Try to run the given function or method
		Interpreter interpreter = new Interpreter(System.out, deps);
		// Add native methods
		addStdNatives(interpreter);
		// Sanity check target method exists
		Decl.Callable lambda = interpreter.getCallable(name, sig);
		if(lambda == null) {
			System.err.println("method not found: " + name + ", " + sig);
			return false;
		} else {
			// Create the initial stack
			Interpreter.CallStack stack = interpreter.new CallStack();
			try {
				//
				interpreter.execute(name, sig, stack);
				return true;
			} catch (Interpreter.RuntimeError e) {
				e.printStackTrace();
				return false;
			}