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

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
Add an attachment (proposed patch, testcase, etc.)

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.