Add a specific prefix for QNames that represent attributes.

[tatoo.git] / src / utils / qName.mli

diff --git a/src/utils/qName.mli b/src/utils/qName.mli
index 081c24d..4ffaa41 100644 (file)
--- a/src/utils/qName.mli
+++ b/src/utils/qName.mli
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-01-30 19:07:34 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-02-14 16:15:23 CET by Kim Nguyen>
 *)
 
 (** Implementation of qualified names as hashconsed strings *)
@@ -51,7 +51,7 @@ val cdata_section : t
 
 val comment : t
 (** Represents the QName of a comment node. Equivalent to
-    [of_string "#cdata-section"]
+    [of_string "#comment"]
 *)
 
 val document_fragment : t
@@ -69,3 +69,15 @@ val nil : t
 (** Represents the QName of a nil node. Equivalent to
     [of_string "#"]
 *)
+
+val attribute_prefix : t
+(** Represents a prefix that may be prepended to attribute name
+    to distinguish them from element names
+*)
+
+val has_attribute_prefix : t -> bool
+(** Tests whether the given QName starts with the attribute prefix
+*)
+
+val add_attribute_prefix : t -> t
+(** Prepends the attribute_prefix to the given QName *)