| edu.rice.cs.drjava.model.cache.DDReconstructor
| DDReconstructor | | public interface DDReconstructor (Code) | | The Reconstructor is a closure that builds a document. This class is used by the DocumentCache to load
DefinitionsDocuments lazily from files on disk.
|
| addDocumentListener | | public void addDocumentListener(DocumentListener dl)(Code) | | Sets a document listener to be added to the definitions document when it is created
Parameters:
dl - the listener to add to the document |
| getText | | public String getText()(Code) | | Returns the string text for document that has been kicked out; null otherwise.
|
| saveDocInfo | | public void saveDocInfo(DefinitionsDocument doc)(Code) | | Saves information (like cursor location, highlight, etc.) from the DefinitionsDocument before the cache deletes it
so that those pieces of info can be restored when reconstructing the DefinitionsDocument again.
Parameters:
doc - the DefinitionsDocument whose data needs saving |
|
|