X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;h=c692e980970d69b43c598c1f2f3754e44a8aa552;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=f9c02756bfb81831861ea8a026c143ce7c5e59fa;hpb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;p=SXSI%2Fxpathcomp.git diff --git a/tag.ml b/tag.ml index f9c0275..c692e98 100644 --- a/tag.ml +++ b/tag.ml @@ -13,14 +13,19 @@ type pool external null_pool : unit -> pool = "caml_xml_tree_nullt" external null_tag : unit -> t = "caml_xml_tree_nullt" external register_tag : pool -> string -> t = "caml_xml_tree_register_tag" -external tag_name : pool -> t -> string = "caml_xml_tree_tag_name" +external tag_name : pool -> t -> string = "caml_xml_tree_get_tag_name" let nullt = null_tag () +let dummy = nullt (* Defined in XMLTree.cpp *) let document_node = 0 let attribute = 1 let pcdata = 2 let attribute_data= 3 +let document_node_close = 4 +let attribute_close = 5 +let pcdata_close = 6 +let attribute_data_close= 7 let pool = Weak.create 1