102103104105106107108109
protected String protoToString(Prototype p) { ByteArrayOutputStream baos = new ByteArrayOutputStream(); PrintStream ps = new PrintStream(baos); Print.ps = ps; new Print().printFunction(p, true); return baos.toString(); }