edu.rice.cs.drjava.model
Class DocumentClosedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              edu.rice.cs.drjava.model.DocumentClosedException

All Implemented Interfaces:

Serializable

public class DocumentClosedException
extends RuntimeException

Special DocumentClosedException to signify when a document's file no longer exists on disk where it once was, and as a result of the prompt given to the user, the document is closed

See Also:

Serialized Form

Constructor Summary

DocumentClosedException(OpenDefinitionsDocument d, String s)
Creates a DocumentClosedException for the given file

Method Summary

OpenDefinitionsDocument

getDocument() Get the document 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

DocumentClosedException

public DocumentClosedException(OpenDefinitionsDocument d,
                               String s)

Creates a DocumentClosedException for the given file

Method Detail

getDocument

public OpenDefinitionsDocument getDocument()

Get the document which caused this exception.