Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_ads.ml @ b12a91e0

History | View | Annotate | Download (1.33 KB)

1
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT - ISAE-SUPAERO     *)
5
(*                                                                  *)
6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7
(*  under the terms of the GNU Lesser General Public License        *)
8
(*  version 2.1.                                                    *)
9
(*                                                                  *)
10
(********************************************************************)
11

    
12
open Format
13

    
14
open Machine_code_types
15
open Lustre_types
16
open Corelang
17
open Machine_code_common
18

    
19
open Ada_backend_common
20

    
21
(** Functions printing the .ads file **)
22
module Main =
23
struct
24

    
25
(** Print the package declaration(ads) of a lustre node.
26
   @param fmt the formater to print on
27
   @param machine the machine
28
*)
29
let print fmt machine =
30
  fprintf fmt "@[<v 2>%a;@,%a;@,%a;@,%a;@,%a;@]@,%a@."
31
    (pp_begin_package false) machine
32
    pp_init_prototype machine
33
    pp_step_prototype machine
34
    pp_reset_prototype machine
35
    pp_clear_prototype machine
36
    pp_end_package machine
37
    (*(Utils.fprintf_list ~sep:"@," pp_var_decl) machine.mmemory*)
38

    
39
end