Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_adb.ml @ bdc471f3

History | View | Annotate | Download (1.14 KB)

1 f20d8ac7 Christophe Garion
(********************************************************************)
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 48a6309c Guillaume DAVY
open Format
13 bdc471f3 Guillaume DAVY
14 48a6309c Guillaume DAVY
open Machine_code_types
15
open Lustre_types
16
open Corelang
17
open Machine_code_common
18
19 bdc471f3 Guillaume DAVY
open Ada_backend_common
20
21 f20d8ac7 Christophe Garion
module Main =
22
struct
23 48a6309c Guillaume DAVY
24
let pp_machine_instr machine fmt instr =
25
    fprintf fmt "instruction"
26
27
let print fmt machine =
28
  let pp_instr = pp_machine_instr machine in
29
  fprintf fmt "@[<v 2>%a@,%a@]@,%a@."
30 bdc471f3 Guillaume DAVY
    (pp_begin_package true) machine
31 48a6309c Guillaume DAVY
    (Utils.fprintf_list ~sep:"@," pp_instr) machine.mstep.step_instrs
32
    pp_end_package machine
33
34 f20d8ac7 Christophe Garion
end