Revision e1102543
Added by Arnaud Dieumegard almost 7 years ago
| src/tools/importer/vhdl_ast_map.ml | ||
|---|---|---|
| 1 | 1 |
open Vhdl_ast |
| 2 | 2 |
|
| 3 |
let _ = fun (_ : cst_val_t) -> () |
|
| 3 |
let _ = fun (_ : vhdl_cst_val_t) -> ()
|
|
| 4 | 4 |
let _ = fun (_ : vhdl_type_t) -> () |
| 5 | 5 |
let _ = fun (_ : vhdl_subtype_indication_t) -> () |
| 6 | 6 |
let _ = fun (_ : vhdl_discrete_range_t) -> () |
| ... | ... | |
| 61 | 61 |
method virtual vhdl_declaration_t : vhdl_declaration_t -> vhdl_declaration_t |
| 62 | 62 |
method virtual vhdl_sequential_stmt_t : vhdl_sequential_stmt_t -> vhdl_sequential_stmt_t |
| 63 | 63 |
method virtual vhdl_signal_condition_t : vhdl_signal_condition_t -> vhdl_signal_condition_t |
| 64 |
method virtual cst_val_t : cst_val_t -> cst_val_t
|
|
| 64 |
method virtual vhdl_cst_val_t : vhdl_cst_val_t -> vhdl_cst_val_t
|
|
| 65 | 65 |
method virtual vhdl_subprogram_spec_t : vhdl_subprogram_spec_t -> vhdl_subprogram_spec_t |
| 66 | 66 |
method virtual vhdl_discrete_range_t : vhdl_discrete_range_t -> vhdl_discrete_range_t |
| 67 | 67 |
method virtual vhdl_parameter_t : vhdl_parameter_t -> vhdl_parameter_t |
| ... | ... | |
| 76 | 76 |
method virtual vhdl_design_unit_t : vhdl_design_unit_t -> vhdl_design_unit_t |
| 77 | 77 |
method virtual vhdl_design_file_t : vhdl_design_file_t -> vhdl_design_file_t |
| 78 | 78 |
|
| 79 |
method cst_val_t : cst_val_t -> cst_val_t=
|
|
| 79 |
method vhdl_cst_val_t : vhdl_cst_val_t -> vhdl_cst_val_t=
|
|
| 80 | 80 |
fun x -> |
| 81 | 81 |
match x with |
| 82 | 82 |
| CstInt a -> let a = self#int a in CstInt a |
| ... | ... | |
| 152 | 152 |
fun x -> |
| 153 | 153 |
match x with |
| 154 | 154 |
| Call a -> let a = self#vhdl_name_t a in Call a |
| 155 |
| Cst a -> let a = self#cst_val_t a in Cst a |
|
| 155 |
| Cst a -> let a = self#vhdl_cst_val_t a in Cst a
|
|
| 156 | 156 |
| Op { id; args } ->
|
| 157 | 157 |
let id = self#string id in |
| 158 | 158 |
let args = self#list self#vhdl_expr_t args in Op { id; args }
|
| ... | ... | |
| 265 | 265 |
let names = self#list self#vhdl_name_t names in |
| 266 | 266 |
let mode = self#list self#string mode in |
| 267 | 267 |
let typ = self#vhdl_subtype_indication_t typ in |
| 268 |
let init_val = self#option self#cst_val_t init_val in |
|
| 268 |
let init_val = self#option self#vhdl_cst_val_t init_val in
|
|
| 269 | 269 |
{ names; mode; typ; init_val }
|
| 270 | 270 |
|
| 271 | 271 |
method vhdl_subprogram_spec_t : |
| ... | ... | |
| 333 | 333 |
| VarDecl { names; typ; init_val } ->
|
| 334 | 334 |
let names = self#list self#vhdl_name_t names in |
| 335 | 335 |
let typ = self#vhdl_subtype_indication_t typ in |
| 336 |
let init_val = self#option self#cst_val_t init_val in |
|
| 336 |
let init_val = self#option self#vhdl_cst_val_t init_val in
|
|
| 337 | 337 |
VarDecl { names; typ; init_val }
|
| 338 | 338 |
| CstDecl { names; typ; init_val } ->
|
| 339 | 339 |
let names = self#list self#vhdl_name_t names in |
| 340 | 340 |
let typ = self#vhdl_subtype_indication_t typ in |
| 341 |
let init_val = self#cst_val_t init_val in |
|
| 341 |
let init_val = self#vhdl_cst_val_t init_val in
|
|
| 342 | 342 |
CstDecl { names; typ; init_val }
|
| 343 | 343 |
| SigDecl { names; typ; init_val } ->
|
| 344 | 344 |
let names = self#list self#vhdl_name_t names in |
| 345 | 345 |
let typ = self#vhdl_subtype_indication_t typ in |
| 346 |
let init_val = self#option self#cst_val_t init_val in |
|
| 346 |
let init_val = self#option self#vhdl_cst_val_t init_val in
|
|
| 347 | 347 |
SigDecl { names; typ; init_val }
|
| 348 | 348 |
| Subprogram { name; kind; spec; decl_part; stmts } ->
|
| 349 | 349 |
let name = self#vhdl_name_t name in |
Also available in: Unified diff
Renaming of cst_val_t type as vhdl_cst_val_t