X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.mli;h=ea520c4c5c1df1b1d63f37247bf510c4574bb321;hp=2369eff63b1f0f153204fc7f8d608677fe7a1be0;hb=273665d1294e6253fbd45137471e7dd568b38735;hpb=72880536f01e8260441efda43430f893e8e4595b diff --git a/src/query_tree.mli b/src/query_tree.mli index 2369eff..ea520c4 100644 --- a/src/query_tree.mli +++ b/src/query_tree.mli @@ -5,7 +5,7 @@ val all_nodes : Naive_tree.t -> Naive_tree.node list Returns an empty list if there are no nodes in the tree. *) -val element_by_tag : Naive_tree.t -> QNameSet.t -> Naive_tree.node list +val element_by_tag : Naive_tree.t -> QNameSet.t -> Tree.NodeKind.t -> Naive_tree.node list (** [element_by_tag t tag] returns all the nodes whose tag equal to [tag] in the tree [t]. *) val compile_single_path : Xpath.Ast.single_path -> Table.query_tree