V_______________________________________________________________ *)
module KF = Filename
+module KP = Printf
module U = NUri
module C = Cps
module N = Layer
module E = Entity
+IFDEF OBJECTS THEN
+
(* internal functions *******************************************************)
let base = "xml"
let position i =
"position", string_of_int i
+let depth i =
+ "depth", string_of_int i
+
let uri u =
"uri", U.string_of_uri u
let f n r = "name", if r then n else "-" ^ n in
E.name err f a
-let apix a =
- "position", string_of_int a.E.n_apix
+let restricted r =
+ "restricted", KP.sprintf "%b" r
let layer st n =
"layer", N.to_string st n
-let kind a =
- "position", string_of_int a.E.n_sort
+let main (sort, degr) =
+ ["main-position", string_of_int sort;
+ "main-degree", string_of_int degr;
+ ]
+
+let side (sort, degr) =
+ ["side-position", string_of_int sort;
+ "side-degree", string_of_int degr;
+ ]
+
+let apix a =
+ "level", string_of_int a.E.n_apix
let meta a =
let map = function
let och = open_out (path ^ ext) in
let out = output_string och in
xml out "1.0" "UTF-8"; doctype out obj_root system;
- let na = {na with E.n_name = Some (U.name_of_uri u, true)} in
- let attrs = uri u :: name na :: apix na :: meta ra :: info ra in
+ let ba = E.bind_attrs ~name:(U.name_of_uri u, true) () in
+ let attrs a = uri u :: name ba :: apix na :: meta ra :: info ra @ side a.E.e_side in
let contents = match b with
- | E.Abst w -> tag "GDec" attrs ~contents:(pp_term w)
- | E.Abbr v -> tag "GDef" attrs ~contents:(pp_term v)
+ | E.Abst (a, w) -> tag "GDec" (attrs a) ~contents:(pp_term w)
+ | E.Abbr (a, v) -> tag "GDef" (attrs a) ~contents:(pp_term v)
| E.Void -> assert false
in
+ let opts = if !G.si then "si" else "" in
let shp = H.string_of_graph () in
- let attrs = [xmlns; "hierarchy", shp] in
+ let attrs = [xmlns; "hierarchy", shp; "options", opts] in
tag obj_root attrs ~contents out 0;
close_out och
+
+END