| Summary: | Mixed record types | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Gerd Behrmann <behrmann> |
| Component: | libutap | Assignee: | Gerd Behrmann <behrmann> |
| Status: | ASSIGNED --- | ||
| Severity: | enhancement | ||
| Priority: | P3 | ||
| Version: | 3.5.9 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
Increasing priority. We should try to finish this for 3.6 alpha 2. |
Currently, record types may only consist of integers. It would be very useful to be able to mix integers, clocks and channels in a record, e.g. struct { clock x; int i; chan c; meta int j; } Obviously, such record variables cannot have an initialiser, as clocks and channels cannot have initialisers.