1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml Tue Sep 28 08:58:06 2010 +0200
1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml Tue Sep 28 09:06:56 2010 +0200
1.3 @@ -25,14 +25,14 @@
1.4 (** add and delete users -----------------------------------------------
1.5 FIXXME.8.03 addUser: clear code, because only CalcTrees distinguished**)
1.6 fun adduserOK2xml (cI:calcID) (uI:iterID) =
1.7 - tracing ("@@@@@begin@@@@@\n "^string_of_int uI^" \n" ^
1.8 + writeln ("@@@@@begin@@@@@\n "^string_of_int uI^" \n" ^
1.9 "<ADDUSER>\n" ^
1.10 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.11 " <USERID> "^string_of_int uI^" </USERID>\n" ^
1.12 "</ADDUSER>\n" ^
1.13 "@@@@@end@@@@@");
1.14 fun deluserOK2xml (cI:calcID) (uI:iterID) =
1.15 - tracing ("@@@@@begin@@@@@\n "^string_of_int uI^" \n" ^
1.16 + writeln ("@@@@@begin@@@@@\n "^string_of_int uI^" \n" ^
1.17 "<DELUSER>\n" ^
1.18 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.19 " <USERID> "^string_of_int uI^" </USERID>\n" ^
1.20 @@ -41,27 +41,27 @@
1.21 (*---------------------------------------------------------------------*)
1.22
1.23 fun calctreeOK2xml (*uI:iterID*) (cI:calcID) =
1.24 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.25 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.26 "<CALCTREE>\n" ^
1.27 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.28 "</CALCTREE>\n" ^
1.29 "@@@@@end@@@@@");
1.30 fun deconstructcalctreeOK2xml (*uI:userID*) (cI:calcID) =
1.31 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.32 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.33 "<DELCALC>\n" ^
1.34 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.35 "</DELCALC>\n" ^
1.36 "@@@@@end@@@@@");
1.37
1.38 fun iteratorOK2xml (cI:calcID) (p:pos')=
1.39 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.40 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.41 "<CALCITERATOR>\n" ^
1.42 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.43 pos'2xml i ("POSITION", p) ^
1.44 "</CALCITERATOR>\n" ^
1.45 "@@@@@end@@@@@");
1.46 fun iteratorERROR2xml (cI:calcID) =
1.47 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.48 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.49 "<CALCITERATOR>\n" ^
1.50 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.51 " <ERROR> pos does not exist </ERROR>\n" ^
1.52 @@ -69,14 +69,14 @@
1.53 "@@@@@end@@@@@");
1.54
1.55 fun sysERROR2xml (cI:calcID) "" =
1.56 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.57 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.58 "<SYSERROR>\n" ^
1.59 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.60 " <ERROR> in kernel </ERROR>\n" ^
1.61 "</SYSERROR>\n" ^
1.62 "@@@@@end@@@@@")
1.63 | sysERROR2xml (cI:calcID) str =
1.64 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.65 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.66 "<SYSERROR>\n" ^
1.67 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.68 " <ERROR> "^str^" </ERROR>\n" ^
1.69 @@ -84,7 +84,7 @@
1.70 "@@@@@end@@@@@");
1.71
1.72 fun refformulaOK2xml (cI:calcID) p (Form t) =
1.73 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.74 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.75 "<REFFORMULA>\n" ^
1.76 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.77 " <CALCFORMULA>\n"^
1.78 @@ -96,7 +96,7 @@
1.79 "</REFFORMULA>\n" ^
1.80 "@@@@@end@@@@@")
1.81 | refformulaOK2xml (cI:calcID) p (ModSpec modspec) =
1.82 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.83 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.84 "<REFFORMULA>\n" ^
1.85 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.86 pos'calchead2xml i (p, modspec)^
1.87 @@ -104,7 +104,7 @@
1.88 "@@@@@end@@@@@");
1.89
1.90 fun refformulaERROR2xml (cI:calcID) = (*FIXME.WN.29.8.03 unused*)
1.91 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.92 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.93 "<REFFORMULA>\n" ^
1.94 " <ERROR> object is not a formula </ERROR>\n" ^
1.95 "</REFFORMULA>\n" ^
1.96 @@ -113,14 +113,14 @@
1.97 (* val (cI, tac) = (cI, ta);
1.98 *)
1.99 fun gettacticOK2xml (cI:calcID) tac =
1.100 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.101 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.102 "<GETTACTIC>\n" ^
1.103 " <CALCID> "^string_of_int cI^" </CALCID>\n"^
1.104 tac2xml i tac^
1.105 "</GETTACTIC>\n" ^
1.106 "@@@@@end@@@@@");
1.107 fun gettacticERROR2xml (cI:calcID) str =
1.108 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.109 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.110 "<GETTACTIC>\n" ^
1.111 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.112 " <ERROR> "^str^" </ERROR>\n" ^
1.113 @@ -128,7 +128,7 @@
1.114 "@@@@@end@@@@@");
1.115
1.116 fun applicabletacticsOK cI tacs =
1.117 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.118 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.119 "<APPLICABLETACTICS>\n" ^
1.120 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.121 " <TACLIST>\n"^
1.122 @@ -138,7 +138,7 @@
1.123 "@@@@@end@@@@@");
1.124
1.125 fun getasmsOK2xml (cI:calcID) terms =
1.126 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.127 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.128 "<GETASSUMPTIONS>\n" ^
1.129 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.130 " <ASMLIST>\n"^
1.131 @@ -151,7 +151,7 @@
1.132
1.133 (*WN0502 @see ME/ctree: type asms: illdesigned, thus not used*)
1.134 fun getaccuasmsOK2xml cI asms =
1.135 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.136 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.137 "<GETACCUMULATEDASMS>\n" ^
1.138 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.139 " <ASMLIST>\n"^
1.140 @@ -165,7 +165,7 @@
1.141 *)
1.142
1.143 fun getintervalOK (cI:calcID) fs =
1.144 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.145 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.146 "<GETELEMENTSFROMTO>\n" ^
1.147 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.148 " <FORMHEADS>\n"^
1.149 @@ -176,7 +176,7 @@
1.150
1.151
1.152 fun matchpbl2xml (cI:calcID) (model_ok, pI, hdl, pbl, pre) =
1.153 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.154 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.155 "<CONTEXTPBL>\n" ^
1.156 " <GUH> " ^ pblID2guh pI ^ " </GUH>\n" ^
1.157 " <STATUS> " ^ (if model_ok
1.158 @@ -190,7 +190,7 @@
1.159 "@@@@@end@@@@@");
1.160
1.161 fun matchmet2xml (cI:calcID) (model_ok, pI, scr, pbl, pre) =
1.162 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.163 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.164 "<CONTEXTMET>\n" ^
1.165 " <GUH> " ^ metID2guh pI ^ " </GUH>\n" ^
1.166 " <STATUS> " ^ (if model_ok
1.167 @@ -203,7 +203,7 @@
1.168
1.169
1.170 fun tryrefineOK2xml (cI:calcID) (ModSpec modspec) =
1.171 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.172 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.173 "<TRYREFINE>\n" ^
1.174 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.175 modspec2xml i modspec ^
1.176 @@ -211,7 +211,7 @@
1.177 "@@@@@end@@@@@");
1.178
1.179 fun appendformulaOK2xml (cI:calcID) (old:pos') (del:pos') (new:pos') =
1.180 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.181 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.182 "<APPENDFORMULA>\n" ^
1.183 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.184 " <CALCCHANGED>\n" ^
1.185 @@ -224,12 +224,12 @@
1.186 (* appendformulaOK2xml 1 ([2],Frm) ([3],Pbl) ([4],Res);
1.187 *)
1.188 fun appendformulaERROR2xml (cI:calcID) msg =
1.189 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.190 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.191 "<CALCMESSAGE> "^ msg ^" </CALCMESSAGE>\n" ^
1.192 "@@@@@end@@@@@");
1.193
1.194 fun replaceformulaOK2xml (cI:calcID) (old:pos') (del:pos') (new:pos') =
1.195 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.196 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.197 "<REPLACEFORMULA>\n" ^
1.198 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.199 " <CALCCHANGED>\n" ^
1.200 @@ -240,12 +240,12 @@
1.201 "</REPLACEFORMULA>\n" ^
1.202 "@@@@@end@@@@@");
1.203 fun replaceformulaERROR2xml (cI:calcID) msg =
1.204 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.205 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.206 "<CALCMESSAGE> "^ msg ^" </CALCMESSAGE>\n" ^
1.207 "@@@@@end@@@@@");
1.208
1.209 fun message2xml (cI:calcID) e =
1.210 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.211 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.212 "<MESSAGE>\n" ^
1.213 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.214 " <STRING> "^e^" </STRING>\n" ^
1.215 @@ -253,7 +253,7 @@
1.216 "@@@@@end@@@@@");
1.217
1.218 fun setnexttactic2xml (*uI:iterID*) (cI:calcID) e =
1.219 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.220 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.221 "<SETNEXTTACTIC>\n" ^
1.222 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.223 " <MESSAGE> "^e^" </MESSAGE>\n" ^
1.224 @@ -261,7 +261,7 @@
1.225 "@@@@@end@@@@@");
1.226
1.227 fun fetchproposedtacticOK2xml (*uI:userID*) (cI:calcID) tac =
1.228 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.229 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.230 "<NEXTTAC>\n" ^
1.231 " <CALCID> "^string_of_int cI^" </CALCID>\n"^
1.232 tac2xml i tac^
1.233 @@ -271,7 +271,7 @@
1.234 (* fetchproposedtactic2xml 11 22 (Rewrite ("rmult_commute","?m *?n =?n *?m"));
1.235 *)
1.236 fun fetchproposedtacticERROR2xml (*uI:userID*) (cI:calcID) e =
1.237 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.238 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.239 "<NEXTTAC>\n" ^
1.240 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.241 " <ERROR> "^ e ^" </ERROR>\n" ^
1.242 @@ -283,7 +283,7 @@
1.243 GENERATED: the pos' of the new active formula
1.244 .*)
1.245 fun autocalculateOK2xml (cI:calcID) (old:pos') (del:pos') (new:pos') =
1.246 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.247 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.248 "<AUTOCALC>\n" ^
1.249 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.250 " <CALCCHANGED>\n" ^
1.251 @@ -296,12 +296,12 @@
1.252 (* autocalculate2xml 11 22 (Rewrite ("rmult_commute","?m *?n =?n *?m"));
1.253 *)
1.254 fun autocalculateERROR2xml (cI:calcID) e =
1.255 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.256 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.257 "<CALCMESSAGE> "^ e ^" </CALCMESSAGE>\n" ^
1.258 "@@@@@end@@@@@");
1.259
1.260 fun interStepsOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
1.261 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.262 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.263 "<INTERSTEPS>\n" ^
1.264 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.265 " <CALCCHANGED>\n" ^
1.266 @@ -312,12 +312,12 @@
1.267 "</INTERSTEPS>\n" ^
1.268 "@@@@@end@@@@@");
1.269 fun interStepsERROR (cI:calcID) e =
1.270 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.271 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.272 " <CALCMESSAGE> "^ e ^" </CALCMESSAGE>\n" ^
1.273 "@@@@@end@@@@@");
1.274
1.275 fun modifycalcheadOK2xml (cI:calcID) (chd as (complete,p_,_,_,_,_):ocalhd) =
1.276 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.277 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.278 "<MODIFYCALCHEAD>\n" ^
1.279 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.280 " <STATUS> "^(if complete then "complete"
1.281 @@ -329,7 +329,7 @@
1.282 (* val (cI, contthy) = (cI, (context_thy (pt,pos) tac));
1.283 *)
1.284 fun contextthyOK2xml cI contthy =
1.285 - tracing ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.286 + writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^
1.287 "<CONTEXTTHY>\n" ^
1.288 " <CALCID> "^string_of_int cI^" </CALCID>\n" ^
1.289 contthy2xml i contthy ^
1.290 @@ -338,5 +338,5 @@
1.291
1.292 (*
1.293 fun contextthyNO2xml guh =
1.294 - tracing (datatypes.contextthyNO2xml 0 guh);
1.295 + writeln (datatypes.contextthyNO2xml 0 guh);
1.296 *)