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

Bug 414

Summary:	before_update/after_update in local declaration
Product:	UPPAAL	Reporter:	Jacob Illum <illum>
Component:	Engine	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	normal	CC:	marius
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.

Comment 4 Marius Mikučionis 2019-10-21 10:15:52 CEST

taking over