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