From: SourceForge.net <no...@so...> - 2006-02-16 21:21:58
|
Bugs item #1433175, was opened at 2006-02-16 13:21 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=1433175&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: Runtime Exception when deleting code Initial Comment: I tried to delete a method from a Java file using DrJava Version : 20051117-1924 on a PC running Windows XP. I immediately got the runtime exception below. The code continued to run, but I got the same exception anytime I tried to access this file. edu.rice.cs.util.UnexpectedException: javax.swing.text.BadLocationException: Invalid location at edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:248) at edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:93) at edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:71) at javax.swing.text.JTextComponent.fireCaretUpdate(Unknown Source) at javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown Source) at javax.swing.text.JTextComponent$MutableCaretEvent.stateChanged(Unknown Source) at javax.swing.text.DefaultCaret.fireStateChanged(Unknown Source) at javax.swing.text.DefaultCaret.changeCaretPosition(Unknown Source) at javax.swing.text.DefaultCaret.handleSetDot(Unknown Source) at javax.swing.text.DefaultCaret.setDot(Unknown Source) at javax.swing.text.DefaultCaret.setDot(Unknown Source) at javax.swing.text.JTextComponent.setCaretPosition(Unknown Source) at edu.rice.cs.drjava.ui.AbstractDJPane.setCaretPosition(AbstractDJPane.java:133) at edu.rice.cs.drjava.ui.DefinitionsPane.notifyActive(DefinitionsPane.java:882) at edu.rice.cs.drjava.ui.MainFrame._switchDefScrollPane(MainFrame.java:4811) at edu.rice.cs.drjava.ui.MainFrame$ModelListener$7.run(MainFrame.java:5480) at edu.rice.cs.util.swing.Utilities.invokeLater(Utilities.java:52) at edu.rice.cs.drjava.ui.MainFrame$ModelListener.activeDocumentChanged(MainFrame.java:5477) at edu.rice.cs.drjava.model.GlobalEventNotifier.activeDocumentChanged(GlobalEventNotifier.java:252) at edu.rice.cs.drjava.model.AbstractGlobalModel.refreshActiveDocument(AbstractGlobalModel.java:3147) at edu.rice.cs.drjava.model.AbstractGlobalModel._setActiveDoc(AbstractGlobalModel.java:3137) at edu.rice.cs.drjava.model.AbstractGlobalModel.access$000(AbstractGlobalModel.java:148) at edu.rice.cs.drjava.model.AbstractGlobalModel$1.itemCase(AbstractGlobalModel.java:315) at edu.rice.cs.drjava.model.AbstractGlobalModel$1.itemCase(AbstractGlobalModel.java:336) at edu.rice.cs.util.docnavigation.JListNavigator$1$1$2.execute(JListNavigator.java:111) at edu.rice.cs.drjava.model.AbstractGlobalModel$2.gainedSelection(AbstractGlobalModel.java:340) at edu.rice.cs.util.docnavigation.JListNavigator$1$1.run(JListNavigator.java:115) at edu.rice.cs.util.swing.Utilities.invokeLater(Utilities.java:52) at edu.rice.cs.util.docnavigation.JListNavigator$1.valueChanged(JListNavigator.java:100) at javax.swing.JList.fireSelectionValueChanged(Unknown Source) at javax.swing.JList$ListSelectionHandler.valueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.setValueIsAdjusting(Unknown Source) at javax.swing.JList.setValueIsAdjusting(Unknown Source) at javax.swing.plaf.basic.BasicListUI$Handler.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:2649) at edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:245) ... 57 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:2649) at edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:245) at edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:93) at edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:71) at javax.swing.text.JTextComponent.fireCaretUpdate(Unknown Source) at javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown Source) at javax.swing.text.JTextComponent$MutableCaretEvent.stateChanged(Unknown Source) at javax.swing.text.DefaultCaret.fireStateChanged(Unknown Source) at javax.swing.text.DefaultCaret.changeCaretPosition(Unknown Source) at javax.swing.text.DefaultCaret.handleSetDot(Unknown Source) at javax.swing.text.DefaultCaret.setDot(Unknown Source) at javax.swing.text.DefaultCaret.setDot(Unknown Source) at javax.swing.text.JTextComponent.setCaretPosition(Unknown Source) at edu.rice.cs.drjava.ui.AbstractDJPane.setCaretPosition(AbstractDJPane.java:133) at edu.rice.cs.drjava.ui.DefinitionsPane.notifyActive(DefinitionsPane.java:882) at edu.rice.cs.drjava.ui.MainFrame._switchDefScrollPane(MainFrame.java:4811) at edu.rice.cs.drjava.ui.MainFrame$ModelListener$7.run(MainFrame.java:5480) at edu.rice.cs.util.swing.Utilities.invokeLater(Utilities.java:52) at edu.rice.cs.drjava.ui.MainFrame$ModelListener.activeDocumentChanged(MainFrame.java:5477) at edu.rice.cs.drjava.model.GlobalEventNotifier.activeDocumentChanged(GlobalEventNotifier.java:252) at edu.rice.cs.drjava.model.AbstractGlobalModel.refreshActiveDocument(AbstractGlobalModel.java:3147) at edu.rice.cs.drjava.model.AbstractGlobalModel._setActiveDoc(AbstractGlobalModel.java:3137) at edu.rice.cs.drjava.model.AbstractGlobalModel.access$000(AbstractGlobalModel.java:148) at edu.rice.cs.drjava.model.AbstractGlobalModel$1.itemCase(AbstractGlobalModel.java:315) at edu.rice.cs.drjava.model.AbstractGlobalModel$1.itemCase(AbstractGlobalModel.java:336) at edu.rice.cs.util.docnavigation.JListNavigator$1$1$2.execute(JListNavigator.java:111) at edu.rice.cs.drjava.model.AbstractGlobalModel$2.gainedSelection(AbstractGlobalModel.java:340) at edu.rice.cs.util.docnavigation.JListNavigator$1$1.run(JListNavigator.java:115) at edu.rice.cs.util.swing.Utilities.invokeLater(Utilities.java:52) at edu.rice.cs.util.docnavigation.JListNavigator$1.valueChanged(JListNavigator.java:100) at javax.swing.JList.fireSelectionValueChanged(Unknown Source) at javax.swing.JList$ListSelectionHandler.valueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.fireValueChanged(Unknown Source) at javax.swing.DefaultListSelectionModel.setValueIsAdjusting(Unknown Source) at javax.swing.JList.setValueIsAdjusting(Unknown Source) at javax.swing.plaf.basic.BasicListUI$Handler.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=1433175&group_id=44253 |