Class | Description |
---|---|
Cache |
caching policy :
- a file-based CacheEntry is valid until opened in jEdit
- a buffer-based CacheEntry is invalidated on change of the buffer
- a CacheEntry is discarded once all buffers requiring it are closed
(similar to reference-counting)
cache cleaners :
- listen to Buffer modifications and invalidates entries related to them
- listen to Buffer open and invalidates file based CacheEntry
- listen to Buffer close and invalidate buffer based CacheEntry
and invalidate cache entries no more required
|
CacheEntry |
While they may be some ordering between related CacheEntries (eg schema A imports
schema B), this is not recorded in the CacheEntry : one only says that A and B are
related and if either A or B changes, both are invalidated.
|