projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nettoyer les commentaires
[tatoo.git]
/
src
/
query_tree.ml
diff --git
a/src/query_tree.ml
b/src/query_tree.ml
index
1599c4c
..
f0b2cbc
100644
(file)
--- 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 ->
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" ->
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
| 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
| (a,(test,_),el) :: r ->
let qtree = compile_step_list_rev r in
let res = Binop (Inter , qtree, Tag(test)) in