Revision e1102543 src/tools/importer/vhdl_ast_map.ml
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