logging strings added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7938 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
c0d4d6f621
commit
a3bb081ae5
|
@ -95,7 +95,7 @@ fun print_refine_args (args:RFM_args) =
|
||||||
let
|
let
|
||||||
val tuple = (#rfm_tuple args)
|
val tuple = (#rfm_tuple args)
|
||||||
in
|
in
|
||||||
(String.concat ["Refine rmf_tuples with args: abstract package = ",(string_of_path (#1 tuple)),", concrete package = ",(string_of_path (#2 tuple)),".\n"])
|
(String.concat ["Refine rmf_tuple with args: abstract package = ",(string_of_path (#1 tuple)),", concrete package = ",(string_of_path (#2 tuple)),".\n"])
|
||||||
end
|
end
|
||||||
fun rm x [] = []
|
fun rm x [] = []
|
||||||
| rm x [b] = if (x = b) then [] else [b]
|
| rm x [b] = if (x = b) then [] else [b]
|
||||||
|
@ -324,6 +324,9 @@ fun check_syntax wfpo (model:Rep.Model as (clist,alist)) =
|
||||||
val from = (#1 packages)
|
val from = (#1 packages)
|
||||||
val to = (#2 packages)
|
val to = (#2 packages)
|
||||||
val model_packages = all_packages_of_model model
|
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 check = if ((member from model_packages) andalso (member to model_packages))
|
val check = if ((member from model_packages) andalso (member to model_packages))
|
||||||
then check_syntax_help model from to
|
then check_syntax_help model from to
|
||||||
handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s)
|
handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s)
|
||||||
|
|
Loading…
Reference in New Issue