drjava-hackers

[SourceForge.net <no...@so...>]

Bugs item #1070636, was opened at 2004-11-21 13: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=1070636&group_id=44253

Category: None
Group: Could cause data loss
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: javax.swing.text.BadLocationException

Initial Comment:
I can't find the Help-menu thing I'm supposed to submit; sorry. I 
think the problem came because I like to write my code in vi, and 
so I'm alternately writing code and compiling/reloading in DrJava. 
The error said I should save and restart DrJava - not a crash, 
quite. Below is what came with the error popup:

edu.rice.cs.util.UnexpectedException: 
javax.swing.text.BadLocationException: Invalid location
	at 
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtO
ffset(CompilerErrorModel.java:287)
	at 
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaret
Listener.java:121)
	at 
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretList
ener.java:97)
	at 
javax.swing.text.JTextComponent.fireCaretUpdate(JTextComponen
t.java:356)
	at 
javax.swing.text.JTextComponent$MutableCaretEvent.fire(JTextCo
mponent.java:3165)
	at 
javax.swing.text.JTextComponent$MutableCaretEvent.stateChange
d(JTextComponent.java:3187)
	at 
javax.swing.text.DefaultCaret.fireStateChanged(DefaultCaret.java:
638)
	at 
javax.swing.text.DefaultCaret.changeCaretPosition(DefaultCaret.ja
va:1010)
	at 
javax.swing.text.DefaultCaret.handleSetDot(DefaultCaret.java:918)
	at javax.swing.text.DefaultCaret.setDot(DefaultCaret.java:
899)
	at 
javax.swing.text.DefaultCaret$UpdateHandler.insertUpdate(Default
Caret.java:1453)
	at 
javax.swing.text.AbstractDocument.fireInsertUpdate(AbstractDocu
ment.java:184)
	at 
javax.swing.text.AbstractDocument.handleInsertString(AbstractDoc
ument.java:749)
	at 
javax.swing.text.AbstractDocument.insertString(AbstractDocument.
java:706)
	at 
javax.swing.text.PlainDocument.insertString(PlainDocument.java:
114)
	at 
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.insertStri
ng(DefinitionsDocument.java:570)
	at 
javax.swing.text.AbstractDocument.replace(AbstractDocument.jav
a:668)
	at 
javax.swing.text.JTextComponent.replaceSelection(JTextCompone
nt.java:1072)
	at javax.swing.JEditorPane.replaceSelection(JEditorPane.java:
1050)
	at 
javax.swing.text.DefaultEditorKit$InsertBreakAction.actionPerform
ed(DefaultEditorKit.java:937)
	at 
edu.rice.cs.drjava.ui.DefinitionsPane$IndentKeyAction.actionPerfor
med(DefinitionsPane.java:404)
	at javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:
1535)
	at 
javax.swing.JComponent.processKeyBinding(JComponent.java:
2438)
	at 
javax.swing.JComponent.processKeyBindings(JComponent.java:
2473)
	at 
javax.swing.JComponent.processKeyEvent(JComponent.java:
2401)
	at 
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsP
ane.java:494)
	at java.awt.Component.processEvent(Component.java:4975)
	at java.awt.Container.processEvent(Container.java:1613)
	at java.awt.Component.dispatchEventImpl(Component.java:
3681)
	at java.awt.Container.dispatchEventImpl(Container.java:
1671)
	at java.awt.Component.dispatchEvent(Component.java:3543)
	at 
java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusM
anager.java:1713)
	at 
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Default
KeyboardFocusManager.java:627)
	at 
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Defa
ultKeyboardFocusManager.java:831)
	at 
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Defa
ultKeyboardFocusManager.java:741)
	at 
java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKey
boardFocusManager.java:592)
	at java.awt.Component.dispatchEventImpl(Component.java:
3572)
	at java.awt.Container.dispatchEventImpl(Container.java:
1671)
	at java.awt.Window.dispatchEventImpl(Window.java:1606)
	at java.awt.Component.dispatchEvent(Component.java:3543)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:456)
	at 
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDi
spatchThread.java:234)
	at 
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDisp
atchThread.java:184)
	at 
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.j
ava:178)
	at 
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.j
ava:170)
	at 
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)

