git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7776 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
6da8f2773d
commit
87d62dd320
|
@ -86,17 +86,19 @@ exception WFCPO_SecureUMLError of string
|
||||||
|
|
||||||
type SSD_args =
|
type SSD_args =
|
||||||
{key : int,
|
{key : int,
|
||||||
mutex_perm_sets: (SecureUML.Permission list) list
|
mutex_perm_sets: (Permission list) list
|
||||||
}
|
}
|
||||||
|
|
||||||
|
structure WFCPOG_SSD_Data = WFCPOG_DataFun
|
||||||
|
(struct
|
||||||
|
type T = SSD_args;
|
||||||
|
val empty = ({key=11,rfm_tuples=[[]:Permission list];
|
||||||
|
fun copy T = T;
|
||||||
|
fun extend T = T;
|
||||||
|
end);
|
||||||
|
|
||||||
fun separation_of_duty_help (cl::clist) model =
|
fun separation_of_duty_help (cl::clist) model = []
|
||||||
let
|
|
||||||
|
|
||||||
in
|
|
||||||
|
|
||||||
end
|
|
||||||
|
|
||||||
fun binding_of_duty_help (cl::clist) model = []
|
fun binding_of_duty_help (cl::clist) model = []
|
||||||
|
|
||||||
|
|
||||||
|
@ -110,7 +112,6 @@ fun separation_of_duty wfpo model =
|
||||||
val _ = trace wgen ("oclLib removed ...\n")
|
val _ = trace wgen ("oclLib removed ...\n")
|
||||||
val _ = trace wgen ("Extract args ...\n")
|
val _ = trace wgen ("Extract args ...\n")
|
||||||
val ssd_args = WFCPOG_SSD_Data.get wfpo
|
val ssd_args = WFCPOG_SSD_Data.get wfpo
|
||||||
val
|
|
||||||
val res = separation_of_duty_help cl model
|
val res = separation_of_duty_help cl model
|
||||||
val _ = trace function_ends ("WFCPOG_SecureUML_Constraint.separation_of_duty\n")
|
val _ = trace function_ends ("WFCPOG_SecureUML_Constraint.separation_of_duty\n")
|
||||||
in
|
in
|
||||||
|
@ -127,4 +128,5 @@ fun binding_of_duty wfpo model =
|
||||||
in
|
in
|
||||||
res
|
res
|
||||||
end
|
end
|
||||||
|
|
||||||
end;
|
end;
|
||||||
|
|
Loading…
Reference in New Issue