This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 58

Summary: connection lost to server after model load
Product: UPPAAL Reporter: Arne Skou <ask>
Component: GUIAssignee: 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
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).
Comment 3 Gerd Behrmann 2003-09-17 15:40:41 CEST
*** Bug 61 has been marked as a duplicate of this bug. ***