X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2FqName.mli;fp=src%2Futils%2FqName.mli;h=4ffaa412ac8cd088712cf87c065c58dd94263119;hp=081c24d5975e43c7ca009dca7be59ce830d0f15a;hb=fadcbf2f6f9f33b844fd5e875a1bda4bed446a43;hpb=10aa93a09950c79d316594aa7d4bb62b64c1a60b diff --git a/src/utils/qName.mli b/src/utils/qName.mli index 081c24d..4ffaa41 100644 --- a/src/utils/qName.mli +++ b/src/utils/qName.mli @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) (** 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 *)