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

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

This commit is contained in:
Manuel Krucker 2008-05-22 11:35:00 +00:00
parent 34913331cb
commit dbfb970d1a
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
su4sml/src/wfcpog/refine_constraint.sml
View File

@ -344,7 +344,7 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
check
end
(*
fun refine_operation abs_oper conc_oper abs_class conc_class model =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_classifier\n")
@ -355,7 +355,8 @@ fun refine_operation abs_oper conc_oper abs_class conc_class model =
in
(["po_refine_"^(string_of_path (name_of abs_class))^"_"^(string_of_path (name_of conc_class))^"_"^(name_of_op abs_oper)],refine)
end
(*
*)
fun refine_operation abs_oper conc_oper abs_class conc_class model =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_classifier\n")
@ -367,7 +368,7 @@ fun refine_operation abs_oper conc_oper abs_class conc_class model =
in
(["po_refine_"^(string_of_path (name_of abs_class))^"_"^(string_of_path (name_of conc_class))^"_"^(name_of_op abs_oper)],refine)
end
*)
fun refine_classifier abs_class conc_class model =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_classifier\n")

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

@ -292,7 +292,7 @@ fun get_holocl_operation oper class model =
val _ = trace function_calls ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
val hol_name = string_of_path ((name_of class)@[name_of_op oper])
val styp = type_of class
val src = Variable((string_of_path ((name_of class)@[name_of_op oper])),styp)
val src = Variable((string_of_path ((name_of class)@[(varcounter.nextStr())])),styp)
val predicate = Predicate(src,Boolean,[hol_name],args2varargs (arguments_of_op oper))
val _ = trace function_ends ("WFCPOG_Refine_Constraint.get_holocl_operation\n")
in