Bug 414 - before_update/after_update in local declaration
Summary: before_update/after_update in local declaration
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-04-23 10:16 CEST by Jacob Illum
Modified: 2007-05-15 17:54 CEST (History)
0 users

See Also:
Architecture:


Attachments
Test case (599 bytes, text/plain)
2007-05-15 17:44 CEST, Gerd Behrmann
Details

Note You need to log in before you can comment on or make changes to this bug.
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.