// This file is automatically generated by Demeter/Java. DisplayVisitor { (@ private java.io.PrintStream out = System.out; java.io.PrintStream get_out() { return out; } void set_out(java.io.PrintStream new_out) { out = new_out; } DisplayVisitor(java.io.PrintStream out) { set_out(out); } @) before Person (@ out.print(": Person ("); indent++; @) after Person (@ out.print(" )"); indent--; @) before -> Person, personname, Ident (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_personname() + "\""); @) before -> Person, spouse, Person (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Person, siblings, Person_NList (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Main (@ out.print(": Main ("); indent++; @) after Main (@ out.print(" )"); indent--; @) before PrintVisitor (@ out.print(": PrintVisitor ("); indent++; @) after PrintVisitor (@ out.print(" )"); indent--; @) before -> PrintVisitor, indent, int (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); @) before -> PrintVisitor, needSpace, boolean (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); @) before CopyVisitor (@ out.print(": CopyVisitor ("); indent++; @) after CopyVisitor (@ out.print(" )"); indent--; @) before -> CopyVisitor, copy, Object (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before EqualVisitor (@ out.print(": EqualVisitor ("); indent++; @) after EqualVisitor (@ out.print(" )"); indent--; @) before -> EqualVisitor, is_equal, boolean (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); @) before DisplayVisitor (@ out.print(": DisplayVisitor ("); indent++; @) after DisplayVisitor (@ out.print(" )"); indent--; @) before -> DisplayVisitor, indent, int (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); @) before TraceVisitor (@ out.print(": TraceVisitor ("); indent++; @) after TraceVisitor (@ out.print(" )"); indent--; @) before -> TraceVisitor, indent, int (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); @) before Person_NList (@ out.print(": Person_NList {"); indent++; @) after Person_NList (@ out.print(" }"); indent--; @) before -> Person_NList, first, Nonempty_Person_NList (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before Nonempty_Person_NList (@ out.print(": Nonempty_Person_NList ("); indent++; @) after Nonempty_Person_NList (@ out.print(" )"); indent--; @) before -> Nonempty_Person_NList, it, Person (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) before -> Nonempty_Person_NList, next, Nonempty_Person_NList (@ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); @) }