Method main

src/main/java/wyc/Check.java:151–180

(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
		boolean verbose = options.containsKey("verbose");
		File wyildir = (File) options.get("wyildir");
		ArrayList<File> whileypath = (ArrayList<File>) options.get("whileypath");
		int minInt = (Integer) options.get("min");
		int maxInt = (Integer) options.get("max");
		int maxArrayLength = (Integer) options.get("length");
		int maxTypeDepth = (Integer) options.get("depth");
		int maxAliasWidth = (Integer) options.get("width");
		int rotation = (Integer) options.get("rotation");
		long timeout = (Long) options.get("timeout");
		String[] ignores = (String[]) options.get("ignores");
		// Construct Main object
		Check main = new Check().setVerbose(verbose).setWyilDir(wyildir).setWhileyPath(whileypath)
				.addConfig(c -> c.setIntegerRange(minInt, maxInt)).addConfig(c -> c.setAliasingWidth(maxAliasWidth))
				.addConfig(c -> c.setArrayLength(maxArrayLength)).addConfig(c -> c.setTypeDepth(maxTypeDepth))
				.addConfig(c -> c.setLambdaWidth(rotation)).addConfig(c -> c.setTimeout(timeout))
				.addConfig(c -> c.setIgnores(ignores));
		//
		for(String arg : args) {
			main.addSource(Trie.fromString(arg));
		}
		// Compile Whiley source file(s).
		boolean result = main.run();
		// Produce exit code
		System.exit(result ? 0 : 1);
	}
}