Project

General

Profile

« Previous | Next » 

Revision c419ca44

Added by Guillaume DAVY almost 3 years ago

Ada: Changed type name for states and normalized variable name to match ada requirements.

View differences:

src/backends/Ada/ada_backend_ads.ml
22 22
module Main =
23 23
struct
24 24

  
25
(** Print a record definition.
26
   @param fmt the formater to print on
27
   @param var_list list of machine variable
28
*)
29
let pp_record_definition fmt var_list =
30
  fprintf fmt "@,  @[<v>record@,  @[<v>%a%t@]@,end record@]"
31
    (Utils.fprintf_list ~sep:";@;" (pp_machine_var_decl NoMode)) var_list
32
    (Utils.pp_final_char_if_non_empty ";" var_list)
33

  
25 34
(** Print the package declaration(ads) of a machine.
26 35
   @param fmt the formater to print on
27 36
   @param machine the machine

Also available in: Unified diff