Method readWyilFile

src/main/java/wyc/Compiler.java:261–268

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

(File dir, Trie path)

	 * @throws IOException
	 */
	public static WyilFile readWyilFile(File dir, Trie path) throws IOException {
		// First, determine filename
		String filename = path.toNativeString() + ".wyil";
		// Second Read the file
		try (FileInputStream fin = new FileInputStream(new File(dir, filename))) {
			return new WyilFileReader(fin).read();
		}
	}

	/**
	 * Write a given WyilFile to disk using the given directory as a root.