| Summary: | connection lost to server after model load | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Arne Skou <ask> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | CLOSED FIXED | ||
| Severity: | major | CC: | ksi |
| Priority: | P2 | ||
| Version: | 3.4.0 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | The Uppaal model which causes the error | ||
|
Description
Arne Skou
2003-09-16 10:55:32 CEST
Created attachment 4 [details]
The Uppaal model which causes the error
A fix has been checked into CVS. The problem was in the error recovery for undeclared identifiers. In the testcase, the process instatiation section referred to an undeclared identifier. In order to recover from this problem (i.e. continue parsing the rest of the document), this resulted in an expression object, which referred to a "NULL" symbol. The type checker would then crash when finding this NULL symbol. The solution is to implicitly declare the missing identifier as a VOID type (after producing an error message). |