|Summary:||connection lost to server after model load|
|Product:||UPPAAL||Reporter:||Arne Skou <ask>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
|Attachments:||The Uppaal model which causes the error|
Description Arne Skou 2003-09-16 10:55:32 CEST
When loading a particular model, The GUI reports 'Fatal error. Server connection lost The server connection has been killed'
Comment 1 Arne Skou 2003-09-16 10:58:34 CEST
Created attachment 4 [details] The Uppaal model which causes the error
Comment 2 Gerd Behrmann 2003-09-17 15:36:04 CEST
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).