X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree%2Fnaive.ml;h=db1b202f1666318cf6ef932941314979ce7e83e2;hb=54d24e939b72601a55832aa447ed31f1b256f02e;hp=cff6ee2019dc329ffba874ae0ec32e3784f82414;hpb=0a783c201ad605afff85e27ba50c66a109355d4a;p=tatoo.git diff --git a/src/tree/naive.ml b/src/tree/naive.ml index cff6ee2..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 @@ -142,7 +142,7 @@ struct if n.next_sibling != dummy then let _ = pop ctx in consume_closing ctx (top ctx) - and end_element_handler parser_ ctx tag = + and end_element_handler parser_ ctx _ = do_text parser_ ctx; let node = top ctx in if node.first_child == dummy then node.first_child <- nil @@ -162,7 +162,7 @@ struct - let character_data_handler parser_ ctx text = + let character_data_handler _parser ctx text = Buffer.add_string ctx.text_buffer text let create_parser () = @@ -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