Method readWhileyFile

src/main/java/wyc/Compiler.java:244–251

Read a Whiley source file from the file system. @param id @param dir @param filename @return @throws IOException

(File dir, Trie path)

	 * @throws IOException
	 */
	public static WhileyFile readWhileyFile(File dir, Trie path) throws IOException {
		// First, determine filename
		String filename = path.toNativeString() + ".whiley";
		// Second Read the file
		try (FileInputStream fin = new FileInputStream(new File(dir, filename))) {
			return new WhileyFile(path, fin.readAllBytes());
		}
	}
	/**
	 * Read a WyilFile from the file system.
	 *