Project

General

Profile

Download (663 Bytes) Statistics
| Branch: | Tag: | Revision:
1 1732ef44 Arnaud Dieumegard
open Mini_vhdl_to_lustre
2 5bbf7413 Arnaud Dieumegard
open Vhdl_2_mini_vhdl_map
3 58f8ddf5 Arnaud Dieumegard
open Vhdl_ast
4 5bbf7413 Arnaud Dieumegard
open Mini_vhdl_ast
5 d3f0059e Arnaud Dieumegard
open Ppxlib_traverse_builtins
6
7
let any x = x
8
9
let replace_op_expr = object (self)
10 aeec0f04 Arnaud Dieumegard
  inherit [_] vhdl_map as super
11 d3f0059e Arnaud Dieumegard
12 aeec0f04 Arnaud Dieumegard
  method! visit_vhdl_expr_t env e = 
13
    match e with
14
    | Op ({id=""; args=hd::[]}) -> self#visit_vhdl_expr_t env hd
15
    | _ -> super#visit_vhdl_expr_t env e
16 d3f0059e Arnaud Dieumegard
end
17
18 40364f53 Arnaud Dieumegard
let to_lustre = object (self)
19
  inherit Ppxlib_traverse_builtins.map
20 1732ef44 Arnaud Dieumegard
  inherit mini_vhdl_to_lustre_map as super
21 40364f53 Arnaud Dieumegard
22
  method unit: unit T.map = any
23
end
24 5bbf7413 Arnaud Dieumegard
25
let to_mini_vhdl = object (self)
26
  inherit Ppxlib_traverse_builtins.map
27
  inherit vhdl_2_mini_vhdl_map as super
28
29
  method unit: unit T.map = any
30
end