Method extractFromZip

src/main/java/wyc/Compiler.java:205–217

Extract all WyilFiles contained in a zipfile. @param dep @param dependencies @throws IOException

(File dep, List<WyilFile> dependencies)

	 * @throws IOException
	 */
	public static void extractFromZip(File dep, List<WyilFile> dependencies) throws IOException {
		ZipFile zf = new ZipFile(dep);
		Enumeration<? extends ZipEntry> entries = zf.entries();
		while(entries.hasMoreElements()) {
			ZipEntry e = entries.nextElement();
			String suffix = getSuffix(e.getName());
			if(suffix != null && suffix.equals("wyil")) {
				WyilFile wf = new WyilFileReader(zf.getInputStream(e)).read();
				dependencies.add(wf);
			}
		}
		zf.close();
	}

	/**
	 * Extract the suffix from a given filename. For example, given "std-0.3.2.zip"