// 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 Bank {{
    out.print(": Bank  (");
    indent++;
  }}
  after Bank {{
    out.print(" )");
    indent--;
  }}
  before -> Bank, businessunit_list, BusinessUnit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<businessunit_list> ");
  }}
  before BusinessUnit {{
    out.print(": BusinessUnit  (");
    indent++;
  }}
  after BusinessUnit {{
    out.print(" )");
    indent--;
  }}
  before -> BusinessUnit, index, Index {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<index> ");
  }}
  before -> BusinessUnit, country, Country {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<country> ");
  }}
  before -> BusinessUnit, location, Location {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<location> ");
  }}
  before -> BusinessUnit, party_list, Party_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<party_list> ");
  }}
  before -> Party, agreement, Agreement {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<agreement> ");
  }}
  before -> Party, partyid, PartyId {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<partyid> ");
  }}
  before Individual {{
    out.print(": Individual  (");
    indent++;
  }}
  after Individual {{
    out.print(" )");
    indent--;
  }}
  before -> Individual, firstname, FirstName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<firstname> ");
  }}
  before -> Individual, lastname, LastName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<lastname> ");
  }}
  before -> Individual, birthdate, Date {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<birthdate> ");
  }}
  before CorporateBody {{
    out.print(": CorporateBody  (");
    indent++;
  }}
  after CorporateBody {{
    out.print(" )");
    indent--;
  }}
  before -> CorporateBody, companyname, CompanyName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<companyname> ");
  }}
  before -> CorporateBody, rating, Rating {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rating> ");
  }}
  before Agreement {{
    out.print(": Agreement  (");
    indent++;
  }}
  after Agreement {{
    out.print(" )");
    indent--;
  }}
  before -> Agreement, contract_list, Contract_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<contract_list> ");
  }}
  before -> Agreement, agr_rule_list, Agr_Rule_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<agr_rule_list> ");
  }}
  before -> Agreement, statement_ending, Day {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<statement_ending> ");
  }}
  before FirstName {{
    out.print(": FirstName  (");
    indent++;
  }}
  after FirstName {{
    out.print(" )");
    indent--;
  }}
  before -> FirstName, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before LastName {{
    out.print(": LastName  (");
    indent++;
  }}
  after LastName {{
    out.print(" )");
    indent--;
  }}
  before -> LastName, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before CompanyName {{
    out.print(": CompanyName  (");
    indent++;
  }}
  after CompanyName {{
    out.print(" )");
    indent--;
  }}
  before -> CompanyName, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before PartyId {{
    out.print(": PartyId  (");
    indent++;
  }}
  after PartyId {{
    out.print(" )");
    indent--;
  }}
  before -> PartyId, partyId, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<partyId> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Contract {{
    out.print(": Contract  (");
    indent++;
  }}
  after Contract {{
    out.print(" )");
    indent--;
  }}
  before -> Contract, index, Index {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<index> ");
  }}
  before -> Contract, location, Location {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<location> ");
  }}
  before -> Contract, portfolios, Portfolio_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<portfolios> ");
  }}
  before Agr_Rule {{
    out.print(": Agr_Rule  (");
    indent++;
  }}
  after Agr_Rule {{
    out.print(" )");
    indent--;
  }}
  before -> Agr_Rule, rule, Rule {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rule> ");
  }}
  before -> Agr_Rule, description, Description {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<description> ");
  }}
  before Rule {{
    out.print(": Rule  (");
    indent++;
  }}
  after Rule {{
    out.print(" )");
    indent--;
  }}
  before -> Rule, rule, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rule> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  before Portfolio {{
    out.print(": Portfolio  (");
    indent++;
  }}
  after Portfolio {{
    out.print(" )");
    indent--;
  }}
  before -> Portfolio, index, Index {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<index> ");
  }}
  before -> Portfolio, description, Description {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<description> ");
  }}
  before -> Portfolio, accounts, Account_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<accounts> ");
  }}
  before Account {{
    out.print(": Account  (");
    indent++;
  }}
  after Account {{
    out.print(" )");
    indent--;
  }}
  before -> Account, postings, Posting_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<postings> ");
  }}
  before -> Account, accountid, AccountID {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<accountid> ");
  }}
  before -> Account, accounttype, AccountType {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<accounttype> ");
  }}
  before -> Account, agreement, Agreement {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<agreement> ");
  }}
  before -> Posting, amount, Amount {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<amount> ");
  }}
  before -> Posting, date, Date {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<date> ");
  }}
  before AccountID {{
    out.print(": AccountID  (");
    indent++;
  }}
  after AccountID {{
    out.print(" )");
    indent--;
  }}
  before -> AccountID, account_id, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<account_id> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Amount {{
    out.print(": Amount  (");
    indent++;
  }}
  after Amount {{
    out.print(" )");
    indent--;
  }}
  before -> Amount, amount, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<amount> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Credit {{
    out.print(": Credit  (");
    indent++;
  }}
  after Credit {{
    out.print(" )");
    indent--;
  }}
  before Debit {{
    out.print(": Debit  (");
    indent++;
  }}
  after Debit {{
    out.print(" )");
    indent--;
  }}
  before Savings {{
    out.print(": Savings  (");
    indent++;
  }}
  after Savings {{
    out.print(" )");
    indent--;
  }}
  before Checking {{
    out.print(": Checking  (");
    indent++;
  }}
  after Checking {{
    out.print(" )");
    indent--;
  }}
  before Overdraft {{
    out.print(": Overdraft  (");
    indent++;
  }}
  after Overdraft {{
    out.print(" )");
    indent--;
  }}
  before CD {{
    out.print(": CD  (");
    indent++;
  }}
  after CD {{
    out.print(" )");
    indent--;
  }}
  before Loan {{
    out.print(": Loan  (");
    indent++;
  }}
  after Loan {{
    out.print(" )");
    indent--;
  }}
  before Description {{
    out.print(": Description  (");
    indent++;
  }}
  after Description {{
    out.print(" )");
    indent--;
  }}
  before -> Description, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before Index {{
    out.print(": Index  (");
    indent++;
  }}
  after Index {{
    out.print(" )");
    indent--;
  }}
  before -> Index, index, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<index> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Location {{
    out.print(": Location  (");
    indent++;
  }}
  after Location {{
    out.print(" )");
    indent--;
  }}
  before -> Location, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before Country {{
    out.print(": Country  (");
    indent++;
  }}
  after Country {{
    out.print(" )");
    indent--;
  }}
  before -> Country, string, String {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  before Date {{
    out.print(": Date  (");
    indent++;
  }}
  after Date {{
    out.print(" )");
    indent--;
  }}
  before -> Date, month, Month {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<month> ");
  }}
  before -> Date, day, Day {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<day> ");
  }}
  before -> Date, year, Year {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<year> ");
  }}
  before Month {{
    out.print(": Month  (");
    indent++;
  }}
  after Month {{
    out.print(" )");
    indent--;
  }}
  before -> Month, month, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<month> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Day {{
    out.print(": Day  (");
    indent++;
  }}
  after Day {{
    out.print(" )");
    indent--;
  }}
  before -> Day, day, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<day> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before Year {{
    out.print(": Year  (");
    indent++;
  }}
  after Year {{
    out.print(" )");
    indent--;
  }}
  before -> Year, year, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<year> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before C0 {{
    out.print(": C0  (");
    indent++;
  }}
  after C0 {{
    out.print(" )");
    indent--;
  }}
  before C1 {{
    out.print(": C1  (");
    indent++;
  }}
  after C1 {{
    out.print(" )");
    indent--;
  }}
  before C9 {{
    out.print(": C9  (");
    indent++;
  }}
  after C9 {{
    out.print(" )");
    indent--;
  }}
  before D0 {{
    out.print(": D0  (");
    indent++;
  }}
  after D0 {{
    out.print(" )");
    indent--;
  }}
  before D1 {{
    out.print(": D1  (");
    indent++;
  }}
  after D1 {{
    out.print(" )");
    indent--;
  }}
  before D3 {{
    out.print(": D3  (");
    indent++;
  }}
  after D3 {{
    out.print(" )");
    indent--;
  }}
  before D4 {{
    out.print(": D4  (");
    indent++;
  }}
  after D4 {{
    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("<s> ");
    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("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before -> PrintVisitor, needSpace, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    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("<copy> ");
  }}
  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("<is_equal> ");
    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("<is_equal> ");
    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("<indent> ");
    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("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before BusinessUnit_List {{
    out.print(": BusinessUnit_List  {");
    indent++;
  }}
  after BusinessUnit_List {{
    out.print(" }");
    indent--;
  }}
  before -> BusinessUnit_List, first, Nonempty_BusinessUnit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Party_List {{
    out.print(": Party_List  {");
    indent++;
  }}
  after Party_List {{
    out.print(" }");
    indent--;
  }}
  before -> Party_List, first, Nonempty_Party_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Contract_List {{
    out.print(": Contract_List  {");
    indent++;
  }}
  after Contract_List {{
    out.print(" }");
    indent--;
  }}
  before -> Contract_List, first, Nonempty_Contract_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Agr_Rule_List {{
    out.print(": Agr_Rule_List  {");
    indent++;
  }}
  after Agr_Rule_List {{
    out.print(" }");
    indent--;
  }}
  before -> Agr_Rule_List, first, Nonempty_Agr_Rule_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Portfolio_List {{
    out.print(": Portfolio_List  {");
    indent++;
  }}
  after Portfolio_List {{
    out.print(" }");
    indent--;
  }}
  before -> Portfolio_List, first, Nonempty_Portfolio_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Account_List {{
    out.print(": Account_List  {");
    indent++;
  }}
  after Account_List {{
    out.print(" }");
    indent--;
  }}
  before -> Account_List, first, Nonempty_Account_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Posting_List {{
    out.print(": Posting_List  {");
    indent++;
  }}
  after Posting_List {{
    out.print(" }");
    indent--;
  }}
  before -> Posting_List, first, Nonempty_Posting_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_BusinessUnit_List {{
    out.print(": Nonempty_BusinessUnit_List  (");
    indent++;
  }}
  after Nonempty_BusinessUnit_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_BusinessUnit_List, it, BusinessUnit {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_BusinessUnit_List, next, Nonempty_BusinessUnit_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Party_List {{
    out.print(": Nonempty_Party_List  (");
    indent++;
  }}
  after Nonempty_Party_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Party_List, it, Party {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Party_List, next, Nonempty_Party_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Contract_List {{
    out.print(": Nonempty_Contract_List  (");
    indent++;
  }}
  after Nonempty_Contract_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Contract_List, it, Contract {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Contract_List, next, Nonempty_Contract_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Agr_Rule_List {{
    out.print(": Nonempty_Agr_Rule_List  (");
    indent++;
  }}
  after Nonempty_Agr_Rule_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Agr_Rule_List, it, Agr_Rule {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Agr_Rule_List, next, Nonempty_Agr_Rule_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Portfolio_List {{
    out.print(": Nonempty_Portfolio_List  (");
    indent++;
  }}
  after Nonempty_Portfolio_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Portfolio_List, it, Portfolio {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Portfolio_List, next, Nonempty_Portfolio_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Account_List {{
    out.print(": Nonempty_Account_List  (");
    indent++;
  }}
  after Nonempty_Account_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Account_List, it, Account {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Account_List, next, Nonempty_Account_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Posting_List {{
    out.print(": Nonempty_Posting_List  (");
    indent++;
  }}
  after Nonempty_Posting_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Posting_List, it, Posting {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Posting_List, next, Nonempty_Posting_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}