Revision 6d3b5007
Added by Arnaud Dieumegard about 5 years ago
| src/tools/importer/vhdl_to_lustre.ml | ||
|---|---|---|
| 315 | 315 |
let report = self#vhdl_expr_t report in |
| 316 | 316 |
let severity = self#vhdl_expr_t severity in |
| 317 | 317 |
Assert { label; cond; report; severity }
|
| 318 |
| ProcedureCall { label; name; assocs } ->
|
|
| 319 |
let label = self#vhdl_name_t label in |
|
| 320 |
let name = self#vhdl_name_t name in |
|
| 321 |
let assocs = self#list self#vhdl_assoc_element_t assocs in |
|
| 322 |
ProcedureCall { label; name; assocs }
|
|
| 318 | 323 |
| Wait -> Wait |
| 319 | 324 |
| Null { label } ->
|
| 320 | 325 |
let label = self#vhdl_name_t label in Null { label }
|
Also available in: Unified diff
Added support for ProcedureCall statements