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 |