Class Compiler

src/main/java/wyc/Compiler.java:36–349

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

 *
 */
public class Compiler {
	/**
	 * The outgoing mailbox for this compiler. Essentially, all generated syntax
	 * errors are sent here.
	 */
	private MailBox<SyntaxError> mailbox = new PrintStreamErrorHandler(System.out);
	/**
	 * Source directory containing whiley files.
	 */
	private File whileydir = new File(".");
	/**
	 * Destination directory of Wyil files.
	 */
	private File wyildir = new File(".");
	/**
	 * Identify paths for source files to compile.
	 */
	private List<Trie> sources = new ArrayList<>();
	/**
	 * 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;
	private List<WyilFile> dependencies = new ArrayList<>();
	private boolean verification;
	private boolean counterexamples;
	private boolean strict;
	private boolean linking;

	public Compiler setErrorHandler(MailBox<SyntaxError> mailbox) {
		this.mailbox = mailbox;
		return this;
	}

	public Compiler setStrict(boolean b) {
		this.strict = b;
		return this;
	}

	public Compiler setLinking(boolean b) {
		this.linking = b;
		return this;
	}

	public Compiler setVerification(boolean b) {
		this.verification = b;
		return this;
	}

	public Compiler setCounterExamples(boolean b) {
		this.counterexamples = b;
		return this;
	}

	public Compiler setTarget(Trie target) {