edu.rice.cs.drjava.model
Class DocumentClosedException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by 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

Field Summary
private  OpenDefinitionsDocument _document
           
 
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
 

Field Detail

_document

private OpenDefinitionsDocument _document
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.