From: SourceForge.net <no...@so...> - 2006-04-14 19:30:47
|
Bugs item #1470507, was opened at 2006-04-14 14:30 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=1470507&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: Project Facility Group: 3: Ugly Status: Open Resolution: None Priority: 5 Submitted By: Dan Smith (dlsmith) Assigned to: Nobody/Anonymous (nobody) Summary: Unhandled FileMovedException on project save Initial Comment: Got this error when I closed & saved my project in the current release (20060407). I had removed some of the files underneath. edu.rice.cs.util.UnexpectedException: edu.rice.cs.drjava.model.FileMovedException: This document's file has been moved or deleted. at edu.rice.cs.drjava.ui.MainFrame$120.getFile(MainFrame.java:3237) at edu.rice.cs.drjava.project.ProjectProfile.docFileFromGetter(ProjectProfile.java:307) at edu.rice.cs.drjava.project.ProjectProfile.addSourceFile(ProjectProfile.java:149) at edu.rice.cs.drjava.model.AbstractGlobalModel.saveProject(AbstractGlobalModel.java:1217) at edu.rice.cs.drjava.ui.MainFrame._saveProjectHelper(MainFrame.java:3191) at edu.rice.cs.drjava.ui.MainFrame._saveProject(MainFrame.java:3123) at edu.rice.cs.drjava.ui.MainFrame._checkProjectClose(MainFrame.java:2832) at edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:2793) at edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:2785) at edu.rice.cs.drjava.ui.MainFrame$18.actionPerformed(MainFrame.java:442) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1849) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2169) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:420) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:258) at javax.swing.AbstractButton.doClick(AbstractButton.java:302) at javax.swing.plaf.basic.BasicMenuItemUI.doClick(BasicMenuItemUI.java:1000) at javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(BasicMenuItemUI.java:1041) at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231) at java.awt.Component.processMouseEvent(Component.java:5488) at javax.swing.JComponent.processMouseEvent(JComponent.java:3126) at java.awt.Component.processEvent(Component.java:5253) at java.awt.Container.processEvent(Container.java:1966) at java.awt.Component.dispatchEventImpl(Component.java:3955) at java.awt.Container.dispatchEventImpl(Container.java:2024) at java.awt.Component.dispatchEvent(Component.java:3803) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4212) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:3892) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:3822) at java.awt.Container.dispatchEventImpl(Container.java:2010) at java.awt.Window.dispatchEventImpl(Window.java:1774) at java.awt.Component.dispatchEvent(Component.java:3803) at java.awt.EventQueue.dispatchEvent(EventQueue.java:463) at java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149) at java.awt.EventDispatchThread.run(EventDispatchThread.java:110) Caused by: edu.rice.cs.drjava.model.FileMovedException: This document's file has been moved or deleted. at edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getFile(AbstractGlobalModel.java:2059) at edu.rice.cs.drjava.ui.MainFrame$120.getFile(MainFrame.java:3236) ... 36 more Caused by: edu.rice.cs.drjava.model.FileMovedException: This document's file has been moved or deleted. at edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getFile(AbstractGlobalModel.java:2059) at edu.rice.cs.drjava.ui.MainFrame$120.getFile(MainFrame.java:3236) at edu.rice.cs.drjava.project.ProjectProfile.docFileFromGetter(ProjectProfile.java:307) at edu.rice.cs.drjava.project.ProjectProfile.addSourceFile(ProjectProfile.java:149) at edu.rice.cs.drjava.model.AbstractGlobalModel.saveProject(AbstractGlobalModel.java:1217) at edu.rice.cs.drjava.ui.MainFrame._saveProjectHelper(MainFrame.java:3191) at edu.rice.cs.drjava.ui.MainFrame._saveProject(MainFrame.java:3123) at edu.rice.cs.drjava.ui.MainFrame._checkProjectClose(MainFrame.java:2832) at edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:2793) at edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:2785) at edu.rice.cs.drjava.ui.MainFrame$18.actionPerformed(MainFrame.java:442) at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1849) at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2169) at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:420) at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:258) at javax.swing.AbstractButton.doClick(AbstractButton.java:302) at javax.swing.plaf.basic.BasicMenuItemUI.doClick(BasicMenuItemUI.java:1000) at javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(BasicMenuItemUI.java:1041) at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:231) at java.awt.Component.processMouseEvent(Component.java:5488) at javax.swing.JComponent.processMouseEvent(JComponent.java:3126) at java.awt.Component.processEvent(Component.java:5253) at java.awt.Container.processEvent(Container.java:1966) at java.awt.Component.dispatchEventImpl(Component.java:3955) at java.awt.Container.dispatchEventImpl(Container.java:2024) at java.awt.Component.dispatchEvent(Component.java:3803) at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4212) at java.awt.LightweightDispatcher.processMouseEvent(Container.java:3892) at java.awt.LightweightDispatcher.dispatchEvent(Container.java:3822) at java.awt.Container.dispatchEventImpl(Container.java:2010) at java.awt.Window.dispatchEventImpl(Window.java:1774) at java.awt.Component.dispatchEvent(Component.java:3803) at java.awt.EventQueue.dispatchEvent(EventQueue.java:463) at java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242) at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157) at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149) at java.awt.EventDispatchThread.run(EventDispatchThread.java:110) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1470507&group_id=44253 |