From 87d62dd3209de927421b064121b90129e8dc0c54 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Mon, 28 Apr 2008 09:23:15 +0000
Subject: [PATCH] git-svn-id:
 https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7776
 3260e6d1-4efc-4170-b0a7-36055960796d

---
 su4sml/src/wfcpog/SecureUML_constraint.sml | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/su4sml/src/wfcpog/SecureUML_constraint.sml b/su4sml/src/wfcpog/SecureUML_constraint.sml
index daf98ce..eeeb3e0 100644
--- a/su4sml/src/wfcpog/SecureUML_constraint.sml
+++ b/su4sml/src/wfcpog/SecureUML_constraint.sml
@@ -86,17 +86,19 @@ exception WFCPO_SecureUMLError of string
 
 type SSD_args = 
      {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 = 
-    let
-    
-    in
-
-    end
-
+fun separation_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 ("Extract args ...\n")
 	val ssd_args = WFCPOG_SSD_Data.get wfpo
-	val 
 	val res = separation_of_duty_help cl model
 	val _ = trace function_ends ("WFCPOG_SecureUML_Constraint.separation_of_duty\n")
     in
@@ -127,4 +128,5 @@ fun binding_of_duty wfpo model =
     in
 	res
     end
+
 end;