Method main

src/main/java/wyc/Executor.java:151–172

(String[] _args)

	};
	//
	public static void main(String[] _args) throws IOException {
		List<String> args = new ArrayList<>(Arrays.asList(_args));
		Map<String, Object> options = OptArg.parseOptions(args, OPTIONS);
		// Extract config options
		File wyildir = (File) options.get("wyildir");
		Trie target = Trie.fromString((String) options.get("output"));
		ArrayList<File> whileypath = (ArrayList<File>) options.get("whileypath");
		// Construct Main object
		Executor main = new Executor().setTarget(target).setWyilDir(wyildir).setWhileyPath(whileypath);
		// Default signature
		Type.Method sig = new Type.Method(Type.Void, Type.Void);
		//
		boolean result = true;
		for (String arg : args) {
			// Determine qualitifed name of method to invoke.
			result &= main.run(QualifiedName.fromString(arg), sig);
		}
		// Compile Whiley source file(s).

		// Produce exit code
		System.exit(result ? 0 : 1);
	}
}