Bug 266 - java.lang.IllegalArgumentException: Invalid substring range
Summary: java.lang.IllegalArgumentException: Invalid substring range
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Alpha 4
Hardware: PC Linux
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-02-13 14:01 CET by Juhan Ernits
Modified: 2006-02-21 14:23 CET (History)
0 users

See Also:
Architecture:


Attachments
A minimal example producing the error. (778 bytes, text/xml)
2006-02-13 14:02 CET, Juhan Ernits
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Juhan Ernits 2006-02-13 14:01:00 CET
The GUI produces the following exception each time one highlights the transition
containing the following faulty piece of code in the update window:
"forall (i: int[0,C-1]) b[i]".

The stack dump:

java.lang.IllegalArgumentException: Invalid substring range
        at java.text.AttributedString.addAttribute(AttributedString.java:315)
        at eR.a(Unknown Source)
        at fP.paintComponent(Unknown Source)
        at javax.swing.JComponent.paint(JComponent.java:1005)
        at javax.swing.JComponent.paintWithOffscreenBuffer(JComponent.java:4963)
        at javax.swing.JComponent.paintDoubleBuffered(JComponent.java:4916)
        at javax.swing.JComponent._paintImmediately(JComponent.java:4859)
        at javax.swing.JComponent.paintImmediately(JComponent.java:4666)
        at javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:451)
        at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:114)
        at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209)
        at java.awt.EventQueue.dispatchEvent(EventQueue.java:461)
        at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
        at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
        at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
        at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
        at java.awt.EventDispatchThread.run(EventDispatchThread.java:110)
Comment 1 Juhan Ernits 2006-02-13 14:02:57 CET
Created attachment 86 [details]
A minimal example producing the error.
Comment 2 Gerd Behrmann 2006-02-13 14:08:51 CET
Thanks, I will analyse the problem.
Comment 3 Gerd Behrmann 2006-02-21 14:23:08 CET
Fixed on the trunk.