Initial revision

[helm.git] / helm / uwobo / src / ocaml / uwobo_common.ml

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)