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

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

This commit is contained in:
Manuel Krucker 2008-04-29 16:20:38 +00:00
parent bb485e91e2
commit 3fa9ba196b
2 changed files with 40 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
su4sml/src/ocl2string.sml
View File

@ -298,6 +298,7 @@ end
(** "pretty printing" of Repository models *)
structure Rep2String =
struct
open Rep_Logger
fun precond2string (SOME n,t) = " pre "^n^":\n "^
(Ocl2String.ocl2string false t)^"\n"
@ -363,8 +364,8 @@ fun classifier2string (C as Rep.Class x) =
| classifier2string (C as Rep.Template x) =
"template of "^ (classifier2string (#classifier x))
fun printClass (x:Rep.Classifier) = print (classifier2string x)
fun printClass (x:Rep.Classifier) = trace medium (classifier2string x)
fun printList (x:Rep.Classifier list) =
print (String.concatWith "\n\n" (map classifier2string x ))
trace medium (String.concatWith "\n\n" (map classifier2string x ))
end

42
su4sml/src/rep_logger.sml
View File

@ -112,6 +112,21 @@ val low = 100
val development = 200
fun add_spaces [x] = [x]
| add_spaces (h::tail) =
if (h = #"\n")
then ((#"\n")::(String.explode (get_offset())))@(add_spaces tail)
else (h)::(add_spaces tail)
fun embed_newline s =
let
val char_list = String.explode s
in
String.implode (add_spaces (char_list))
end
fun trace lev s =
case lev of
6 =>
@ -120,11 +135,15 @@ fun trace lev s =
val s2 = ("############## EXCEPTION MESSAGE ################\n")
val s3 = ("##################################################\n\n")
in
if (lev <= !log_level ) then print(s1^s2^s3^s) else ()
if (lev <= !log_level )
then print(s1^s2^s3^(embed_newline s))
else ()
end
| 25 =>
let
val _ = if (lev <= !log_level ) then print((get_offset())^s) else ()
val _ = if (lev <= !log_level )
then print((get_offset())^(embed_newline s))
else ()
in
inc_offset()
end
@ -132,12 +151,25 @@ fun trace lev s =
let
val x = dec_offset()
in
if (lev <= !log_level ) then print((get_offset())^s) else ()
if (lev <= !log_level )
then (print (get_offset()^(embed_newline s)))
else ()
end
| x =>
if x < 20
then (if (lev <= !log_level ) then print(s) else ())
else (if (lev <= !log_level ) then print((get_offset())^s) else ())
then
(
if (lev <= !log_level)
then print(s)
else ()
)
else
(
if (lev <= !log_level )
then (print ((get_offset())^(embed_newline s)))
else ()
)
(* HOLOCL_HOME resp. SU4SML_HOME should point to the top-level directory *)