edu.rice.cs.drjava.model
Class DefaultGlobalModel.DefinitionsDocumentHandler

java.lang.Object
  |
  +--edu.rice.cs.drjava.model.DefaultGlobalModel.DefinitionsDocumentHandler
All Implemented Interfaces:
OpenDefinitionsDocument
Enclosing class:
DefaultGlobalModel

private class DefaultGlobalModel.DefinitionsDocumentHandler
extends Object
implements OpenDefinitionsDocument

Inner class to handle operations on each of the open DefinitionsDocuments by the GlobalModel.


Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait