Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_tree_parser.hash_index


class ['a Pxp_document.node #Pxp_document.extension as 'a] hash_index : object .. end
This is a simple implementation of Pxp_tree_parser.index using a hash table.

method add : string -> 'a Pxp_document.node -> unit
Add the passed node to the index. If there is already an ID with the passed string value, the exception Pxp_tree_parser.ID_not_unique is raised.
method find : string -> 'a Pxp_document.node
Finds the node with the passed ID value, or raises Not_found
method index : (string, 'a Pxp_document.node) Hashtbl.t
Returns the hash table mapping IDs to nodes.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml