Method write

src/main/java/wycc/io/HeapWriter.java:53–66

(Syntactic.Heap module)

	}

	public void write(Syntactic.Heap module) throws IOException {
		// first, write magic number
		writeHeader();
		// second, write syntactic items
		out.write_uv(module.size());
		// third, write root item
		out.write_uv(module.getRootItem().getIndex());
		// Write out each item in turn
		for (int i = 0; i != module.size(); ++i) {
			writeSyntacticItem(module.getSyntacticItem(i));
		}
		// finally, flush to disk
		out.flush();
	}

	public abstract void writeHeader() throws IOException;