X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftree%2Fnaive.ml;fp=src%2Ftree%2Fnaive.ml;h=db1b202f1666318cf6ef932941314979ce7e83e2;hp=37683f34e34852b69584c63226095602f0ae2902;hb=74e8f4bcdd9e19a2ec434d82c1a6eb897b826632;hpb=f5e7e53901bfc30b6234e6026a2c984bfceff694 diff --git a/src/tree/naive.ml b/src/tree/naive.ml index 37683f3..db1b202 100644 --- a/src/tree/naive.ml +++ b/src/tree/naive.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) open Utils @@ -72,7 +72,7 @@ struct "NODE " ^ string_of_int n.preorder) let debug_node fmt node = - Format.fprintf fmt "{ tag=%s; preorder=%i; data=%s; first_child=%a; next_sibling=%a; parent=%a }" + Format.fprintf fmt "{ tag=%s; preorder=%i; data=%S; first_child=%a; next_sibling=%a; parent=%a }" (QName.to_string node.tag) node.preorder node.data @@ -264,7 +264,7 @@ let rec print_xml out tree_ node = in print_xml out tree_ node.next_sibling - +let print_xml out tree_ node = print_xml out tree_ { node with next_sibling = nil } let root t = t.root let first_child _ n = n.first_child let next_sibling _ n = n.next_sibling @@ -272,3 +272,5 @@ let parent _ n = n.parent let tag _ n = n.tag let data _ n = n.data let preorder _ n = n.preorder + +let print_node fmt n = Parser.debug_node fmt n