X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Futils%2FqName.mli;h=3d6c8993b501ed7f1c81dcc628f8d75d9d8480a5;hb=3a9b1a559d76758c1e8fb01f7f4b09fe976aaff7;hp=081c24d5975e43c7ca009dca7be59ce830d0f15a;hpb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349;p=tatoo.git

diff --git a/src/utils/qName.mli b/src/utils/qName.mli
index 081c24d..3d6c899 100644
--- a/src/utils/qName.mli
+++ b/src/utils/qName.mli
@@ -14,13 +14,13 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-01-30 19:07:34 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-04 22:48:34 CET by Kim Nguyen>
 *)
 
 (** Implementation of qualified names as hashconsed strings *)
 
-include Sigs.HCONS.S with type data = string
-include Sigs.AUX.Printable with type t := t
+include Hcons.S with type data = string
+include Common_sig.Printable with type t := t
 
 
 val of_string : string -> t
@@ -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 *)