| edu.rice.cs.drjava.model.cache.DCacheAdapter
| DCacheAdapter | | public interface DCacheAdapter (Code) | | A lightweight wrapper type for DefinitionsDocuments that may or may not be resident in memory. An instance of this
The wrapper includes a copy of the String text of the document if it has been kicked out of the cache.
|
| addDocumentListener | | public void addDocumentListener(DocumentListener l)(Code) | | Adds a DocumentListener to the reconstructor.
|
| close | | public void close()(Code) | | Closes the corresponding document for this adapter.
|
| documentModified | | public void documentModified()(Code) | | |
| documentReset | | public void documentReset()(Code) | | |
| documentSaved | | public void documentSaved()(Code) | | |
| getLength | | public int getLength()(Code) | | |
| isReady | | public boolean isReady()(Code) | | Checks whether the document is ready to be returned. If false, then the document would have to be
loaded from disk when getDocument() is called.
if the document is already loaded |
|
|