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: libutapAssignee: Gerd Behrmann <behrmann>
Severity: normal CC: ohj
Priority: P2    
Version: 3.5.6   
Hardware: All   
OS: All   
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. ***