Method getPS

tool/src/org/antlr/v4/gui/PostScriptDocument.java:55–58

()

	}

	public String getPS() {
		close();
		return header()+ps.toString();
	}

	public void boundingBox(int w, int h) {
		boundingBoxWidth = w;