Revision 05f85b44
Added by Guillaume DAVY almost 6 years ago
src/backends/Ada/ada_printer.mli | ||
---|---|---|
7 | 7 |
|
8 | 8 |
type visibility = AdaNoVisibility | AdaPrivate | AdaLimitedPrivate |
9 | 9 |
|
10 |
type ada_with = (bool * (printer list) * (printer list)) option |
|
10 |
type ada_with = (bool * bool * (printer list) * (printer list)) option
|
|
11 | 11 |
|
12 | 12 |
type ada_var_decl = parameter_mode * printer * printer * ada_with |
13 | 13 |
|
... | ... | |
48 | 48 |
val pp_type_decl : printer -> visibility -> printer |
49 | 49 |
val pp_record : printer -> formatter -> ada_var_decl list list -> unit |
50 | 50 |
val pp_procedure : printer -> (ada_var_decl list list) -> ada_with -> formatter -> def_content -> unit |
51 |
val pp_predicate : printer -> (ada_var_decl list list) -> formatter -> (printer option) -> unit |
|
51 |
val pp_predicate : printer -> (ada_var_decl list list) -> bool -> formatter -> (printer option) -> unit
|
|
52 | 52 |
(* Local function : |
53 | 53 |
|
54 | 54 |
val pp_parameter_mode : formatter -> parameter_mode -> unit |
Also available in: Unified diff
Ada: Start cleaning Ada to prepare for why beckend