From 6391c90788217fbdd9c8e109b515c7a678a63bfd Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 2 Dec 2002 15:25:38 +0000 Subject: [PATCH] - moved here support_properties stuff --- helm/uwobo/src/ocaml/uwobo_common.ml | 15 +++++++++++++++ helm/uwobo/src/ocaml/uwobo_common.mli | 5 ++++- 2 files changed, 19 insertions(+), 1 deletion(-) 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 -- 2.39.2