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

Plasma	GitLab	Archive
Projects	Blog	Knowledge