Revision c226a3ba
Added by Lélio Brun over 3 years ago
| src/utils/utils.ml | ||
|---|---|---|
| 290 | 290 |
?(pp_prologue=pp_print_nothing) ?(pp_epilogue=pp_print_nothing) |
| 291 | 291 |
?(pp_op=pp_print_nothing) ?(pp_cl=pp_print_nothing) |
| 292 | 292 |
?(pp_open_box=fun fmt () -> pp_open_box fmt 0) |
| 293 |
?(pp_eol=pp_print_nothing) ?pp_sep pp_v fmt l = |
|
| 293 |
?(pp_eol=pp_print_nothing) |
|
| 294 |
?(pp_nil=pp_print_nothing) |
|
| 295 |
?pp_sep pp_v fmt l = |
|
| 294 | 296 |
fprintf fmt "%a%a%a%a%a@]%a%a" |
| 295 | 297 |
(fun fmt l -> if l <> [] then pp_prologue fmt ()) l |
| 296 | 298 |
pp_op () |
| 297 | 299 |
pp_open_box () |
| 298 |
(pp_print_list ?pp_sep pp_v) l |
|
| 300 |
(fun fmt () -> |
|
| 301 |
if l = [] then pp_nil fmt () else pp_print_list ?pp_sep pp_v fmt l) () |
|
| 299 | 302 |
(fun fmt l -> if l <> [] then pp_eol fmt ()) l |
| 300 | 303 |
pp_cl () |
| 301 | 304 |
(fun fmt l -> if l <> [] then pp_epilogue fmt ()) l |
Also available in: Unified diff
start generating ACSL spec