X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;fp=src%2Fquery_tree.ml;h=69f17b3a1510778a115d271bacbf2863c3675ef0;hp=a81804792e063f7f381c816cef6e2e8b542238fa;hb=cb10072a53278e0f5c6f6ddf9679dbd9643c7f7e;hpb=11fd750e5f19e421768ec72c511b631e7b009365 diff --git a/src/query_tree.ml b/src/query_tree.ml index a818047..69f17b3 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -7,6 +7,7 @@ let table_qtree = QTreeHash.create 97 let all_nodes tree = let root = Naive_tree.root tree in let acc1 = get_descendant tree [root] in root::acc1 + let element_by_tag tree tagset kind = let dom = all_nodes tree in List.filter (fun c ->