Method parseError

src/main/java/wycc/util/testing/TestFile.java:363–369

(String line)

	}

	private static Error parseError(String line) {
		String[] split = line.split(" ");
		int errno = Integer.parseInt(split[0].substring(1));
		Trie filename = Trie.fromString(split[1]);
		Coordinate coord = parseCoordinate(split[2]);
		return new Error(errno,filename,coord);
	}

	private static Coordinate parseCoordinate(String line) {
		String[] split = line.split(",");