edu.rice.cs.drjava.model
Class AlreadyOpenException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.rice.cs.drjava.model.AlreadyOpenException

All Implemented Interfaces:

java.io.Serializable

public class AlreadyOpenException
extends java.lang.Exception

Indicates that the file attempting to be opened is already open.

Version:

$Id: AlreadyOpenException.java 5175 2010-01-20 08:46:32Z mgricken $

See Also:

Serialized Form

Field Summary

private OpenDefinitionsDocument[]

_openDocs

Constructor Summary

AlreadyOpenException(OpenDefinitionsDocument doc)
Exception indicating that the requested file is already open.

AlreadyOpenException(OpenDefinitionsDocument[] docs)

Method Summary

OpenDefinitionsDocument	getOpenDocument()
OpenDefinitionsDocument[]	getOpenDocuments()

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

_openDocs

private OpenDefinitionsDocument[] _openDocs

Constructor Detail

AlreadyOpenException

public AlreadyOpenException(OpenDefinitionsDocument[] docs)

AlreadyOpenException

public AlreadyOpenException(OpenDefinitionsDocument doc)

Exception indicating that the requested file is already open.

Parameters:

doc - the currently open document

Method Detail

getOpenDocument

public OpenDefinitionsDocument getOpenDocument()

Returns:

the currently open document for the requested file

getOpenDocuments

public OpenDefinitionsDocument[] getOpenDocuments()