// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main, -> Main,s,String,
    ChineseWallPolicyChecker, -> ChineseWallPolicyChecker,chinesewallautomaton_list,ChineseWallAutomaton_List,
    ChineseWallAutomaton, -> ChineseWallAutomaton,automatonname,AutomatonName, -> ChineseWallAutomaton,currentState,State, -> ChineseWallAutomaton,startState,State, -> ChineseWallAutomaton,transition,Transition_List, -> ChineseWallAutomaton,groups,Group_List, -> ChineseWallAutomaton,citypes,CIType_List, -> ChineseWallAutomaton,history,Access_List,
    State, -> State,accesses,Group_List,
    Access, -> Access,objektid,ObjektId, -> Access,group,Group,
    Group, -> Group,groupname,GroupName, -> Group,citype,CIType,
    CIType, -> CIType,citypename,CITypeName,
    Transition, -> Transition,newAccess,Access,
    ObjektId, -> ObjektId,ident,Ident,
    GroupName, -> GroupName,ident,Ident,
    CITypeName, -> CITypeName,ident,Ident,
    AutomatonName, -> AutomatonName,ident,Ident,
    ChineseWallAutomaton_List, -> ChineseWallAutomaton_List,first,Nonempty_ChineseWallAutomaton_List,
    Transition_List, -> Transition_List,first,Nonempty_Transition_List,
    Group_List, -> Group_List,first,Nonempty_Group_List,
    CIType_List, -> CIType_List,first,Nonempty_CIType_List,
    Access_List, -> Access_List,first,Nonempty_Access_List,
    Nonempty_ChineseWallAutomaton_List, -> Nonempty_ChineseWallAutomaton_List,it,ChineseWallAutomaton, -> Nonempty_ChineseWallAutomaton_List,next,Nonempty_ChineseWallAutomaton_List,
    Nonempty_Transition_List, -> Nonempty_Transition_List,it,Transition, -> Nonempty_Transition_List,next,Nonempty_Transition_List,
    Nonempty_Group_List, -> Nonempty_Group_List,it,Group, -> Nonempty_Group_List,next,Nonempty_Group_List,
    Nonempty_CIType_List, -> Nonempty_CIType_List,it,CIType, -> Nonempty_CIType_List,next,Nonempty_CIType_List,
    Nonempty_Access_List, -> Nonempty_Access_List,it,Access, -> Nonempty_Access_List,next,Nonempty_Access_List
  } {{ }}
  after { 
    Main, -> Main,s,String,
    ChineseWallPolicyChecker, -> ChineseWallPolicyChecker,chinesewallautomaton_list,ChineseWallAutomaton_List,
    ChineseWallAutomaton, -> ChineseWallAutomaton,automatonname,AutomatonName, -> ChineseWallAutomaton,currentState,State, -> ChineseWallAutomaton,startState,State, -> ChineseWallAutomaton,transition,Transition_List, -> ChineseWallAutomaton,groups,Group_List, -> ChineseWallAutomaton,citypes,CIType_List, -> ChineseWallAutomaton,history,Access_List,
    State, -> State,accesses,Group_List,
    Access, -> Access,objektid,ObjektId, -> Access,group,Group,
    Group, -> Group,groupname,GroupName, -> Group,citype,CIType,
    CIType, -> CIType,citypename,CITypeName,
    Transition, -> Transition,newAccess,Access,
    ObjektId, -> ObjektId,ident,Ident,
    GroupName, -> GroupName,ident,Ident,
    CITypeName, -> CITypeName,ident,Ident,
    AutomatonName, -> AutomatonName,ident,Ident,
    ChineseWallAutomaton_List, -> ChineseWallAutomaton_List,first,Nonempty_ChineseWallAutomaton_List,
    Transition_List, -> Transition_List,first,Nonempty_Transition_List,
    Group_List, -> Group_List,first,Nonempty_Group_List,
    CIType_List, -> CIType_List,first,Nonempty_CIType_List,
    Access_List, -> Access_List,first,Nonempty_Access_List,
    Nonempty_ChineseWallAutomaton_List, -> Nonempty_ChineseWallAutomaton_List,it,ChineseWallAutomaton, -> Nonempty_ChineseWallAutomaton_List,next,Nonempty_ChineseWallAutomaton_List,
    Nonempty_Transition_List, -> Nonempty_Transition_List,it,Transition, -> Nonempty_Transition_List,next,Nonempty_Transition_List,
    Nonempty_Group_List, -> Nonempty_Group_List,it,Group, -> Nonempty_Group_List,next,Nonempty_Group_List,
    Nonempty_CIType_List, -> Nonempty_CIType_List,it,CIType, -> Nonempty_CIType_List,next,Nonempty_CIType_List,
    Nonempty_Access_List, -> Nonempty_Access_List,it,Access, -> Nonempty_Access_List,next,Nonempty_Access_List
  } {{ }}
  finish {{ }}
}