1 (***********************************************************************)
5 (* Kim Nguyen, LRI UMR8623 *)
6 (* Université Paris-Sud & CNRS *)
8 (* Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
9 (* Recherche Scientifique. All rights reserved. This file is *)
10 (* distributed under the terms of the GNU Lesser General Public *)
11 (* License, with the special exception on linking described in file *)
14 (***********************************************************************)
17 Time-stamp: <Last modified on 2013-03-04 22:48:34 CET by Kim Nguyen>
20 (** Implementation of qualified names as hashconsed strings *)
22 include Hcons.S with type data = string
23 include Common_sig.Printable with type t := t
26 val of_string : string -> t
27 (** Utility function, equivalent to [make] *)
29 val to_string : t -> string
30 (** Utility function, equivalent to [node] *)
33 (** Special constants, that denote the QName of nodes that are not
34 elements (using the nodeValue property of DOM for such nodes.
38 (** Represents the QName of a document node. Equivalent to
39 [of_string "#document"]
43 (** Represents the QName of a text node. Equivalent to
48 (** Represents the QName of a document node. Equivalent to
49 [of_string "#cdata-section"]
53 (** Represents the QName of a comment node. Equivalent to
54 [of_string "#comment"]
57 val document_fragment : t
58 (** Represents the QName of a document fragment. Equivalent to
59 [of_string "#document-fragment"]
63 (** Represents the QName of a dummy document node holding the
64 attributes of the current element. Equivalent to
65 [of_string "#attribute-map"]
69 (** Represents the QName of a nil node. Equivalent to
73 val attribute_prefix : t
74 (** Represents a prefix that may be prepended to attribute name
75 to distinguish them from element names
78 val has_attribute_prefix : t -> bool
79 (** Tests whether the given QName starts with the attribute prefix
82 val add_attribute_prefix : t -> t
83 (** Prepends the attribute_prefix to the given QName *)