X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Flibrary.ml;h=8ef875ce780526e34453956adefd1b2d55890cee;hb=f3cddcf163b36101158ea33b3fad368ac8c62d75;hp=23f156123bfc65802c97aaae19d067c02a58d7bd;hpb=de66af7241ad8ab71d5857d14570e4662f2488dc;p=helm.git
diff --git a/helm/software/lambda-delta/common/library.ml b/helm/software/lambda-delta/common/library.ml
index 23f156123..8ef875ce7 100644
--- a/helm/software/lambda-delta/common/library.ml
+++ b/helm/software/lambda-delta/common/library.ml
@@ -17,7 +17,7 @@ module H = Hierarchy
let base = "xml"
-let obj_ext = ".ld.xml"
+let obj_ext = ".xml"
let system = "http://helm.cs.unibo.it/lambda-delta/" ^ base ^ "/ld.dtd"
@@ -28,29 +28,29 @@ let pp_head frm =
Format.fprintf frm "@,@," "1.0" "UTF-8"
let pp_doctype frm =
- Format.fprintf frm "@,@," system
+ Format.fprintf frm "@,@," system
-let open_kernel si g frm =
+let open_entry si g frm =
let opts = if si then "si" else "" in
let f shp =
- Format.fprintf frm "" shp opts
+ Format.fprintf frm "" shp opts
in
H.string_of_graph f g
-let close_kernel frm =
- Format.fprintf frm ""
+let close_entry frm =
+ Format.fprintf frm ""
(* interface functions ******************************************************)
-let export_item export_obj si g = function
- | Some obj ->
- let _, uri, bind = obj in
+let export_entity export_entry si g = function
+ | Some entry ->
+ let _, uri, bind = entry in
let path = path_of_uri uri in
let _ = Sys.command (Printf.sprintf "mkdir -p %s" (F.dirname path)) in
let och = open_out (path ^ obj_ext) in
let frm = Format.formatter_of_out_channel och in
Format.pp_set_margin frm max_int;
Format.fprintf frm "@[%t%t%t%a%t@]@."
- pp_head pp_doctype (open_kernel si g) export_obj obj close_kernel;
+ pp_head pp_doctype (open_entry si g) export_entry entry close_entry;
close_out och
| None -> ()