Project

General

Profile

« Previous | Next » 

Revision b5b745fb

Added by Guillaume DAVY almost 3 years ago

Ada: First support for transition predicate generation.

View differences:

src/backends/Ada/ada_printer.mli
7 7

  
8 8
type visibility = AdaNoVisibility | AdaPrivate | AdaLimitedPrivate
9 9

  
10
type ada_var_decl = parameter_mode*printer*printer
10
type ada_with = (bool * (printer list) * (printer list)) option
11

  
12
type ada_var_decl = parameter_mode * printer * printer * ada_with
11 13

  
12 14
type ada_local_decl =
13 15
  | AdaLocalVar of ada_var_decl
......
16 18
type def_content =
17 19
  | AdaNoContent
18 20
  | AdaPackageContent of printer
21
  | AdaSimpleContent of printer
19 22
  | AdaVisibilityDefinition of visibility
20 23
  | AdaProcedureContent of ((ada_local_decl list list) * (printer list))
21 24
  | AdaRecord of (ada_var_decl list list)
22 25
  | AdaPackageInstanciation of (printer * ((printer*printer) list))
23 26

  
27
val pp_integer_type : printer
28
val pp_float_type : printer
29
val pp_boolean_type : printer
24 30

  
25 31
val pp_clean_ada_identifier : formatter -> string -> unit
26 32
val pp_package_access : (printer*printer) -> printer
......
28 34
val pp_oneline_comment : formatter -> string -> unit
29 35
val pp_with : visibility -> formatter -> printer -> unit
30 36
val pp_var_decl : ada_var_decl -> printer
37
val pp_access :  printer -> printer -> formatter -> unit
31 38
val pp_call : formatter -> (printer*(printer list list)) -> unit
39
val pp_old : printer -> printer
32 40

  
33 41
(* declaration printer *)
34 42
val pp_package : printer -> printer list -> bool -> formatter -> printer -> unit
35 43
val pp_package_instanciation : printer -> printer -> formatter -> (printer*printer) list -> unit
36 44
val pp_type_decl : printer -> visibility -> printer
37 45
val pp_record : printer -> formatter -> ada_var_decl list list -> unit
38
val pp_procedure : printer -> (ada_var_decl list list) -> printer option -> formatter -> def_content -> unit
46
val pp_procedure : printer -> (ada_var_decl list list) -> ada_with -> formatter -> def_content -> unit
47
val pp_predicate : printer -> (ada_var_decl list list) -> formatter -> ((((printer*printer) list)*(printer list)) option) -> unit
48

  
39 49
(* Local function :
40 50

  
41 51
val pp_parameter_mode : formatter -> parameter_mode -> unit

Also available in: Unified diff