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

Bug 291

Summary:	ArrayIndexOutOfBounds exception when updating simulator
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	GUI	Assignee:	Robert Olesen <egir>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	3.6 Alpha 5
Hardware:	All
OS:	All
Architecture:
Attachments:	model to reproduce an exception

Description Marius Mikučionis 2006-03-10 11:48:14 CET

I was playing with Uppaal 3.6 beta1 pre1 rev. 1625

to reproduce it try:
1) open testsuite.xml (attached)
2) go to simulator
3) pick and fire transition (e.g. one2many: ...)
4) go back to editor, system declarations
5) add env2 process
6) switch to simulator, say yes to update it
7) Caught unexpected ... message box appears.
and the terminal is full of traces of course...

Comment 1 Marius Mikučionis 2006-03-10 11:49:17 CET

Created attachment 93 [details]
model to reproduce an exception

Comment 2 Gerd Behrmann 2006-03-10 13:04:31 CET

Alpha 5 has the same problem. May be caused by the fix for bug 96.

Comment 3 Gerd Behrmann 2006-03-10 13:17:30 CET

This was introduced in rev. 1569. Robert, that is you change. Can you please take a look at this asap. Thanks.

Comment 4 Robert Olesen 2006-03-10 14:28:06 CET

(In reply to comment #3)
> This was introduced in rev. 1569. Robert, that is you change. Can you please
> take a look at this asap. Thanks.
> 

I have found the errors. I'll read the code through an extra time and then commit as soon as I get home today.

Comment 5 Gerd Behrmann 2006-03-10 14:34:41 CET

(In reply to comment #4)
> I have found the errors. I'll read the code through an extra time and then
> commit as soon as I get home today.

That was fast, thanks! How severe is it? That is, how likely is it that our users will run into this problem?

Comment 6 Robert Olesen 2006-03-10 16:09:00 CET

The zoom level of processes and their visibility is remembered in some arrays in the simulator each time the system is reuploaded. I forgot to pay attention to theese arrays changing their size when the system definition is expanded (or reduced for that matter) with additional processes.

I have fixed the bug and checked it into SVN as revision 1633.