Project

General

Profile

Revision c203d676 src/backends/Ada/ada_backend_common.ml

View differences:

src/backends/Ada/ada_backend_common.ml
7 7

  
8 8
(** All the pretty print functions common to the ada backend **)
9 9

  
10

  
10 11
(* Misc pretty print functions *)
11 12

  
12 13
(** Print a cleaned an identifier for ada exportation : Ada names must not start by an
......
30 31
  in
31 32
  fprintf fmt "%s%s" prefix name
32 33

  
34

  
33 35
(* Package pretty print functions *)
34 36

  
35 37
(** Print the name of a package associated to a machine.
......
110 112
   @param fmt the formater to print on
111 113
   @param pp_name a format printer which print the type name
112 114
**)
113
let pp_private_type_decl fmt pp_name =
114
  let pp_definition fmt = fprintf fmt "private" in
115
let pp_private_limited_type_decl fmt pp_name =
116
  let pp_definition fmt = fprintf fmt "limited private" in
115 117
  pp_type_decl fmt (pp_name, pp_definition)
116 118

  
117 119
(** Print the type of the state variable.
......
149 151
    | Types.Tbasic Types.Basic.Tbool -> pp_boolean_type fmt
150 152
    | _ -> eprintf "Type error : %a@." Types.print_ty id.var_type; assert false (*TODO*)
151 153
  )
152
  
154

  
153 155

  
154 156
(* Variable pretty print functions *)
155 157

  
......
225 227
  let pp_name fmt = pp_clean_ada_identifier fmt name in
226 228
  pp_var_decl fmt (NoMode, pp_name, pp_type)
227 229

  
230

  
228 231
(* Prototype pretty print functions *)
229 232

  
230 233
(** Print the name of the init procedure **)

Also available in: Unified diff