From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 2 Dec 2002 15:25:38 +0000 (+0000)
Subject: - moved here support_properties stuff
X-Git-Tag: V_0_0_6~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6391c90788217fbdd9c8e109b515c7a678a63bfd;p=helm.git

- moved here support_properties stuff
---

diff --git a/helm/uwobo/src/ocaml/uwobo_common.ml b/helm/uwobo/src/ocaml/uwobo_common.ml
index 09f9ba5a1..5ead99a54 100644
--- a/helm/uwobo/src/ocaml/uwobo_common.ml
+++ b/helm/uwobo/src/ocaml/uwobo_common.ml
@@ -29,6 +29,21 @@ let debug_print msg = if debug then prerr_endline msg;;
 
 exception Uwobo_failure of string;;
 
+let supported_properties = [
+  "cdata-section-elements";
+  "doctype-public";
+  "doctype-system";
+  "encoding";
+  "indent";
+  "media-type";
+  "method";
+  "omit-xml-declaration";
+  "standalone";
+  "version"
+]
+
+let is_supported_property name = List.mem name supported_properties
+
 class threadSafe =
   object (self)
 
diff --git a/helm/uwobo/src/ocaml/uwobo_common.mli b/helm/uwobo/src/ocaml/uwobo_common.mli
index a056678f2..0311998f0 100644
--- a/helm/uwobo/src/ocaml/uwobo_common.mli
+++ b/helm/uwobo/src/ocaml/uwobo_common.mli
@@ -24,7 +24,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception Uwobo_failure of string;;
+exception Uwobo_failure of string
+
+val supported_properties: string list
+val is_supported_property: string -> bool
 
 class threadSafe:
   object