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

cleaned up 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7910 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-08 07:15:39 +00:00
parent cd2fae9e97
commit ceea613988
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -274,7 +274,6 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
val _ = trace function_calls ("WFCPOG_Refine_Constraint.check_syntax\n")
val data = WFCPOG_RFM_Data.get wfpo
val packages = (#rfm_tuples data)
val abstract_packages = List.map (fn (a,b) => a) packages
val model_packages = all_packages_of_model model
val check = List.all (fn (from,to) =>
if (member from model_packages) andalso (member to model_packages)
@ -346,7 +345,6 @@ fun refine_classifier abs_class conc_class model =
fun refine_package abs_path conc_path (model as (clist,alist)) =
let
val _ = trace function_calls ("WFCPOG_Refine_Constraint.refine_package\n")
val _ = trace function_ends ("WFCPOG_Refine_Constraint.refine_package\n")
val abs_classes = List.filter (fn a => (package_of a = abs_path) andalso (is_visible_cl a)) (clist)
val conc_classes = List.filter (fn a => (package_of a = conc_path) andalso (is_visible_cl a)) (clist)
val cl_grouped = group_cl abs_classes conc_classes