Caused by:
javax.swing.text.BadLocationException: Invalid location
	at javax.swing.text.GapContent.getChars(GapContent.java:
172)
	at javax.swing.text.GapContent.getString(GapContent.java:
150)
	at 
javax.swing.text.AbstractDocument.getText(AbstractDocument.jav
a:772)
	at 
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtO
ffset(CompilerErrorModel.java:280)
	at 
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaret
Listener.java:121)
	at 
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretList
ener.java:97)
	at 
javax.swing.text.JTextComponent.fireCaretUpdate(JTextComponen
t.java:356)
	at 
javax.swing.text.JTextComponent$MutableCaretEvent.fire(JTextCo
mponent.java:3165)
	at 
javax.swing.text.JTextComponent$MutableCaretEvent.stateChange
d(JTextComponent.java:3187)
	at 
javax.swing.text.DefaultCaret.fireStateChanged(DefaultCaret.java:
638)
	at 
javax.swing.text.DefaultCaret.changeCaretPosition(DefaultCaret.ja
va:1010)
	at 
javax.swing.text.DefaultCaret.handleSetDot(DefaultCaret.java:918)
	at javax.swing.text.DefaultCaret.setDot(DefaultCaret.java:
899)
	at 
javax.swing.text.DefaultCaret$UpdateHandler.insertUpdate(Default
Caret.java:1453)
	at 
javax.swing.text.AbstractDocument.fireInsertUpdate(AbstractDocu
ment.java:184)
	at 
javax.swing.text.AbstractDocument.handleInsertString(AbstractDoc
ument.java:749)
	at 
javax.swing.text.AbstractDocument.insertString(AbstractDocument.
java:706)
	at 
javax.swing.text.PlainDocument.insertString(PlainDocument.java:
114)
	at 
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.insertStri
ng(DefinitionsDocument.java:570)
	at 
javax.swing.text.AbstractDocument.replace(AbstractDocument.jav
a:668)
	at 
javax.swing.text.JTextComponent.replaceSelection(JTextCompone
nt.java:1072)
	at javax.swing.JEditorPane.replaceSelection(JEditorPane.java:
1050)
	at 
javax.swing.text.DefaultEditorKit$InsertBreakAction.actionPerform
ed(DefaultEditorKit.java:937)
	at 
edu.rice.cs.drjava.ui.DefinitionsPane$IndentKeyAction.actionPerfor
med(DefinitionsPane.java:404)
	at javax.swing.SwingUtilities.notifyAction(SwingUtilities.java:
1535)
	at 
javax.swing.JComponent.processKeyBinding(JComponent.java:
2438)
	at 
javax.swing.JComponent.processKeyBindings(JComponent.java:
2473)
	at 
javax.swing.JComponent.processKeyEvent(JComponent.java:
2401)
	at 
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsP
ane.java:494)
	at java.awt.Component.processEvent(Component.java:4975)
	at java.awt.Container.processEvent(Container.java:1613)
	at java.awt.Component.dispatchEventImpl(Component.java:
3681)
	at java.awt.Container.dispatchEventImpl(Container.java:
1671)
	at java.awt.Component.dispatchEvent(Component.java:3543)
	at 
java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusM
anager.java:1713)
	at 
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Default
KeyboardFocusManager.java:627)
	at 
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Defa
ultKeyboardFocusManager.java:831)
	at 
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Defa
ultKeyboardFocusManager.java:741)
	at 
java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKey
boardFocusManager.java:592)
	at java.awt.Component.dispatchEventImpl(Component.java:
3572)
	at java.awt.Container.dispatchEventImpl(Container.java:
1671)
	at java.awt.Window.dispatchEventImpl(Window.java:1606)
	at java.awt.Component.dispatchEvent(Component.java:3543)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:456)
	at 
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDi
spatchThread.java:234)
	at 
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDisp
atchThread.java:184)
	at 
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.j
ava:178)
	at 
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.j
ava:170)
	at 
java.awt.EventDispatchThread.run(EventDispatchThread.java:100)


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1070636&group_id=44253