X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2FC%2Ftest%2Ftest.c;h=2f39ba87a4c81adc9a0f35ae79cb2e3c21d38532;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d6881dbe7fb316bb60505fef7c6ed54982f8f30c;hpb=0474bcec6d3bb8972eec0964a34872712122f340;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/C/test/test.c b/helm/DEVEL/gdome_xslt/C/test/test.c
index d6881dbe7..2f39ba87a 100644
--- a/helm/DEVEL/gdome_xslt/C/test/test.c
+++ b/helm/DEVEL/gdome_xslt/C/test/test.c
@@ -20,13 +20,16 @@
  */
 
 #include <stdio.h>
-#include <libgdome/gdome.h>
+#include <gdome.h>
 #include <libxslt/xsltconfig.h>
 #include <libxslt/xslt.h>
 #include <libxslt/imports.h>
 
 #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;
 }