| Summary: | java.lang.IllegalArgumentException: Invalid substring range | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Juhan Ernits <juhan> |
| Component: | GUI | Assignee: | Gerd Behrmann <behrmann> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | P1 | ||
| Version: | 3.6 Alpha 4 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
| Attachments: | A minimal example producing the error. | ||
Created attachment 86 [details]
A minimal example producing the error.
Thanks, I will analyse the problem. Fixed on the trunk. |
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)