Bugs item #1570884, was opened at 2006-10-04 11:27
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1570884&group_id=44253
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Other
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Error message
Initial Comment:
edu.rice.cs.util.UnexpectedException:
javax.swing.text.BadLocationException: Invalid location
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:247)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:89)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:67)
at
javax.swing.text.JTextComponent.fireCaretUpdate(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.Component.processMouseEvent(Unknown Source)
at javax.swing.JComponent.processMouseEvent(Unknown
Source)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at
java.awt.LightweightDispatcher.retargetMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.processMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.dispatchEvent(Unknown
Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
Caused by: javax.swing.text.BadLocationException:
Invalid location
at javax.swing.text.GapContent.getChars(Unknown Source)
at javax.swing.text.GapContent.getString(Unknown Source)
at javax.swing.text.AbstractDocument.getText(Unknown
Source)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getText(AbstractGlobalModel.java:2629)
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:244)
... 27 more
Caused by:
javax.swing.text.BadLocationException: Invalid location
at javax.swing.text.GapContent.getChars(Unknown Source)
at javax.swing.text.GapContent.getString(Unknown Source)
at javax.swing.text.AbstractDocument.getText(Unknown
Source)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getText(AbstractGlobalModel.java:2629)
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:244)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:89)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:67)
at
javax.swing.text.JTextComponent.fireCaretUpdate(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.AWTEventMulticaster.mouseReleased(Unknown
Source)
at java.awt.Component.processMouseEvent(Unknown Source)
at javax.swing.JComponent.processMouseEvent(Unknown
Source)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at
java.awt.LightweightDispatcher.retargetMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.processMouseEvent(Unknown
Source)
at
java.awt.LightweightDispatcher.dispatchEvent(Unknown
Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1570884&group_id=44253
|
