Method fromString

src/main/java/wyc/util/testing/Util.java:48–55

Parse a Whiley type from a string. @param from @return

(String from)

	 * @return
	 */
	public static Type fromString(String from) {
		Trie id = Trie.fromString("main");
		WhileyFile sf = new WhileyFile(id,from.getBytes());
		WyilFile wf = new WyilFile(Arrays.asList(sf));
		WhileyFileParser parser = new WhileyFileParser(wf, sf);
		WhileyFileParser.EnclosingScope scope = parser.new EnclosingScope();
		return parser.parseType(scope);
	}

	/**
	 * Scan a directory to get the names of all the whiley source files