- moved here support_properties stuff

diff --git a/helm/uwobo/src/ocaml/uwobo_common.ml b/helm/uwobo/src/ocaml/uwobo_common.ml
index 09f9ba5a100f8fdb340f662c09edeb9e1e495143..5ead99a54dfecdae37ca96c80e56b76ba4b546ce 100644 (file)
--- 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 a056678f2b0ff448fad422917a05c63fa00d9b72..0311998f037bf17c158fdd8925f110a389f4fc26 100644 (file)
--- 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