Project

General

Profile

« Previous | Next » 

Revision 05f85b44

Added by Guillaume DAVY almost 6 years ago

Ada: Start cleaning Ada to prepare for why beckend

View differences:

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