X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqName.mli;h=7a892e95acc78700c167e910c0e459363432b3e5;hp=36bf022d3e6c676219753ef4f75ce319133fbca2;hb=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2;hpb=cba2938d929fd5119b1491686ddc224d5af618c6 diff --git a/src/qName.mli b/src/qName.mli index 36bf022..7a892e9 100644 --- a/src/qName.mli +++ b/src/qName.mli @@ -16,7 +16,7 @@ (** Implementation of qualified names as hashconsed strings *) include Hcons.S with type data = string -include Sigs.Printable with type t := t +include Common_sig.Printable with type t := t val of_string : string -> t @@ -40,28 +40,28 @@ val text : t [of_string "#text"] *) -val cdata_section : t -(** Represents the QName of a document node. Equivalent to - [of_string "#cdata-section"] -*) - val comment : t (** Represents the QName of a comment node. Equivalent to - [of_string "#cdata-section"] + [of_string "#comment"] *) -val document_fragment : t -(** Represents the QName of a document fragment. Equivalent to - [of_string "#document-fragment"] +val nil : t +(** Represents the QName of a nil node. Equivalent to + [of_string "#"] +*) +(* +val attribute : t -> t +(** Adds a prefix character (@) to distinguish the name + from an element name *) -val attribute_map : t -(** Represents the QName of a dummy document node holding the - attributes of the current element. Equivalent to - [of_string "#attribute-map"] +val processing_instruction : t -> t +(** Adds a prefix character (?) to distinguish the name + from an element name *) -val nil : t -(** Represents the QName of a nil node. Equivalent to - [of_string "#"] +val remove_prefix : t -> t +(** Removes the prefix of the qname given as argument. Does not + do anything if there is no prefix. +*) *)