Revision 7f5d0cde
Added by Arnaud Dieumegard over 6 years ago
| src/tools/importer/vhdl_to_lustre.ml | ||
|---|---|---|
| 194 | 194 |
| Aggregate { elems } ->
|
| 195 | 195 |
let elems = self#list self#vhdl_element_assoc_t elems in |
| 196 | 196 |
Aggregate { elems }
|
| 197 |
| QualifiedExpression { type_mark; aggregate; expression } ->
|
|
| 198 |
let type_mark = self#vhdl_name_t type_mark in |
|
| 199 |
let aggregate = self#list self#vhdl_element_assoc_t aggregate in |
|
| 200 |
let expression = self#option self#vhdl_expr_t expression in |
|
| 201 |
QualifiedExpression { type_mark; aggregate; expression }
|
|
| 197 | 202 |
| Others -> Others |
| 198 | 203 |
method vhdl_name_t : vhdl_name_t -> vhdl_name_t= |
| 199 | 204 |
fun x -> |
Also available in: Unified diff
Qualified expressions, default values for expressions, pp for association_elements