From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 29 Nov 2002 11:25:16 +0000 (+0000)
Subject: - use saveResultTo* functions instead of gdome serialization to write
X-Git-Tag: V_0_0_6~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=219ad582d6bd25a3c786bcebf6daf8f9501b3aa2;p=helm.git

- use saveResultTo* functions instead of gdome serialization to write
  test results
---

diff --git a/helm/DEVEL/gdome_xslt/C/test/test.c b/helm/DEVEL/gdome_xslt/C/test/test.c
index d6881dbe7..a37c471f5 100644
--- a/helm/DEVEL/gdome_xslt/C/test/test.c
+++ b/helm/DEVEL/gdome_xslt/C/test/test.c
@@ -27,6 +27,9 @@
 
 #include "gdome_xslt.h"
 
+#define	OUTPUT_FILE		"../../test_files/output.xml"
+#define CORRECT_OUTPUT_FILE	"../../test_files/output.xml.correct"
+
 GdomeDocument* loadDocument(GdomeDOMImplementation *domimpl, char *uri)
 {
    GdomeDocument *doc;
@@ -42,6 +45,7 @@ GdomeDocument* loadDocument(GdomeDOMImplementation *domimpl, char *uri)
    return doc;
 }
 
+/*	// old version: use gdome serialization
 int saveDocument(GdomeDOMImplementation *domimpl, GdomeDocument* doc, char *uri)
 {
    GdomeException exc;
@@ -55,10 +59,16 @@ int saveDocument(GdomeDOMImplementation *domimpl, GdomeDocument* doc, char *uri)
 
    return 1;
 }
+*/
 
+	/* new version, use libxslt serialization */
+int saveDocument(char* fname, GdomeDocument* result, xsltStylesheetPtr style) {
+	return saveResultToFilename(fname, result, style, 0);
+}
 
 int main(void)
 {
+   int bytes;
    GdomeDOMImplementation *domimpl;
    GdomeDocument *input;
    GdomeDocument *style;
@@ -79,7 +89,8 @@ int main(void)
 
    output = applyStylesheet(input, style_libxslt, params);
 
-   if (!(saveDocument(domimpl, output, "../../test_files/output.xml"))) return 1;
+/*    if (!(saveDocument(domimpl, output, "../../test_files/output.xml"))) return 1; */
+   bytes = saveDocument("../../test_files/output.xml", output, style_libxslt);
 
    xsltFreeStylesheet(style_libxslt);
    gdome_di_freeDoc (domimpl, input, &exc);
@@ -87,8 +98,9 @@ int main(void)
    gdome_di_freeDoc (domimpl, output, &exc);
    gdome_di_unref (domimpl, &exc);
 
-   printf("The test was successful iff ../../test_files/output.xml.correct is\n");
-   printf("equal to ../../test_files/output.xml\n");
+   printf("The test was successful iff %s is equal to %s\n",
+          OUTPUT_FILE,
+          CORRECT_OUTPUT_FILE);
 
    return 0;
 }