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 4314 2008-01-30 00:08:33Z mgricken $

See Also:

Serialized Form

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

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.