(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-13 12:11:04 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-13 12:38:54 CET by Kim Nguyen>
*)
open Ast
| COMMENT { Utils.QNameSet.singleton(Utils.QName.comment),
NodeKind.Comment
}
-| PI { Utils.QNameSet.singleton(
- Utils.QName.processing_instruction (
- Utils.QName.of_string $1)
- ), NodeKind.ProcessingInstruction
+| PI { (if $1 = "" then star
+ else 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
P12 //*[@id]
T1 //L/text()
T2 //L/comment()
-# T3 //L/processing-instruction()
-# T4 //L/processing-instruction("myPI")
+T3 //L/processing-instruction()
+T4 //L/processing-instruction("myPI")
T5 //L/node()
T6 //L/N
T7 //L/*