// This file is automatically generated by DemeterJ.

PrintVisitor {
  {{
    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; }
    PrintVisitor(java.io.PrintWriter out)     { set_out(out); }
    PrintVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  finish {{ out.flush(); }}

  protected void space() {{
    if (needSpace) out.print(" ");
    needSpace = false;
  }}

  before -> Blackboard, players, Player_List {{
    out.print("<blackboard>");
    needSpace = false;
    out.print("<players>");
    needSpace = false;
  }}

  before -> Blackboard, store, Store {{
    out.print("</players>");
    needSpace = false;
  }}

  before -> Blackboard, transactions, Transaction_List {{
    out.print("<transactions>");
    needSpace = false;
  }}

  before -> Blackboard, history, History {{
    out.print("</transactions>");
    needSpace = false;
  }}

  after -> Blackboard, history, History {{
    out.print("</blackboard>");
    needSpace = false;
  }}

  before -> Player, name, PlayerName {{
    out.print("<player>");
    needSpace = false;
  }}

  before -> Player, account, Money {{
    out.print("<account>");
    needSpace = false;
  }}

  before -> Player, turn, boolean {{
    out.print("</account>");
    needSpace = false;
    out.print("<turn>");
    needSpace = false;
    space();
    out.print(source.get_turn());
    needSpace = true;
  }}

  after -> Player, turn, boolean {{
    out.print("</turn>");
    needSpace = false;
  }}

  after Player {{
    out.print("</player>");
    needSpace = false;
  }}

  before -> PlayerName, v, Ident {{
    out.print("<playerName>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> PlayerName, v, Ident {{
    out.print("</playerName>");
    needSpace = false;
  }}

  before PublicKey {{
    out.print("<publicKey>");
    needSpace = false;
    out.print("</publicKey>");
    needSpace = false;
  }}

  before -> History, transaction_elist, Transaction_EList {{
    out.print("<history>");
    needSpace = false;
  }}

  after -> History, transaction_elist, Transaction_EList {{
    out.print("</history>");
    needSpace = false;
  }}

  before -> Store, derivative_elist, Derivative_EList {{
    out.print("<store>");
    needSpace = false;
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
  }}

  after -> Store, derivative_elist, Derivative_EList {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
    out.print("</store>");
    needSpace = false;
  }}

  before -> Transaction, trans, Trans {{
    out.print("<trans>");
    needSpace = false;
  }}

  after -> Transaction, trans, Trans {{
    out.print("</trans>");
    needSpace = false;
  }}

  before Buy {{
    out.print("<buy>");
    needSpace = false;
    out.print("</buy>");
    needSpace = false;
  }}

  before Create {{
    out.print("<create>");
    needSpace = false;
    out.print("</create>");
    needSpace = false;
  }}

  before DeliverR {{
    out.print("<deliver>");
    needSpace = false;
    out.print("</deliver>");
    needSpace = false;
  }}

  before Finish {{
    out.print("<finish>");
    needSpace = false;
    out.print("</finish>");
    needSpace = false;
  }}

  before DigitalSignature {{
    out.print("<digitalSignature>");
    needSpace = false;
    out.print("</digitalSignature>");
    needSpace = false;
  }}

  before -> Derivative, name, DerivativeName {{
    out.print("<derivative>");
    needSpace = false;
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
  }}

  before -> Derivative, creator, PlayerName {{
    out.print("<creator>");
    needSpace = false;
  }}

  before -> Derivative, price, Money {{
    out.print("</creator>");
    needSpace = false;
    out.print("<price>");
    needSpace = false;
  }}

  before -> Derivative, type, DerivativeType {{
    out.print("</price>");
    needSpace = false;
  }}

  before -> Derivative, boughtBy, PlayerName {{
    out.print("<boughtBy>");
    needSpace = false;
  }}

  after -> Derivative, boughtBy, PlayerName {{
    out.print("</boughtBy>");
    needSpace = false;
  }}

  after -> Derivative, rawMaterial, RawMaterial {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
  }}

  after Derivative {{
    out.print("</derivative>");
    needSpace = false;
  }}

  before -> FinishedProduct, assignment, Assignment {{
    out.print("<finishedProduct>");
    needSpace = false;
  }}

  after -> FinishedProduct, quality, Money {{
    out.print("</finishedProduct>");
    needSpace = false;
  }}

  before -> DerivativeName, name, Ident {{
    out.print("<derivativeName>");
    needSpace = false;
    space();
    out.print(source.get_name());
    needSpace = true;
  }}

  after -> DerivativeName, name, Ident {{
    out.print("</derivativeName>");
    needSpace = false;
  }}

  before -> Money, price, float {{
    out.print("<money>");
    needSpace = false;
    space();
    out.print(source.get_price());
    needSpace = true;
  }}

  after -> Money, price, float {{
    out.print("</money>");
    needSpace = false;
  }}

  before -> DerivativeType, clausetype_list, ClauseType_List {{
    out.print("<derivativeType>");
    needSpace = false;
  }}

  after -> DerivativeType, clausetype_list, ClauseType_List {{
    out.print("</derivativeType>");
    needSpace = false;
  }}

  before -> ClauseType, total_literal_num, TotalLiteralNum {{
    out.print("<clauseType>");
    needSpace = false;
  }}

  after -> ClauseType, pos_literal_num, PosLiteralNum {{
    out.print("</clauseType>");
    needSpace = false;
  }}

  before -> TotalLiteralNum, v, int {{
    out.print("<totalLiterals>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> TotalLiteralNum, v, int {{
    out.print("</totalLiterals>");
    needSpace = false;
  }}

  before -> PosLiteralNum, v, int {{
    out.print("<posLiterals>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> PosLiteralNum, v, int {{
    out.print("</posLiterals>");
    needSpace = false;
  }}

  before -> RawMaterial, clause_list, Clause_List {{
    out.print("<rawMaterial>");
    needSpace = false;
  }}

  after -> RawMaterial, clause_list, Clause_List {{
    out.print("</rawMaterial>");
    needSpace = false;
  }}

  before -> Clause, weight, Weight {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
    out.print("<clause>");
    needSpace = false;
  }}

  before -> Clause, literal_list, Literal_List {{
    out.print("<literals>");
    needSpace = false;
  }}

  after -> Clause, literal_list, Literal_List {{
    out.print("</literals>");
    needSpace = false;
    out.print("</clause>");
    needSpace = false;
  }}

  before -> Weight, v, int {{
    out.print("<weight>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> Weight, v, int {{
    out.print("</weight>");
    needSpace = false;
  }}

  before -> Literal, lit, Lit {{
    out.println();
    for (int i = 0; i < indent; i++) out.print("\t");
    needSpace = false;
    out.print("<lit>");
    needSpace = false;
  }}

  after -> Literal, lit, Lit {{
    out.print("</lit>");
    needSpace = false;
  }}

  before PosLiteral {{
    out.print("<pos>");
    needSpace = false;
    out.print("</pos>");
    needSpace = false;
  }}

  before NegLiteral {{
    out.print("<neg>");
    needSpace = false;
    out.print("</neg>");
    needSpace = false;
  }}

  before -> Variable, v, Ident {{
    out.print("<v>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> Variable, v, Ident {{
    out.print("</v>");
    needSpace = false;
  }}

  before -> Assignment, literal_list, Literal_List {{
    out.print("<assignment>");
    needSpace = false;
  }}

  after -> Assignment, literal_list, Literal_List {{
    out.print("</assignment>");
    needSpace = false;
  }}

  before -> Quality, v, float {{
    out.print("<quality>");
    needSpace = false;
    space();
    out.print(source.get_v());
    needSpace = true;
  }}

  after -> Quality, v, float {{
    out.print("</quality>");
    needSpace = false;
  }}

  before -> Main, s, String {{
    space();
    out.print("\"" + source.get_s() + "\"");
    needSpace = true;
  }}

  before -> CTVisitor, pos, int {{
    space();
    out.print(source.get_pos());
    needSpace = true;
  }}

  before -> CTVisitor, neg, int {{
    space();
    out.print(source.get_neg());
    needSpace = true;
  }}

  before -> PrintVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

  before -> PrintVisitor, needSpace, boolean {{
    space();
    out.print(source.get_needSpace());
    needSpace = true;
  }}

  before -> CopyVisitor, copy, Object {{
    space();
    out.print(source.get_copy());
    needSpace = true;
  }}

  before -> SubgraphVisitor, is_equal, boolean {{
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  }}

  before -> EqualVisitor, is_equal, boolean {{
    space();
    out.print(source.get_is_equal());
    needSpace = true;
  }}

  before -> DisplayVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

  before -> TraceVisitor, indent, int {{
    space();
    out.print(source.get_indent());
    needSpace = true;
  }}

}