// This file is automatically generated by DemeterJ.

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


  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 -> Main, s, String {{
    out.println("before -> Main, s, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Main, s, String {{
    out.println("after -> Main, s, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before RBACs {{
    out.println("before RBACs");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RBACs {{
    out.println("after RBACs");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RBACs, rbacs, RBAC_List {{
    out.println("before -> RBACs, rbacs, RBAC_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RBACs, rbacs, RBAC_List {{
    out.println("after -> RBACs, rbacs, RBAC_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before RBAC {{
    out.println("before RBAC");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RBAC {{
    out.println("after RBAC");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RBAC, user_list, User_List {{
    out.println("before -> RBAC, user_list, User_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RBAC, user_list, User_List {{
    out.println("after -> RBAC, user_list, User_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RBAC, role_list, Role_List {{
    out.println("before -> RBAC, role_list, Role_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RBAC, role_list, Role_List {{
    out.println("after -> RBAC, role_list, Role_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RBAC, subject_list, Subject_List {{
    out.println("before -> RBAC, subject_list, Subject_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RBAC, subject_list, Subject_List {{
    out.println("after -> RBAC, subject_list, Subject_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Role {{
    out.println("before Role");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Role {{
    out.println("after Role");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Role, rolename, RoleName {{
    out.println("before -> Role, rolename, RoleName ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Role, rolename, RoleName {{
    out.println("after -> Role, rolename, RoleName ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Role, trans, Transaction_List {{
    out.println("before -> Role, trans, Transaction_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Role, trans, Transaction_List {{
    out.println("after -> Role, trans, Transaction_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Subject {{
    out.println("before Subject");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Subject {{
    out.println("after Subject");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Subject, user, User {{
    out.println("before -> Subject, user, User ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Subject, user, User {{
    out.println("after -> Subject, user, User ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Subject, actr, Role {{
    out.println("before -> Subject, actr, Role ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Subject, actr, Role {{
    out.println("after -> Subject, actr, Role ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Subject, authr, Role_List {{
    out.println("before -> Subject, authr, Role_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Subject, authr, Role_List {{
    out.println("after -> Subject, authr, Role_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Subject, meauthr, Role_List {{
    out.println("before -> Subject, meauthr, Role_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Subject, meauthr, Role_List {{
    out.println("after -> Subject, meauthr, Role_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Transaction {{
    out.println("before Transaction");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Transaction {{
    out.println("after Transaction");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Transaction, transactionname, TransactionName {{
    out.println("before -> Transaction, transactionname, TransactionName ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Transaction, transactionname, TransactionName {{
    out.println("after -> Transaction, transactionname, TransactionName ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before User {{
    out.println("before User");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after User {{
    out.println("after User");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> User, username, UserName {{
    out.println("before -> User, username, UserName ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> User, username, UserName {{
    out.println("after -> User, username, UserName ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TransactionName {{
    out.println("before TransactionName");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TransactionName {{
    out.println("after TransactionName");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransactionName, ident, Ident {{
    out.println("before -> TransactionName, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransactionName, ident, Ident {{
    out.println("after -> TransactionName, ident, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before RoleName {{
    out.println("before RoleName");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RoleName {{
    out.println("after RoleName");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RoleName, ident, Ident {{
    out.println("before -> RoleName, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RoleName, ident, Ident {{
    out.println("after -> RoleName, ident, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UserName {{
    out.println("before UserName");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UserName {{
    out.println("after UserName");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> UserName, ident, Ident {{
    out.println("before -> UserName, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> UserName, ident, Ident {{
    out.println("after -> UserName, ident, Ident ");
    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 SubgraphVisitor {{
    out.println("before SubgraphVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SubgraphVisitor {{
    out.println("after SubgraphVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SubgraphVisitor, is_equal, boolean {{
    out.println("before -> SubgraphVisitor, is_equal, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SubgraphVisitor, is_equal, boolean {{
    out.println("after -> SubgraphVisitor, is_equal, boolean ");
    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 RBAC_List {{
    out.println("before RBAC_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RBAC_List {{
    out.println("after RBAC_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RBAC_List, first, Nonempty_RBAC_List {{
    out.println("before -> RBAC_List, first, Nonempty_RBAC_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RBAC_List, first, Nonempty_RBAC_List {{
    out.println("after -> RBAC_List, first, Nonempty_RBAC_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before User_List {{
    out.println("before User_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after User_List {{
    out.println("after User_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> User_List, first, Nonempty_User_List {{
    out.println("before -> User_List, first, Nonempty_User_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> User_List, first, Nonempty_User_List {{
    out.println("after -> User_List, first, Nonempty_User_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Role_List {{
    out.println("before Role_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Role_List {{
    out.println("after Role_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Role_List, first, Nonempty_Role_List {{
    out.println("before -> Role_List, first, Nonempty_Role_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Role_List, first, Nonempty_Role_List {{
    out.println("after -> Role_List, first, Nonempty_Role_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Subject_List {{
    out.println("before Subject_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Subject_List {{
    out.println("after Subject_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Subject_List, first, Nonempty_Subject_List {{
    out.println("before -> Subject_List, first, Nonempty_Subject_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Subject_List, first, Nonempty_Subject_List {{
    out.println("after -> Subject_List, first, Nonempty_Subject_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Transaction_List {{
    out.println("before Transaction_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Transaction_List {{
    out.println("after Transaction_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Transaction_List, first, Nonempty_Transaction_List {{
    out.println("before -> Transaction_List, first, Nonempty_Transaction_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Transaction_List, first, Nonempty_Transaction_List {{
    out.println("after -> Transaction_List, first, Nonempty_Transaction_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_RBAC_List {{
    out.println("before Nonempty_RBAC_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_RBAC_List {{
    out.println("after Nonempty_RBAC_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_RBAC_List, it, RBAC {{
    out.println("before -> Nonempty_RBAC_List, it, RBAC ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_RBAC_List, it, RBAC {{
    out.println("after -> Nonempty_RBAC_List, it, RBAC ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_RBAC_List, next, Nonempty_RBAC_List {{
    out.println("before -> Nonempty_RBAC_List, next, Nonempty_RBAC_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_RBAC_List, next, Nonempty_RBAC_List {{
    out.println("after -> Nonempty_RBAC_List, next, Nonempty_RBAC_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_User_List {{
    out.println("before Nonempty_User_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_User_List {{
    out.println("after Nonempty_User_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_User_List, it, User {{
    out.println("before -> Nonempty_User_List, it, User ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_User_List, it, User {{
    out.println("after -> Nonempty_User_List, it, User ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_User_List, next, Nonempty_User_List {{
    out.println("before -> Nonempty_User_List, next, Nonempty_User_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_User_List, next, Nonempty_User_List {{
    out.println("after -> Nonempty_User_List, next, Nonempty_User_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Role_List {{
    out.println("before Nonempty_Role_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Role_List {{
    out.println("after Nonempty_Role_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Role_List, it, Role {{
    out.println("before -> Nonempty_Role_List, it, Role ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Role_List, it, Role {{
    out.println("after -> Nonempty_Role_List, it, Role ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Role_List, next, Nonempty_Role_List {{
    out.println("before -> Nonempty_Role_List, next, Nonempty_Role_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Role_List, next, Nonempty_Role_List {{
    out.println("after -> Nonempty_Role_List, next, Nonempty_Role_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Subject_List {{
    out.println("before Nonempty_Subject_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Subject_List {{
    out.println("after Nonempty_Subject_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Subject_List, it, Subject {{
    out.println("before -> Nonempty_Subject_List, it, Subject ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Subject_List, it, Subject {{
    out.println("after -> Nonempty_Subject_List, it, Subject ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Subject_List, next, Nonempty_Subject_List {{
    out.println("before -> Nonempty_Subject_List, next, Nonempty_Subject_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Subject_List, next, Nonempty_Subject_List {{
    out.println("after -> Nonempty_Subject_List, next, Nonempty_Subject_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Transaction_List {{
    out.println("before Nonempty_Transaction_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Transaction_List {{
    out.println("after Nonempty_Transaction_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Transaction_List, it, Transaction {{
    out.println("before -> Nonempty_Transaction_List, it, Transaction ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Transaction_List, it, Transaction {{
    out.println("after -> Nonempty_Transaction_List, it, Transaction ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Transaction_List, next, Nonempty_Transaction_List {{
    out.println("before -> Nonempty_Transaction_List, next, Nonempty_Transaction_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Transaction_List, next, Nonempty_Transaction_List {{
    out.println("after -> Nonempty_Transaction_List, next, Nonempty_Transaction_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
}