Project

General

Profile

Revision c203d676

View differences:

src/backends/Ada/ada_backend_ads.ml
74 74
    (pp_begin_package false) m
75 75
    
76 76
    (*Declare the state type*)
77
    pp_private_type_decl pp_state_type
77
    pp_private_limited_type_decl pp_state_type
78 78
    
79 79
    (*Declare the init procedure*)
80 80
    (pp_init_prototype m) pp_init_procedure_name
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 **)
src/backends/Ada/ada_backend_wrapper.ml
69 69
    pp_with_node machine.mname
70 70
    (pp_main_procedure_definition machine) (locals, instrs)
71 71

  
72

  
73 72
(** Print the gpr project file.
74 73
   @param fmt the formater to print on
75 74
   @param machine the main machine

Also available in: Unified diff