// This file is automatically generated by Demeter/Java. TraceVisitor { (@ 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; } TraceVisitor(java.io.PrintStream out) { set_out(out); } @) before Person (@ out.println("before Person"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Person (@ out.println("after Person"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person, personname, Ident (@ out.println("before -> Person, personname, Ident"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person, personname, Ident (@ out.println("after -> Person, personname, Ident"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person, spouse, Person (@ out.println("before -> Person, spouse, Person"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person, spouse, Person (@ out.println("after -> Person, spouse, Person"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person, siblings, Person_NList (@ out.println("before -> Person, siblings, Person_NList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person, siblings, Person_NList (@ out.println("after -> Person, siblings, Person_NList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Main (@ out.println("before Main"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Main (@ out.println("after Main"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before PrintVisitor (@ out.println("before PrintVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after PrintVisitor (@ out.println("after PrintVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> PrintVisitor, indent, int (@ out.println("before -> PrintVisitor, indent, int"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> PrintVisitor, indent, int (@ out.println("after -> PrintVisitor, indent, int"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> PrintVisitor, needSpace, boolean (@ out.println("before -> PrintVisitor, needSpace, boolean"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> PrintVisitor, needSpace, boolean (@ out.println("after -> PrintVisitor, needSpace, boolean"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before CopyVisitor (@ out.println("before CopyVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after CopyVisitor (@ out.println("after CopyVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> CopyVisitor, copy, Object (@ out.println("before -> CopyVisitor, copy, Object"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> CopyVisitor, copy, Object (@ out.println("after -> CopyVisitor, copy, Object"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before EqualVisitor (@ out.println("before EqualVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after EqualVisitor (@ out.println("after EqualVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> EqualVisitor, is_equal, boolean (@ out.println("before -> EqualVisitor, is_equal, boolean"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> EqualVisitor, is_equal, boolean (@ out.println("after -> EqualVisitor, is_equal, boolean"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before DisplayVisitor (@ out.println("before DisplayVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after DisplayVisitor (@ out.println("after DisplayVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> DisplayVisitor, indent, int (@ out.println("before -> DisplayVisitor, indent, int"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> DisplayVisitor, indent, int (@ out.println("after -> DisplayVisitor, indent, int"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before TraceVisitor (@ out.println("before TraceVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after TraceVisitor (@ out.println("after TraceVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> TraceVisitor, indent, int (@ out.println("before -> TraceVisitor, indent, int"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> TraceVisitor, indent, int (@ out.println("after -> TraceVisitor, indent, int"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before UniversalVisitor (@ out.println("before UniversalVisitor"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after UniversalVisitor (@ out.println("after UniversalVisitor"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Person_NList (@ out.println("before Person_NList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Person_NList (@ out.println("after Person_NList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Person_NList, first, Nonempty_Person_NList (@ out.println("before -> Person_NList, first, Nonempty_Person_NList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Person_NList, first, Nonempty_Person_NList (@ out.println("after -> Person_NList, first, Nonempty_Person_NList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before Nonempty_Person_NList (@ out.println("before Nonempty_Person_NList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after Nonempty_Person_NList (@ out.println("after Nonempty_Person_NList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Person_NList, it, Person (@ out.println("before -> Nonempty_Person_NList, it, Person"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Person_NList, it, Person (@ out.println("after -> Nonempty_Person_NList, it, Person"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) before -> Nonempty_Person_NList, next, Nonempty_Person_NList (@ out.println("before -> Nonempty_Person_NList, next, Nonempty_Person_NList"); indent++; for (int i = 0; i < indent; i++) out.print(" "); @) after -> Nonempty_Person_NList, next, Nonempty_Person_NList (@ out.println("after -> Nonempty_Person_NList, next, Nonempty_Person_NList"); indent--; for (int i = 0; i < indent; i++) out.print(" "); @) }