Bug 414

Summary: before_update/after_update in local declaration
Product: UPPAAL Reporter: Jacob Illum <illum>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: normal    
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Test case

Description Jacob Illum 2007-04-23 10:16:18 CEST
Using before_update and after_update in local declarations using local variables fails with a 
java.io.IOException: Server connection lost

It doesn't fail when using only global variables.
Comment 1 Gerd Behrmann 2007-05-13 18:00:26 CEST
Confirmed.
Comment 2 Gerd Behrmann 2007-05-15 17:44:58 CEST
Created attachment 156 [details]
Test case
Comment 3 Gerd Behrmann 2007-05-15 17:54:46 CEST
Fixes on the 4.0 branch from rev. 3063.  We now report an error if before_update and after_update is used inside a template. 

In a future version we may consider allowing these statements inside templates, however, currently it is not clear to me what the semantics should be.