Method getSuffix

src/main/java/wyc/Compiler.java:226–233

Extract the suffix from a given filename. For example, given "std-0.3.2.zip" we return "zip". @param t @return

(String t)

	 * @return
	 */
	private static String getSuffix(String t) {
		int i = t.lastIndexOf('.');
		if (i >= 0) {
			return t.substring(i + 1);
		} else {
			return null;
		}
	}

	/**
	 * Read a Whiley source file from the file system.