X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqName.mli;h=978ba3c664d918ffe9983246213650e02caa8255;hp=36bf022d3e6c676219753ef4f75ce319133fbca2;hb=974dacbf4f625bfd8ea83db69d6b346050141fea;hpb=cba2938d929fd5119b1491686ddc224d5af618c6 diff --git a/src/qName.mli b/src/qName.mli index 36bf022..978ba3c 100644 --- a/src/qName.mli +++ b/src/qName.mli @@ -13,10 +13,14 @@ (* *) (***********************************************************************) +(* + Time-stamp: +*) + (** 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 +44,27 @@ 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_map : t -(** Represents the QName of a dummy document node holding the - attributes of the current element. Equivalent to - [of_string "#attribute-map"] +val attribute : 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 processing_instruction : t -> t +(** Adds a prefix character (?) to distinguish the name + from an element name +*) + +val remove_prefix : t -> t +(** Removes the prefix of the qname given as argument. Does not + do anything if there is no prefix. *)