X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2FC%2Fgdome_xslt%2Fgdome_xslt.h;fp=helm%2FDEVEL%2Fgdome_xslt%2FC%2Fgdome_xslt%2Fgdome_xslt.h;h=88da4ec0ff381cd45642af54ac9a85fc804a98c7;hb=65f85baf7cde0af067fc93aaee04aeaa52437081;hp=7ae286d826a554f5c0014e1892d6b98872017684;hpb=03a05f7ca387367247aed363f51f03e9493442f4;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h b/helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h
index 7ae286d82..88da4ec0f 100644
--- a/helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h
+++ b/helm/DEVEL/gdome_xslt/C/gdome_xslt/gdome_xslt.h
@@ -1,3 +1,4 @@
+
 /* This file implements a XSLT engine working on Gdome documents. In fact,
  * it just maps Gdome documents to libxml documents back and forth, and
  * applyes the transformation on libxml documents using libxlt.
@@ -5,7 +6,9 @@
  * The code is largely based on the code of T.J. Mather's XML::GDOME::XSLT
  * Perl module (http://kobesearch.cpan.org/search?dist=XML-GDOME-XSLT)
  *
- * Copyright (C) 2002 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+ * Copyright (C) 2002:
+ * 	Claudio Sacerdoti Coen		<sacerdot@cs.unibo.it>
+ * 	Stefano Zacchiroli		<zack@cs.unibo.it>
  * 
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Lesser General Public
@@ -21,10 +24,24 @@
  * License along with this library; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  *
- * For more information, please send an email to <sacerdot@cs.unibo.it>
+ * For more information, please send an email to {sacerdot,zack}@cs.unibo.it
  */
 
 
-xsltStylesheetPtr processStylesheet(GdomeDocument* style);
+xsltStylesheetPtr	processStylesheet	(GdomeDocument* style);
+
+GdomeDocument* 		applyStylesheet		(GdomeDocument* source,
+						 xsltStylesheetPtr style_libxslt,
+						 const char** params);
+
+int			saveResultToFilename	(const char* name,
+		 				 GdomeDocument* result,
+						 xsltStylesheetPtr style_libxslt,
+						 int compression);
+int 			saveResultToFile	(FILE* file,
+						 GdomeDocument* result,
+						 xsltStylesheetPtr style_libxslt);
+int			saveResultToFd		(int fd,
+						 GdomeDocument* result,
+						 xsltStylesheetPtr style_libxslt);
 
-GdomeDocument* applyStylesheet(GdomeDocument* source, xsltStylesheetPtr style_libxslt, const char** params);