// This file was generated by DAJ from program.cd.

ChineseWallPolicyChecker = <chineseWallAutomaton_List> ChineseWallAutomaton_List EOF.
ChineseWallAutomaton = "Chinese" "Wall" "automaton" <automatonName> AutomatonName "currentState" <currentState> State ["startState" <startState> State ] ["transitions" <transition> Transition_List ] "groups" <groups> Group_List "citypes" <citypes> CIType_List "history" <history> Access_List.
State = <g_accesses> Group_List <t_accesses> CIType_List.
Access = <objektId> ObjektId "group" <group> Group.
Group = <groupName> GroupName ["citype" <cIType> CIType ].
CIType = <cITypeName> CITypeName.
Transition = <newAccess> Access.
ObjektId = <ident> Ident.
GroupName = <ident> Ident.
CITypeName = <ident> Ident.
AutomatonName = <ident> Ident.
ChineseWallAutomaton_List ~ "(" { ChineseWallAutomaton  } ")".
Transition_List ~ "(" { Transition  } ")".
Group_List ~ "(" { Group  } ")".
CIType_List ~ "(" { CIType  } ")".
Access_List ~ "(" { Access  } ")".