36 fun xml_of_itms itms = |
36 fun xml_of_itms itms = |
37 let |
37 let |
38 fun extract (_, _, _, _, itm_) = itm_ |
38 fun extract (_, _, _, _, itm_) = itm_ |
39 in map (xml_of_itm_ o extract) itms end |
39 in map (xml_of_itm_ o extract) itms end |
40 (*T_TEST*) |
40 (*T_TEST*) |
41 fun xml_of_itm_TEST (I_Model.Cor_TEST (dts, _)) = |
41 fun xml_of_itm_TEST (I_Model.Cor_TEST dts) = |
42 XML.Elem (("ITEM", [("status", "correct")]), [xml_of_term (Input_Descript.join' dts)]) |
42 XML.Elem (("ITEM", [("status", "correct")]), [xml_of_term (Input_Descript.join' dts)]) |
43 | xml_of_itm_TEST (I_Model.Syn_TEST c) = |
43 | xml_of_itm_TEST (I_Model.Syn_TEST c) = |
44 XML.Elem (("ITEM", [("status", "syntaxerror")]), [XML.Text c]) |
44 XML.Elem (("ITEM", [("status", "syntaxerror")]), [XML.Text c]) |
45 | xml_of_itm_TEST (I_Model.Inc_TEST (dts, _)) = |
45 | xml_of_itm_TEST (I_Model.Inc_TEST dts) = |
46 XML.Elem (("ITEM", [("status", "incomplete")]), [xml_of_term (Input_Descript.join' dts)]) |
46 XML.Elem (("ITEM", [("status", "incomplete")]), [xml_of_term (Input_Descript.join' dts)]) |
47 | xml_of_itm_TEST (I_Model.Sup_TEST dts) = |
47 | xml_of_itm_TEST (I_Model.Sup_TEST dts) = |
48 XML.Elem (("ITEM", [("status", "superfluous")]), [xml_of_term (Input_Descript.join' dts)]) |
48 XML.Elem (("ITEM", [("status", "superfluous")]), [xml_of_term (Input_Descript.join' dts)]) |
49 fun xml_of_itms_TEST itms = |
49 fun xml_of_itms_TEST itms = |
50 let |
50 let |