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

Bug 157

Summary:	Wrong location in syntax errors.
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal	CC:	ohj
Priority:	P2
Version:	3.5.6
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case.

Description Gerd Behrmann 2005-06-02 17:26:21 CEST

When the attached model is loaded into the GUI, a NullPointerException is thrown.

Comment 1 Gerd Behrmann 2005-06-02 17:27:07 CEST

Created attachment 37 [details]
Test case.

Comment 2 Gerd Behrmann 2005-06-02 18:12:52 CEST

Turns out to be a bug in libutap where the proper context is not maintained.

Comment 3 Gerd Behrmann 2005-06-03 12:56:46 CEST

Updated summary.

Comment 4 Gerd Behrmann 2005-06-03 13:02:38 CEST

A fix for 3.5 has been checked into. The bug does not seem to be present in 3.4.10.

Comment 5 Gerd Behrmann 2005-06-03 13:05:38 CEST

*** Bug 156 has been marked as a duplicate of this bug. ***