X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2FqName.mli;h=e738af5ded8cfd60521befb4326b740c3f77f01f;hp=36bf022d3e6c676219753ef4f75ce319133fbca2;hb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e;hpb=cba2938d929fd5119b1491686ddc224d5af618c6 diff --git a/src/qName.mli b/src/qName.mli index 36bf022..e738af5 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,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. *)