Bugs item #589397, was opened at 2002-07-31 17:18
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=589397&group_id=44253
Category: Debugger
Group: Makes DrJ unstable
Status: Open
Resolution: None
Priority: 7
Submitted By: Eric E. Allen (eallen)
Assigned to: Nobody/Anonymous (nobody)
Summary: uncaught exception when setting watch
Initial Comment:
Using drjava-20020731-1445, I get an uncaught exception when
clicking on the "value" and "type" fields of a watch. I suspect that
those fields weren't set to be uneditable(?).
Here's the stack trace sans system calls:
java.lang.NullPointerException
at
edu.rice.cs.drjava.model.debug.DebugManager._updateWatches(Deb
ugManager.java:716)
at
edu.rice.cs.drjava.model.debug.DebugManager.addWatch(DebugMan
ager.java:390)
at
edu.rice.cs.drjava.ui.DebugPanel$WatchTableModel.setValueAt(De
bugPanel.java:287)
at javax.swing.JTable.setValueAt(JTable.java:1737)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=589397&group_id=44253
|
