| Summary: | cannot access array A in template instantiation | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
| Component: | Engine | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | minor | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.0.14 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | model triggering the problem | ||
Created attachment 304 [details] model triggering the problem Suppose we have a template: Template(int i){...}; Then in the system declaration: const int A[2] = {1,1}; Process = Template(A[0]); system Process; Uppaal complains at the A[0] expression: [error] syntax error, unexpected ']'. If the array variable is renamed to anything but A, then the symptoms are gone. I tried with variable name E, but Uppaal is fine with that. 4.1.19 does not have this issue.