src/sml/xmlsrc/interface-xml.sml
changeset 2073 bf0e6012b522
parent 2067 b53b8d1575c7
child 2082 1f418b3acd49
equal deleted inserted replaced
2072:6af8b6f15d97 2073:bf0e6012b522
   219 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   219 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   220 	     \  <ERROR> "^ e ^" </ERROR>\n\
   220 	     \  <ERROR> "^ e ^" </ERROR>\n\
   221 	     \</AUTOCALC>\n\
   221 	     \</AUTOCALC>\n\
   222 	     \@@@@@end@@@@@");
   222 	     \@@@@@end@@@@@");
   223 
   223 
   224 fun detailStepOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
   224 fun interStepsOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
   225     writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
   225     writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
   226 	     \<DETAILSTEP>\n\
   226 	     \<DETAILSTEP>\n\
   227 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   227 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   228 	     \  <CALCCHANGED>\n" ^
   228 	     \  <CALCCHANGED>\n" ^
   229 	     pos'2xml (2*i) ("UNCHANGED", old) ^ 
   229 	     pos'2xml (2*i) ("UNCHANGED", old) ^ 
   230 	     pos'2xml (2*i) ("DELETED", del) ^ 
   230 	     pos'2xml (2*i) ("DELETED", del) ^ 
   231 	     pos'2xml (2*i) ("GENERATED", new) ^ 
   231 	     pos'2xml (2*i) ("GENERATED", new) ^ 
   232 	     "  </CALCCHANGED>\n\
   232 	     "  </CALCCHANGED>\n\
   233 	     \</DETAILSTEP>\n\
   233 	     \</DETAILSTEP>\n\
   234 	     \@@@@@end@@@@@");
   234 	     \@@@@@end@@@@@");
   235 fun detailStepERROR (cI:calcID) e =
   235 fun interStepsERROR (cI:calcID) e =
   236     writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
   236     writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
   237 	     \<DETAILSTEP>\n\
   237 	     \<DETAILSTEP>\n\
   238 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   238 	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
   239 	     \  <ERROR> "^ e ^" </ERROR>\n\
   239 	     \  <ERROR> "^ e ^" </ERROR>\n\
   240 	     \</DETAILSTEP>\n\
   240 	     \</DETAILSTEP>\n\