X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fast.mli;h=f2b2a1d03fc547c38eaef0cd60331e59fe477f74;hp=78dd7bbaf2bc23308f2acdc83ed03c50a7a78270;hb=fe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2;hpb=b00bff88c7902e828804c06b7f9dc55222fdc84e diff --git a/src/xpath/ast.mli b/src/xpath/ast.mli index 78dd7bb..f2b2a1d 100644 --- a/src/xpath/ast.mli +++ b/src/xpath/ast.mli @@ -13,11 +13,9 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - type path = single_path list + (* the step are given in reverse with the last step of the query + being the first of the step list *) and single_path = Absolute of step list | Relative of step list and step = axis * test * expr list and axis = Self | Attribute | Child