Revision 1f593d5d src/tools/importer/vhdl_to_lustre.ml
src/tools/importer/vhdl_to_lustre.ml  

408  408 
vhdl_signal_condition_t > vhdl_signal_condition_t= 
409  409 
fun { expr; cond } > 
410  410 
let expr = self#list self#vhdl_waveform_element_t expr in 
411 
let cond = self#vhdl_expr_t cond in { expr; cond } 

411 
let cond = self#option self#vhdl_expr_t cond in { expr; cond }


412  412  
413  413 
method vhdl_signal_selection_t : 
414  414 
vhdl_signal_selection_t > vhdl_signal_selection_t= 
...  ...  
419  419  
420  420 
method vhdl_conditional_signal_t : 
421  421 
vhdl_conditional_signal_t > vhdl_conditional_signal_t= 
422 
fun { postponed; label; lhs; rhs; cond; delay } >


422 
fun { postponed; label; lhs; rhs; delay } > 

423  423 
let postponed = self#bool postponed in 
424  424 
let label = self#vhdl_name_t label in 
425  425 
let lhs = self#vhdl_name_t lhs in 
426  426 
let rhs = self#list self#vhdl_signal_condition_t rhs in 
427 
let cond = self#vhdl_expr_t cond in 

428  427 
let delay = self#vhdl_expr_t delay in 
429 
{ postponed; label; lhs; rhs; cond; delay }


428 
{ postponed; label; lhs; rhs; delay } 

430  429  
431  430 
method vhdl_process_t : vhdl_process_t > vhdl_process_t= 
432  431 
fun { id; declarations; active_sigs; body } > 
Also available in: Unified diff