public void dump(IndentPrinter out) { out.printIndent(); out.print("producer "); out.print(destination); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("consumer "); out.print(origin); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("consumer "); out.print(origin); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("consumer "); out.print(origin); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("producer "); out.print(destination); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("consumer "); out.print(origin); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("producer "); out.print(destination); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("producer "); out.print(destination); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("consumer "); out.print(origin); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }
public void dump(IndentPrinter out) { out.printIndent(); out.print("producer "); out.print(destination); out.println(" {"); out.incrementIndent(); super.dump(out); out.decrementIndent(); out.printIndent(); out.println("}"); } }