]> matita.cs.unibo.it Git - helm.git/commitdiff
use saveResultToChannel instead of gdome serialization to save test
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:27:32 +0000 (11:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:27:32 +0000 (11:27 +0000)
results

helm/DEVEL/gdome_xslt/ocaml/test/test.ml

index 3e313ed6c227919ee33708ac88c172f52e8d1198..4cd1034357716f76a5e29fd126ffb2ddf26a4723 100644 (file)
  * For more information, please send an email to <sacerdot@cs.unibo.it>
  *)
 
+let (output_file,
+     correct_output_file,
+     input_file,
+     stylesheet_file)  =
+  ("../../test_files/output.xml",
+   "../../test_files/output.xml.correct",
+   "../../test_files/input.xml",
+   "../../test_files/stylesheet.xsl")
+in
 let domImpl = Gdome.domImplementation () in
  let input =
-  domImpl#createDocumentFromURI ~uri:"../../test_files/input.xml" ()
+  domImpl#createDocumentFromURI ~uri:input_file ()
  and style =
-  domImpl#createDocumentFromURI ~uri:"../../test_files/stylesheet.xsl" ()
+  domImpl#createDocumentFromURI ~uri:stylesheet_file ()
  in
   (* First of all, let's try the exception handling machinery *)
   let _ =
    try
-    ignore (Gdome_xslt.processStylesheet input) ;
+    ignore (Gdome_xslt.processStylesheet input);
     assert false (* previous line should rise an exception *)
    with
     Gdome_xslt_init.ProcessStylesheetException -> ()
@@ -45,16 +54,26 @@ let domImpl = Gdome.domImplementation () in
       "parameter3","'value3'"
      ]
    in
+(*  (* old version: use gdome serialization functions *)
     let res =
-     domImpl#saveDocumentToFile ~doc:output ~name:"../../test_files/output.xml"
-      ()
+     domImpl#saveDocumentToFile ~doc:output ~name:output_file ()
     in
      if not res then
-      prerr_endline "Error saving to document ../../test_files/output.xml"
+      prerr_endline ("Error saving to document " ^ output_file)
      else
       begin
-       print_endline
-        "The test was successful iff ../../test_files/output.xml.correct is" ;
-       print_endline "equal to ../../test_files/output.xml"
+       Printf.printf
+        "The test was successful iff %s is equal to %s\n"
+        output_file
+        correct_output_file
       end
+*)
+  (* new version: use libxslt serialization functions *)
+  let outchan = open_out output_file in
+  Gdome_xslt.saveResultToChannel ~outchan ~result:output ~stylesheet:pstyle;
+  close_out outchan;
+  Printf.printf
+   "The test was successful iff %s is equal to %s\n"
+   output_file
+   correct_output_file
 ;;