From dcd5caae0c2619f865d93418e15cb0075f56032d Mon Sep 17 00:00:00 2001
From: Mamadou Ndiaye <ndiaye@malaval.imag.fr>
Date: Tue, 23 Jun 2015 12:13:18 +0200
Subject: [PATCH] -kcg:ok for node calling another node.(for example in the
file aa.lus)
---
src/licDump.ml | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/src/licDump.ml b/src/licDump.ml
index e85cf158..7eabf5c4 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -253,7 +253,7 @@ and string_of_type_matches pm =
(* for printing recursive node *)
and string_of_node_key_rec (no_prefix:bool) (nkey: node_key) =
match nkey with
- | (ik, []) ->
+ | (ik, []) -> if global_opt.kcg then Lv6Id.no_pack_string_of_long ik else
if no_prefix
then Lv6Id.no_pack_string_of_long ik
else Lv6Id.string_of_long ik
@@ -584,6 +584,8 @@ and string_of_eq_info_eff (leff_list, vee) =
and (string_of_assert : Lic.val_exp srcflagged -> string ) =
fun eq_eff ->
wrap_long_line (
+ (*if global_opt.kcg then "guarantee ID :"^ string_of_val_exp_eff eq_eff.it ^ ";"
+ else*)
"assert(" ^ string_of_val_exp_eff eq_eff.it ^ ");")
and (string_of_eq : Lic.eq_info srcflagged -> string) =
@@ -648,7 +650,9 @@ and (const_decl: Lv6Id.long -> Lic.const -> string) =
(match ceff with
| Enum_const_eff(id, t) -> ""
| Extern_const_eff _
- | Abstract_const_eff _ ->
+ | Abstract_const_eff _ -> if global_opt.kcg then
+ "const imported " ^ (dump_long tname) ^ " : " ^ (string_of_type_eff (Lic.type_of_const ceff)) ^ (";\n")
+ else
begin_str ^ " : " ^ (string_of_type_eff (Lic.type_of_const ceff)) ^
(* (if global_opt.ec then ".\n" else *)
(";\n")
@@ -700,7 +704,7 @@ and node_of_node_exp_eff (neff: Lic.node_exp): string =
| MetaOpLic -> (
(* on écrit juste un alias *)
" = "^
- (string_of_node_key_def neff.node_key_eff)^
+ (string_of_node_key_def neff.node_key_eff)^
(";\n")
)
| AbstractLic _ -> "; \n"
--
GitLab