- r.ET.n <- EU.list_toggle n r.ET.n
- | [1] -> st.ET.t <- EU.list_toggle_all st.ET.t
- | [1;m] -> st.ET.t <- EU.list_toggle m st.ET.t
- | [2] -> st.ET.w <- EU.list_toggle_all st.ET.w
- | [2;m] -> st.ET.w <- EU.list_toggle m st.ET.w
- | _ -> EU.raise_error ET.ENoEntry
+ r.ET.n <- EU.list_select n r.ET.n
+ | [1] -> st.ET.t <- EU.list_select_all st.ET.t
+ | [1;m] -> st.ET.t <- EU.list_select m st.ET.t
+ | [2] -> st.ET.w <- EU.list_select_all st.ET.w
+ | [2;m] -> st.ET.w <- EU.list_select m st.ET.w
+ | _ -> EU.raise_error ET.ENoEntry
+
+let expand_entry = function
+ | [0] -> EU.roles_expand_all st.ET.r
+ | [0;m] -> EU.roles_expand m st.ET.r
+ | _ -> EU.raise_error ET.ENoEntry
+
+let add_role () =
+ let ts,os = EU.list_split st.ET.t in
+ let ws,ns = EU.list_split st.ET.w in
+ if os = [] && ns = [] then () else
+ begin match EU.list_find_selected None st.ET.r with
+ | None ->
+ let r = {ET.x = false; ET.v = st.ET.s; ET.o = os; ET.n = ns} in
+ st.ET.r <- EU.roles_union [false, r] st.ET.r
+ | Some r ->
+ if r.ET.v <> st.ET.s then EU.raise_error ET.EWrongVersion else
+ r.ET.o <- EU.objs_union os r.ET.o;
+ r.ET.n <- EU.names_union ns r.ET.n;
+ end;
+ st.ET.t <- ts; st.ET.w <- ws; st.ET.m <- true
+
+let add_tops v =
+ if EU.exists_role_deleted st.ET.s st.ET.r || st.ET.t <> []
+ then EU.raise_error ET.ETops else
+ let ds, ts = EU.get_tops v st.ET.r in
+ if ds <> [] then begin
+ let r = {ET.x = false; ET.v = st.ET.s; ET.o = ds; ET.n = []} in
+ st.ET.r <- EU.roles_union [false, r] st.ET.r
+ end;
+ if ts <> [] then st.ET.t <- ts;
+ if ds <> [] || ts <> [] then st.ET.m <- true
+
+let rec add_matching () =
+ match EU.match_names 0 0 st.ET.t st.ET.w with
+ | None -> ()
+ | Some (ti,wi) ->
+ select_entry [1;ti];
+ select_entry [2;wi];
+ add_role ();
+ add_matching ()
+
+let remove_roles () =
+ let rs, os, ns = EU.roles_split st.ET.s st.ET.r in
+ if os = [] && ns = [] then () else begin
+ st.ET.t <- EU.objs_union os st.ET.t;
+ st.ET.w <- EU.names_union ns st.ET.w;
+ st.ET.r <- rs; st.ET.m <- true
+ end