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=f0b2cbcca4df6fe832989be42d0285fd0417dcaf;hp=1599c4c7f19b59d39e90ac26b71d0f2fe29d93a8;hb=72880536f01e8260441efda43430f893e8e4595b;hpb=cfaff4165f266dc2273989c9a62f3fd31c1f57ec diff --git a/src/query_tree.ml b/src/query_tree.ml index 1599c4c..f0b2cbc 100644 --- a/src/query_tree.ml +++ b/src/query_tree.ml @@ -20,7 +20,7 @@ and compile_step_list p = let qtree = compile_step_list r in let res = Binop ( Inter,Axis (a,qtree), Tag (test) ) in List.fold_left (fun acc e -> - Binop(Inter, acc, compile_expr e)) res el (*avant j'ai utilise une function compile_expr_list ,c'est pas genial*) + Binop(Inter, acc, compile_expr e)) res el and compile_expr (e : Xpath.Ast.expr ) = match e with | Fun_call (f, [ e0 ]) when (QName.to_string f) = "not" -> @@ -49,7 +49,7 @@ and compile_step_list p = | Absolute p | Relative p -> compile_step_list_rev p (*(List.rev p)*) and compile_step_list_rev p = match p with - | [] -> Dom (*assert false*) (*on fait rien , mais comment signifer ???*) + | [] -> Dom | (a,(test,_),el) :: r -> let qtree = compile_step_list_rev r in let res = Binop (Inter , qtree, Tag(test)) in