Revision 15c3e4e7
Added by LĂ©lio Brun almost 4 years ago
src/utils/utils.ml | ||
---|---|---|
278 | 278 |
let pp_print_cpar fmt () = pp_print_string fmt ")" |
279 | 279 |
let pp_print_obrace fmt () = pp_print_string fmt "{" |
280 | 280 |
let pp_print_cbrace fmt () = pp_print_string fmt "}" |
281 |
let pp_print_opar' fmt () = pp_print_string fmt "( " |
|
282 |
let pp_print_cpar' fmt () = pp_print_string fmt " )" |
|
283 |
let pp_print_obrace' fmt () = pp_print_string fmt "{ " |
|
284 |
let pp_print_cbrace' fmt () = pp_print_string fmt " }" |
|
281 | 285 |
|
282 | 286 |
let pp_print_comma fmt () = fprintf fmt ",@ " |
283 | 287 |
let pp_print_semicolon fmt () = fprintf fmt ";@ " |
... | ... | |
337 | 341 |
~pp_cl:pp_print_cbrace |
338 | 342 |
~pp_sep |
339 | 343 |
|
344 |
let pp_print_braced' ?(pp_sep=pp_print_comma) = |
|
345 |
pp_print_list |
|
346 |
~pp_op:pp_print_obrace' |
|
347 |
~pp_cl:pp_print_cbrace' |
|
348 |
~pp_sep |
|
340 | 349 |
end |
341 | 350 |
|
342 | 351 |
let fprintf_list ?(eol:('a, formatter, unit) format = "") ~sep:sep f fmt l = |
Also available in: Unified diff
generic ACSL spec generation