// This file is automatically generated by DemeterJ. DisplayVisitor { {{ protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true); java.io.PrintWriter get_out() { return out; } void set_out(java.io.PrintWriter new_out) { out = new_out; } DisplayVisitor(java.io.PrintWriter out) { set_out(out); } DisplayVisitor(java.io.PrintStream out) { set_out(new java.io.PrintWriter(out, true)); } }} finish {{ out.flush(); }} before FinishedProduct {{ out.print(": FinishedProduct ("); indent++; }} after FinishedProduct {{ out.print(" )"); indent--; }} before -> FinishedProduct, assignment, Assignment {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> FinishedProduct, rawmaterial, RawMaterial {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before ConstraintType {{ out.print(": ConstraintType ("); indent++; }} after ConstraintType {{ out.print(" )"); indent--; }} before -> ConstraintType, relation, Relation {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before RawMaterial {{ out.print(": RawMaterial ("); indent++; }} after RawMaterial {{ out.print(" )"); indent--; }} before -> RawMaterial, constraintlist, ConstraintList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Constraint {{ out.print(": Constraint ("); indent++; }} after Constraint {{ out.print(" )"); indent--; }} before -> Constraint, weight, Weight {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Constraint, relation, Relation {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Constraint, variablelist, VariableList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before Relation {{ out.print(": Relation ("); indent++; }} after Relation {{ out.print(" )"); indent--; }} before -> Relation, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before Weight {{ out.print(": Weight ("); indent++; }} after Weight {{ out.print(" )"); indent--; }} before -> Weight, v, int {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : int \"" + dest + "\""); }} before Literal {{ out.print(": Literal ("); indent++; }} after Literal {{ out.print(" )"); indent--; }} before -> Literal, lit, Lit {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> Lit, variable, Variable {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before PosLiteral {{ out.print(": PosLiteral ("); indent++; }} after PosLiteral {{ out.print(" )"); indent--; }} before NegLiteral {{ out.print(": NegLiteral ("); indent++; }} after NegLiteral {{ out.print(" )"); indent--; }} before Variable {{ out.print(": Variable ("); indent++; }} after Variable {{ out.print(" )"); indent--; }} before -> Variable, v, Ident {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : Ident"); out.print(" \"" + source.get_v() + "\""); }} before Assignment {{ out.print(": Assignment ("); indent++; }} after Assignment {{ out.print(" )"); indent--; }} before -> Assignment, literallist, LiteralList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before NEConstraintList {{ out.print(": NEConstraintList ("); indent++; }} after NEConstraintList {{ out.print(" )"); indent--; }} before -> NEConstraintList, first, Constraint {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> NEConstraintList, rest, ConstraintList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before EConstraintList {{ out.print(": EConstraintList ("); indent++; }} after EConstraintList {{ out.print(" )"); indent--; }} before NEVariableList {{ out.print(": NEVariableList ("); indent++; }} after NEVariableList {{ out.print(" )"); indent--; }} before -> NEVariableList, first, Variable {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> NEVariableList, rest, VariableList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before EVariableList {{ out.print(": EVariableList ("); indent++; }} after EVariableList {{ out.print(" )"); indent--; }} before NELiteralList {{ out.print(": NELiteralList ("); indent++; }} after NELiteralList {{ out.print(" )"); indent--; }} before -> NELiteralList, first, Literal {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before -> NELiteralList, rest, LiteralList {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); }} before ELiteralList {{ out.print(": ELiteralList ("); indent++; }} after ELiteralList {{ out.print(" )"); indent--; }} before Main {{ out.print(": Main ("); indent++; }} after Main {{ out.print(" )"); indent--; }} before -> Main, s, String {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : String"); out.print(" \"" + source.get_s() + "\" "); }} 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 SubgraphVisitor {{ out.print(": SubgraphVisitor ("); indent++; }} after SubgraphVisitor {{ out.print(" )"); indent--; }} before -> SubgraphVisitor, is_equal, boolean {{ out.println(); for (int i = 0; i < indent; i++) out.print("\t"); out.print(" "); out.print(" : boolean \"" + dest + "\""); }} 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 + "\""); }} }