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 5175 2010-01-20 08:46:32Z mgricken $

See Also:

Serialized Form

Field Summary

private File

_file

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, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, 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.