edu.rice.cs.drjava.model
Class FileMovedException
java.lang.Object
|
+--java.lang.Throwable
|
+--java.lang.Exception
|
+--java.io.IOException
|
+--edu.rice.cs.drjava.model.FileMovedException
- All Implemented Interfaces:
- Serializable
- public class FileMovedException
- extends IOException
Special FileMovedException to signify when a document's file no longer
exists on disk where it once was.
- Version:
- $Id: FileMovedException.java,v 1.1 2002/08/06 17:03:33 cmcgraw Exp $
- See Also:
- Serialized Form
Method Summary |
File |
getFile()
Get the file which caused this exception. |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
_file
private File _file
FileMovedException
public FileMovedException(File f,
String s)
- Creates a FileMovedException for the given file, with
the given message.
getFile
public File getFile()
- Get the file which caused this exception.