public void print(PrintStream out) { out.print("  " + toShortString()); printAspectAttributes(out);  InstructionList body = getBody(); if (body == null) { out.println(";"); return; } out.println(":"); new BodyPrinter(out).run(); out.println("  end " + toShortString());
public void print() { print(System.out);
    public void print(PrintStream out) {        out.print("  " + toShortString());        printAspectAttributes(out);                InstructionList body = getBody();        if (body == null) {            out.println(";");            return;        }        out.println(":");        new BodyPrinter(out).run();        out.println("  end " + toShortString());    }