Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_tree_parser.hash_index


class [< clone : 'a; node : 'a Pxp_document.node;
set_node : 'a Pxp_document.node -> unit; .. >
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