Revision 1732ef44
Added by Arnaud Dieumegard over 6 years ago
| src/backends/VHDL/vhdl_ast_utils.ml | ||
|---|---|---|
| 1 | 1 |
open Vhdl_ast_map |
| 2 |
open Vhdl_to_lustre
|
|
| 2 |
open Mini_vhdl_to_lustre
|
|
| 3 | 3 |
open Vhdl_2_mini_vhdl_map |
| 4 | 4 |
open Vhdl_ast |
| 5 | 5 |
open Mini_vhdl_ast |
| ... | ... | |
| 20 | 20 |
|
| 21 | 21 |
let to_lustre = object (self) |
| 22 | 22 |
inherit Ppxlib_traverse_builtins.map |
| 23 |
inherit vhdl_to_lustre_map as super |
|
| 23 |
inherit mini_vhdl_to_lustre_map as super
|
|
| 24 | 24 |
|
| 25 | 25 |
method unit: unit T.map = any |
| 26 | 26 |
end |
Also available in: Unified diff
Start of the Lustre generator