HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7744 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-04-23 22:13:57 +00:00
parent efa84893da
commit 6728e849ab
3 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/wfcpog/liskov_constraint.sml
View File

@ -197,7 +197,7 @@ fun conjugate_invariants_help [] model = []
(* get the invariants of all parents *)
val invariants = all_invariants_of class model
val c_name = string_of_path (name_of class)
val invs = List.map (fn (a,b) => (Predicate(b,type_of_term b,name_of_inv class,[selfarg (type_of class)]))) invariants
val invs = List.map (fn (a,b) => (Predicate(b,type_of_term b,name_of_inv class,[selfarg (type_of class)]))) invariants
in
if (List.length(invs) = 0)
then (conjugate_invariants_help clist model)

3
su4sml/src/wfcpog/test-data.sml
View File

@ -26,9 +26,10 @@ val sm = WFCPOG_Registry.get_wfpo WFCPOG_Registry.supported "strong_model"
val _ = trace high ("............. data model constraint loaded ...\n")
(** OPERATIONAL CONSTRAINT **)
(*
val om = WFCPOG_Registry.get_wfpo WFCPOG_Registry.supported "oper_model"
val _ = trace high ("............. operational constraint loaded ...\n")
*)
(** COMMAND/QUERY CONSTRAINT **)
val cmd = WFCPOG_Registry.get_wfpo WFCPOG_Registry.supported "cmd"
val quy = WFCPOG_Registry.get_wfpo WFCPOG_Registry.supported "quy"

4
su4sml/src/wfcpog/wfcpog_registry.sml
View File

@ -225,7 +225,7 @@ val supported = [
recommends = [],
apply = WFCPOG.POG(WFCPOG_Data_Model_Consistency_Constraint.strong_model_consistency),
data = Datatab.empty
},
},(*
WFCPOG.WFPO{
identifier = "oper_model", (* identifier *)
name = "Operational model consistency",
@ -235,7 +235,7 @@ val supported = [
recommends = [],
apply = WFCPOG.POG(WFCPOG_Operational_Constraint.generate_pos),
data = Datatab.empty
},
},*)
WFCPOG.WFPO{
identifier = "cmd", (* identifier *)
name = "Query Command Constraint",