X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tag.ml;h=139ff917f7b68b6a6b7d8c19cd97fe8da39633e9;hb=cad5e2e2831477cba1f6211c57b9a4cc5b58bd55;hp=f9c02756bfb81831861ea8a026c143ce7c5e59fa;hpb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;p=SXSI%2Fxpathcomp.git diff --git a/tag.ml b/tag.ml index f9c0275..139ff91 100644 --- a/tag.ml +++ b/tag.ml @@ -13,7 +13,7 @@ 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 () (* Defined in XMLTree.cpp *) @@ -21,6 +21,10 @@ 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