From: SourceForge.net <no...@so...> - 2003-08-13 20:40:46
|
Bugs item #788311, was opened at 2003-08-13 20:18 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=788311&group_id=44253 Category: Interactions Group: Serious Status: Open Resolution: None Priority: 5 Submitted By: Charles Reis (csreis) Assigned to: Nobody/Anonymous (nobody) Summary: NullPointer when saving history Initial Comment: The following steps will cause a NullPointerException in drjava-20030812-2156, WinXP, JDK 1.4.2: - Start DrJava - Enter "int x = 3;" into Interactions - Right-click, "Save History" - Edit before saving, click Save - Save as "hist1" - Right-click, "Load History as Script" (Note: just clicking Open will cause an IOException, since "hist1" is selected, not "hist1.hist") - Choose hist1.hist - Right-click, "Save History" - Edit before saving, click Save - Change "hist1.hist" to "hist2.hist" and click Save A NullPointerException will be thrown: java.lang.RuntimeException: filechooser returned null file at edu.rice.cs.drjava.ui.MainFrame.getChosenFile(MainFrame.java:2357) at edu.rice.cs.drjava.ui.MainFrame.access$4700(MainFrame.java:95) at edu.rice.cs.drjava.ui.MainFrame$64.getFile(MainFrame.java:1122) at edu.rice.cs.drjava.model.repl.History.writeToFile(History.java:237) at edu.rice.cs.drjava.model.repl.InteractionsDocument.saveHistory(InteractionsDocument.java:209) at edu.rice.cs.drjava.model.DefaultGlobalModel.saveHistory(DefaultGlobalModel.java:922) at edu.rice.cs.drjava.ui.MainFrame$63.actionPerformed(MainFrame.java:1137) at javax.swing.AbstractButton.fireActionPerformed(Unknown Source) at javax.swing.AbstractButton$ForwardActionEvents.actionPerformed(Unknown Source) at javax.swing.DefaultButtonModel.fireActionPerformed(Unknown Source) at javax.swing.DefaultButtonModel.setPressed(Unknown Source) at javax.swing.AbstractButton.doClick(Unknown Source) at javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown Source) at javax.swing.plaf.basic.BasicMenuItemUI$MouseInputHandler.mouseReleased(Unknown Source) at java.awt.AWTEventMulticaster.mouseReleased(Unknown Source) at java.awt.Component.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=788311&group_id=44253 |