module G = Options
module E = Entity
module N = Level
-module Q = Ccs
(* internal functions *******************************************************)
let f i = "age", string_of_int i in
E.apix err f a
-let level n =
- "level", N.to_string n
+let level st n =
+ "level", N.to_string st n
let meta a =
let map = function
in
"meta", String.concat " " (List.rev_map map a.E.r_meta)
-let arity l =
- "arity", string_of_int (List.length l)
-
(* TODO: the string tx must be quoted *)
let info a =
let err () = ["lang", ""; "info", ""] in
let attrs = [xmlns; "hierarchy", shp; "options", opts] in
tag obj_root attrs ~contents out 0;
close_out och
-
-let prec_map (i, _) = string_of_int i
-
-let next_map (_, i) = string_of_int i
-
-let marks = function
- | [] -> "mark", ""
- | l -> "mark", String.concat " " (List.rev_map string_of_int l)
-
-let precs = function
- | [] -> "prec", ""
- | l -> "prec", String.concat " " (List.rev_map prec_map l)
-
-let nexts = function
- | [] -> "next", ""
- | l -> "next", String.concat " " (List.rev_map next_map l)
-(*
-let export_csys s =
- let path = path_of_uri !G.xdir s.Q.buri in
- let _ = Sys.command (Printf.sprintf "mkdir -p %s" path) in
- let name = F.concat path (ccs_name ^ ext) in
- let och = open_out name in
- let out = output_string och in
- xml out "1.0" "UTF-8"; doctype out ccs_root system;
- let attrs = [xmlns; uri s.Q.buri] in
- let contents out tab =
- tag "ToPositive" [arity s.Q.tp; marks s.Q.tp] out tab;
- tag "ToOne" [arity s.Q.t1; marks s.Q.t1] out tab;
- tag "ToNext" [arity s.Q.tn; precs s.Q.tn; nexts s.Q.tn] out tab
- in
- tag ccs_root attrs ~contents out 0;
- close_out och
-*)