Method read

src/main/java/wyc/io/WhileyFileParser.java:167–201

Read a WhileyFile from the token stream. If the stream is invalid in some way (e.g. contains a syntax error, etc) then a SyntaxError is thrown. @return

()

	 * @return
	 */
	public boolean read() {
		boolean status = true;
		ArrayList<Decl> declarations = new ArrayList<>();
		Name name = new Name(new Identifier(path.last()));
		try {
			name = parseModuleName(path);
			skipWhiteSpace();
			while (index < tokens.size()) {
				// Parse next logical declaration
				declarations.add(parseDeclaration());
				skipWhiteSpace();
			}
		} catch (ParseError e) {
			// Allocate an unknown declaration to represent this parse error.
			Decl d = target.allocate(new Decl.Unknown());
			// Add to declarations for enclosing unit
			declarations.add(d);
			// Give the unknown declaration a span corresponding to exact point of error.
			target.allocate(new Attribute.Span(d, e.getStart(), e.getEnd()));
			// Generate a syntax error which identifies the parse error
			ErrorMessages.syntaxError(d, e.getErrorCode(), e.context);
			// Signal that we have failed
			status = false;
		}
		// Finally, construct the new file.
		Tuple<Decl> decls = new Tuple<>(declarations);
		Decl.Unit module = new Decl.Unit(name, decls);
		//
		Decl.Unit nunit = target.allocate(module);
		Decl.Unit ounit = target.getModule().putUnit(nunit);
		if (ounit != null) {
			target.replace(ounit, nunit);
		}
		return status;
	}

	private Name parseModuleName(Trie id) {
		ArrayList<Identifier> components = new ArrayList<>();