X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=71f9a98b95180096a453254b3d5e564761f1a453;hb=9c0b145d050a5981010435f54848dc862782709c;hp=f914d332a9badf518eac73496d74f22574b0072f;hpb=7e9bcacfcf765bf20e19f6277da8471bcf395d26;p=tatoo.git

diff --git a/src/tree.ml b/src/tree.ml
index f914d33..71f9a98 100644
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -13,6 +13,10 @@
 (*                                                                     *)
 (***********************************************************************)
 
+(*
+  Time-stamp: <Last modified on 2013-02-05 13:56:52 CET by Kim Nguyễn>
+*)
+
 type node = {
   tag : QName.t;
   preorder : int;
@@ -61,10 +65,10 @@ struct
   }
 
   let print_node_ptr fmt n =
-    Format.fprintf fmt "%s"
-      (if n == nil then "<NIL>" else
-        if n == dummy then "<DUMMY>" else
-          "<NODE " ^  string_of_int n.preorder ^ ">")
+    Format.fprintf fmt "<%s>"
+      (if n == nil then "NIL" else
+        if n == dummy then "DUMMY" else
+          "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 }"
@@ -101,6 +105,7 @@ struct
 
 
   let text_string = QName.to_string QName.text
+  let attr_map_string = QName.to_string QName.attribute_map
 
   let rec start_element_handler parser_ ctx tag attr_list =
     do_text parser_ ctx;
@@ -115,7 +120,21 @@ struct
     in
     if parent.first_child == dummy then parent.first_child <- n
     else parent.next_sibling <- n;
-    push n ctx
+    push n ctx;
+    match attr_list with
+      [] -> ()
+    | _ ->
+      start_element_handler parser_ ctx attr_map_string [];
+      List.iter (do_attribute parser_ ctx) attr_list;
+      end_element_handler parser_ ctx attr_map_string
+
+  and do_attribute parser_ ctx (att, value) =
+    let att_tag = " " ^ att in
+    start_element_handler parser_ ctx att_tag [];
+    start_element_handler parser_ ctx text_string [];
+    let n = top ctx in n.data <- value;
+    end_element_handler parser_ ctx text_string;
+    end_element_handler parser_ ctx att_tag
 
   and consume_closing ctx n =
     if n.next_sibling != dummy then
@@ -124,7 +143,7 @@ struct
   and end_element_handler parser_ ctx tag =
     do_text parser_ ctx;
     let node = top ctx in
-    if nodef.first_child == dummy then node.first_child <- nil
+    if node.first_child == dummy then node.first_child <- nil
     else begin
       node.next_sibling <- nil;
       consume_closing ctx node
@@ -137,8 +156,8 @@ struct
       start_element_handler parser_ ctx text_string [];
       let node = top ctx in
       node.data <- s;
-      end_element_handler parser_ ctx text_string;
-      Format.eprintf "DEBUG: %a\n\n" debug_ctx ctx
+      end_element_handler parser_ ctx text_string
+
 
 
   let character_data_handler parser_ ctx text =
@@ -193,20 +212,49 @@ end
 let load_xml_file = Parser.parse_file
 let load_xml_string = Parser.parse_string
 
+
+let output_escape_string out s =
+  for i = 0 to String.length s - 1 do
+    match s.[i] with
+    | '<' -> output_string out "&lt;"
+    | '>' -> output_string out "&gt;"
+    | '&' -> output_string out "&amp;"
+    | '"' -> output_string out "&quot;"
+    | '\'' -> output_string out "&apos;"
+    | c -> output_char out c
+  done
+
+let rec print_attributes out tree_ node =
+  if node != nil then begin
+    output_string out (QName.to_string node.tag);
+    output_string out "=\"";
+    output_escape_string out node.first_child.data;
+    output_char out '"';
+    print_attributes out tree_ node.next_sibling
+  end
+
 let rec print_xml out tree_ node =
   if node != nil then
     let () =
       if node.tag == QName.text then
-        output_string out node.data
+        output_escape_string out node.data
       else
         let tag = QName.to_string node.tag in
         output_char out '<';
         output_string out tag;
-      (* print attributes *)
-        if node.first_child == nil then output_string out "/>"
+        let fchild =
+          if node.first_child.tag == QName.attribute_map then
+            let () =
+              print_attributes out tree_ node.first_child.first_child
+            in
+            node.first_child.next_sibling
+          else
+            node.first_child
+        in
+        if fchild == nil then output_string out "/>"
         else begin
           output_char out '>';
-          print_xml out tree_ node.first_child;
+          print_xml out tree_ fchild;
           output_string out "</";
           output_string out tag;
           output_char out '>'