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

Bug 83

Summary: GUI triggers an exception on syntax check (model attached)
Product: UPPAAL Reporter: Juhan Ernits <juhan>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.3   
Hardware: All   
OS: All   
Attachments: A simple model illustrating the crash

Description Juhan Ernits 2004-01-19 02:25:09 CET
Uppaal GUI triggers the following exception when template P is opened and syntax
check is triggered (this is done on opening the model). The problem was observed
under Windows and Linux.

"java.lang.IllegalArgumentException: Zero length iterator passed to TextLayout

The problem is triggered, when the syntax checker wants to underline an 
assignment containing an error in the case, when there are empty lines
separating assignments on one transition.
Comment 1 Juhan Ernits 2004-01-19 02:27:02 CET
Created attachment 14 [details]
A simple model  illustrating the crash
Comment 2 Juhan Ernits 2004-01-19 02:56:50 CET
Changed platform to all.
Comment 3 Gerd Behrmann 2004-01-29 12:00:39 CET
A fix has been checked into CVS.