// 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 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 ChineseWallPolicyChecker {{
    out.print(": ChineseWallPolicyChecker  (");
    indent++;
  }}
  after ChineseWallPolicyChecker {{
    out.print(" )");
    indent--;
  }}
  before -> ChineseWallPolicyChecker, chinesewallautomaton_list, ChineseWallAutomaton_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<chinesewallautomaton_list> ");
  }}
  before ChineseWallAutomaton {{
    out.print(": ChineseWallAutomaton  (");
    indent++;
  }}
  after ChineseWallAutomaton {{
    out.print(" )");
    indent--;
  }}
  before -> ChineseWallAutomaton, automatonname, AutomatonName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<automatonname> ");
  }}
  before -> ChineseWallAutomaton, currentState, State {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<currentState> ");
  }}
  before -> ChineseWallAutomaton, startState, State {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<startState> ");
  }}
  before -> ChineseWallAutomaton, transition, Transition_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<transition> ");
  }}
  before -> ChineseWallAutomaton, groups, Group_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<groups> ");
  }}
  before -> ChineseWallAutomaton, citypes, CIType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<citypes> ");
  }}
  before -> ChineseWallAutomaton, history, Access_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<history> ");
  }}
  before State {{
    out.print(": State  (");
    indent++;
  }}
  after State {{
    out.print(" )");
    indent--;
  }}
  before -> State, accesses, Group_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<accesses> ");
  }}
  before Access {{
    out.print(": Access  (");
    indent++;
  }}
  after Access {{
    out.print(" )");
    indent--;
  }}
  before -> Access, objektid, ObjektId {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<objektid> ");
  }}
  before -> Access, group, Group {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<group> ");
  }}
  before Group {{
    out.print(": Group  (");
    indent++;
  }}
  after Group {{
    out.print(" )");
    indent--;
  }}
  before -> Group, groupname, GroupName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<groupname> ");
  }}
  before -> Group, citype, CIType {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<citype> ");
  }}
  before CIType {{
    out.print(": CIType  (");
    indent++;
  }}
  after CIType {{
    out.print(" )");
    indent--;
  }}
  before -> CIType, citypename, CITypeName {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<citypename> ");
  }}
  before Transition {{
    out.print(": Transition  (");
    indent++;
  }}
  after Transition {{
    out.print(" )");
    indent--;
  }}
  before -> Transition, newAccess, Access {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<newAccess> ");
  }}
  before ObjektId {{
    out.print(": ObjektId  (");
    indent++;
  }}
  after ObjektId {{
    out.print(" )");
    indent--;
  }}
  before -> ObjektId, ident, Ident {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  }}
  before GroupName {{
    out.print(": GroupName  (");
    indent++;
  }}
  after GroupName {{
    out.print(" )");
    indent--;
  }}
  before -> GroupName, ident, Ident {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  }}
  before CITypeName {{
    out.print(": CITypeName  (");
    indent++;
  }}
  after CITypeName {{
    out.print(" )");
    indent--;
  }}
  before -> CITypeName, ident, Ident {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  }}
  before AutomatonName {{
    out.print(": AutomatonName  (");
    indent++;
  }}
  after AutomatonName {{
    out.print(" )");
    indent--;
  }}
  before -> AutomatonName, ident, Ident {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  }}
  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 ChineseWallAutomaton_List {{
    out.print(": ChineseWallAutomaton_List  {");
    indent++;
  }}
  after ChineseWallAutomaton_List {{
    out.print(" }");
    indent--;
  }}
  before -> ChineseWallAutomaton_List, first, Nonempty_ChineseWallAutomaton_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Transition_List {{
    out.print(": Transition_List  {");
    indent++;
  }}
  after Transition_List {{
    out.print(" }");
    indent--;
  }}
  before -> Transition_List, first, Nonempty_Transition_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Group_List {{
    out.print(": Group_List  {");
    indent++;
  }}
  after Group_List {{
    out.print(" }");
    indent--;
  }}
  before -> Group_List, first, Nonempty_Group_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before CIType_List {{
    out.print(": CIType_List  {");
    indent++;
  }}
  after CIType_List {{
    out.print(" }");
    indent--;
  }}
  before -> CIType_List, first, Nonempty_CIType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Access_List {{
    out.print(": Access_List  {");
    indent++;
  }}
  after Access_List {{
    out.print(" }");
    indent--;
  }}
  before -> Access_List, first, Nonempty_Access_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_ChineseWallAutomaton_List {{
    out.print(": Nonempty_ChineseWallAutomaton_List  (");
    indent++;
  }}
  after Nonempty_ChineseWallAutomaton_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_ChineseWallAutomaton_List, it, ChineseWallAutomaton {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_ChineseWallAutomaton_List, next, Nonempty_ChineseWallAutomaton_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Transition_List {{
    out.print(": Nonempty_Transition_List  (");
    indent++;
  }}
  after Nonempty_Transition_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Transition_List, it, Transition {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Transition_List, next, Nonempty_Transition_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Group_List {{
    out.print(": Nonempty_Group_List  (");
    indent++;
  }}
  after Nonempty_Group_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Group_List, it, Group {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Group_List, next, Nonempty_Group_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_CIType_List {{
    out.print(": Nonempty_CIType_List  (");
    indent++;
  }}
  after Nonempty_CIType_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_CIType_List, it, CIType {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_CIType_List, next, Nonempty_CIType_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  before Nonempty_Access_List {{
    out.print(": Nonempty_Access_List  (");
    indent++;
  }}
  after Nonempty_Access_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_Access_List, it, Access {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_Access_List, next, Nonempty_Access_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}