]> matita.cs.unibo.it Git - helm.git/commitdiff
- bugfix: add xsl:output element as last child of the root element to
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)
  avoid violation of XSLT specifications when one or more xsl:import
  elements are used
- added logging of received parameters for debugging purposes

helm/uwobo/src/ocaml/uwobo_engine.ml

index 66a6ca7cecb07fdd410cdaa01f81cad38888dde4..fcbc0f36488da637dde37a05e49f2992684f1783 100644 (file)
@@ -86,7 +86,7 @@ let apply_properties logger last_stylesheet props =
         logger#log `Debug "Creating xsl:output node ...";
         let elt = last_stylesheet#createElementNS (Some xslNS) q_outputS in
         let root = last_stylesheet#get_documentElement in
-        ignore (root#insertBefore (elt :> Gdome.node) root#get_firstChild);
+        ignore (root#appendChild (elt :> Gdome.node));
         elt
     | Some node -> new Gdome.element_of_node node)
   in
@@ -134,7 +134,13 @@ let apply
           let params =
             List.map (fun (key,value) -> (key, "'" ^ value ^ "'")) (params key)
           in
-          Gdome_xslt.applyStylesheet ~source ~stylesheet ~params
+          logger#log
+            `Debug
+            (sprintf
+              "Gdome_xslt.applyStylesheet params=%s"
+              (String.concat ", " (List.map (fun (k,v) -> k^": "^v) params)));
+          let res = Gdome_xslt.applyStylesheet ~source ~stylesheet ~params in
+          res
         with e -> raise (Uwobo_failure (Printexc.to_string e)))
       input
       p_stylesheets