Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[cprint] code reduction

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-20 15:24:55 +01:00
parent f121f55432
commit 52092b1480
1 changed files with 18 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
src/cprint.ml
View File

@ -241,30 +241,23 @@ let cp_main_fn fmt (prog, sts) =
cp_array vl
in
let rec cp_inputs fmt (f, l) =
match f, l with
| _, [] -> ()
| true, h :: t ->
Format.fprintf fmt ", %s%a"
(Utils.name_of_var h)
cp_inputs (true, t)
| false, h :: t ->
Format.fprintf fmt "%s%a"
match l with
| [] -> ()
| h :: t ->
(if f
then Format.fprintf fmt ", %s%a"
else Format.fprintf fmt "%s%a")
(Utils.name_of_var h)
cp_inputs (true, t)
in
let cp_scanf fmt vl =
let rec cp_scanf_str fmt (b, vl) =
match b, vl with
| _, [] -> ()
| true, h :: t ->
Format.fprintf fmt " %s%a"
(match h with
| IVar _ -> "%d"
| BVar _ -> "%c"
| RVar _ -> "%lf")
cp_scanf_str (true, t)
| false, h :: t ->
Format.fprintf fmt "%s%a"
match vl with
| [] -> ()
| h :: t ->
(if b
then Format.fprintf fmt " %s%a"
else Format.fprintf fmt "%s%a")
(match h with
| IVar _ -> "%d"
| BVar _ -> "%c"
@ -286,17 +279,12 @@ let cp_main_fn fmt (prog, sts) =
in
let cp_printf fmt vl =
let rec cp_printf_str fmt (b, vl) =
match b, vl with
| _, [] -> ()
| true, h :: t ->
Format.fprintf fmt " %s%a"
(match h with
| IVar _ -> "%d"
| BVar _ -> "%c"
| RVar _ -> "%f")
cp_printf_str (true, t)
| false, h :: t ->
Format.fprintf fmt "%s%a"
match vl with
| [] -> ()
| h :: t ->
(if b
then Format.fprintf fmt " %s%a"
else Format.fprintf fmt "%s%a")
(match h with
| IVar _ -> "%d"
| BVar _ -> "%c"