X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fxpath_internal_parser.mly;h=a589fde615db58a1b58979608c2e8ff3f2aa9fb3;hp=04ecf369521831159d72a8125c3e12a609edd959;hb=53a0fd29a20e7f4550e0eb5fa5b0d5af6191c36d;hpb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349

diff --git a/src/xpath/xpath_internal_parser.mly b/src/xpath/xpath_internal_parser.mly
index 04ecf36..a589fde 100644
--- a/src/xpath/xpath_internal_parser.mly
+++ b/src/xpath/xpath_internal_parser.mly
@@ -15,14 +15,16 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-02-07 10:31:01 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-13 09:56:09 CET by Kim Nguyen>
 *)
 
   open Ast
-  let f () = ()
+  open Tree.Common
 %}
 
 %token <string> TAG
+%token <string> PI
+%token <string> ATTNAME
 %token <string> STRING
 %token <int>  INT
 %token <float> FLOAT
@@ -30,7 +32,7 @@
 %token RB LB LP RP
 %token SLASH SLASHSLASH COLONCOLON STAR PIPE
 %token EQ NEQ LT GT LTE GTE OR AND ADD SUB DIV MOD
-%token NODE TEXT
+%token NODE TEXT COMMENT
 %token COMMA
 %token EOF
 
@@ -68,14 +70,19 @@ simple_path:
 
 absolute_path:
   SLASH relative_path { $2 }
-| SLASHSLASH relative_path { (DescendantOrSelf, node, []) :: $2 }
+| SLASHSLASH relative_path { $2 @
+                               [(Descendant true,
+                                 (node, NodeKind.Node),
+                                 [])] }
 ;
 
 relative_path:
   step { [ $1 ] }
 | relative_path SLASH step { $3 :: $1 }
 | relative_path SLASHSLASH step { $3
-                                  :: (DescendantOrSelf, node, [])
+                                  :: (Descendant true,
+                                      (node, NodeKind.Node),
+                                      [])
                                   :: $1 }
 ;
 
@@ -84,21 +91,45 @@ step:
 ;
 
 axis_test:
-  AXIS COLONCOLON test  { $1, $3 }
+  AXIS COLONCOLON test  { let a, (t,k) = $1, $3 in
+                          let new_t = 
+                            if a == Attribute && Utils.QNameSet.is_finite t then
+                              Utils.QNameSet.fold
+                                (fun t a ->
+                                  Utils.QNameSet.add
+                                    (Utils.QName.attribute t) a)
+                                t Utils.QNameSet.empty
+                            else t
+                          in
+                          (a, (new_t,k))
+                        }
 | test                  { Child, $1 }
 | AXIS            {
   let _ = Format.flush_str_formatter () in
   let () = Format.fprintf Format.str_formatter "%a" Ast.print_axis $1 in
   let a = Format.flush_str_formatter () in
-  Child, Utils.QNameSet.singleton (Utils.QName.of_string a)
+  Child, (Utils.QNameSet.singleton (Utils.QName.of_string a),NodeKind.Element)
 }
+| ATTNAME             {  (Attribute,
+                          (Utils.QNameSet.singleton (Utils.QName.of_string $1),
+                          NodeKind.Attribute)) }
 ;
 
 test:
-  NODE                { node }
-| TEXT                { text }
-| STAR                { star }
-| TAG                 { Utils.QNameSet.singleton(Utils.QName.of_string $1) }
+  NODE                { node, NodeKind.Node }
+| TEXT                { text, NodeKind.Text }
+| STAR                { star, NodeKind.Element }
+| COMMENT             { Utils.QNameSet.singleton(Utils.QName.comment),
+                        NodeKind.Comment
+                      }
+| PI                  { Utils.QNameSet.singleton(
+                              Utils.QName.processing_instruction (
+                                Utils.QName.of_string $1)
+                         ), NodeKind.ProcessingInstruction
+                      }
+| TAG                 { Utils.QNameSet.singleton(Utils.QName.of_string $1),
+                        NodeKind.Element
+                      }
 ;
 
 pred_list:
@@ -142,4 +173,3 @@ arg_list1:
   expr                     { [ $1 ] }
 | arg_list1 COMMA expr     { $3 :: $1 }
 ;
-