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

Field Summary
private  File _file
           
 
Fields inherited from class java.lang.Throwable
backtrace, detailMessage, serialVersionUID
 
Constructor Summary
FileMovedException(File f, String s)
          Creates a FileMovedException for the given file, with the given message.
 
Method Summary
 File getFile()
          Get the file which caused this exception.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, printStackTrace0, toString
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

_file

private File _file
Constructor Detail

FileMovedException

public FileMovedException(File f,
                          String s)
Creates a FileMovedException for the given file, with the given message.
Method Detail

getFile

public File getFile()
Get the file which caused this exception.