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

logging strings added 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7939 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-10 08:28:13 +00:00
parent a3bb081ae5
commit 8e8a95c260
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -324,9 +324,9 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
val from = (#1 packages)
val to = (#2 packages)
val model_packages = all_packages_of_model model
val _ = trace wgen ("Packages of model: "^(List.map (fn a => ((string_of_path (name_of a))^", ")) model_package)^".\n")
val _ = trace wgen ("Abstract Package = "^from^", contains "^(List.length(from))^" strings.\n")
val _ = trace wgen ("Concrete Package = "^to^", contains "^(List.length(from))^" strings.\n")
val _ = trace wgen ("Packages of model: "^(String.concat (List.map (fn a => ((string_of_path a)^", ")) model_packages))^".\n")
val _ = trace wgen ("Abstract Package = "^(string_of_path from)^", contains "^(Int.toString (List.length(from)))^" strings.\n")
val _ = trace wgen ("Concrete Package = "^(string_of_path to)^", contains "^(Int.toString(List.length(from)))^" strings.\n")
val check = if ((member from model_packages) andalso (member to model_packages))
then check_syntax_help model from to
handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s)