|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.gjt.sp.jedit.buffer.BufferAdapter
xml.cache.Cache
public final class 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
| Method Summary | |
|---|---|
void |
clear()
remove all cache entries |
void |
contentInserted(org.gjt.sp.jedit.buffer.JEditBuffer buffer,
int startLine,
int offset,
int numLines,
int length)
invalidate cache entries corresponding to (not requested by) this buffer |
void |
contentRemoved(org.gjt.sp.jedit.buffer.JEditBuffer buffer,
int startLine,
int offset,
int numLines,
int length)
invalidate cache entries corresponding to (not requested by) this buffer |
void |
disable()
disable caching (persistent) |
void |
enable()
enable caching (persistent) |
CacheEntry |
get(java.lang.String path,
java.lang.Object key)
|
void |
handleBufferContentChanged(org.gjt.sp.jedit.Buffer buffer)
|
void |
handleBufferUpdate(org.gjt.sp.jedit.msg.BufferUpdate message)
|
static Cache |
instance()
|
CacheEntry |
put(java.lang.String path,
java.lang.Object key,
java.lang.Object value)
|
void |
start()
add to EditBus |
void |
stop()
clear, remove from EditBus, forget singleton |
void |
transactionComplete(org.gjt.sp.jedit.buffer.JEditBuffer buffer)
invalidate cache entries corresponding to (not requested by) this buffer |
| Methods inherited from class org.gjt.sp.jedit.buffer.BufferAdapter |
|---|
bufferLoaded, foldHandlerChanged, foldLevelChanged, preContentInserted, preContentRemoved |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static Cache instance()
public CacheEntry put(java.lang.String path,
java.lang.Object key,
java.lang.Object value)
path - path of cached resource (file:/ urls are equivalent to paths)key - unambiguously distinguish schema from completionInfo from...
public CacheEntry get(java.lang.String path,
java.lang.Object key)
path - path of cached resource (file:/ urls are equivalent to paths)key - unambiguously distinguish schema from completionInfo from...
public void contentInserted(org.gjt.sp.jedit.buffer.JEditBuffer buffer,
int startLine,
int offset,
int numLines,
int length)
contentInserted in interface org.gjt.sp.jedit.buffer.BufferListenercontentInserted in class org.gjt.sp.jedit.buffer.BufferAdapter
public void contentRemoved(org.gjt.sp.jedit.buffer.JEditBuffer buffer,
int startLine,
int offset,
int numLines,
int length)
contentRemoved in interface org.gjt.sp.jedit.buffer.BufferListenercontentRemoved in class org.gjt.sp.jedit.buffer.BufferAdapterpublic void transactionComplete(org.gjt.sp.jedit.buffer.JEditBuffer buffer)
transactionComplete in interface org.gjt.sp.jedit.buffer.BufferListenertransactionComplete in class org.gjt.sp.jedit.buffer.BufferAdapterpublic void handleBufferUpdate(org.gjt.sp.jedit.msg.BufferUpdate message)
public void handleBufferContentChanged(org.gjt.sp.jedit.Buffer buffer)
public void start()
public void stop()
public void clear()
public void disable()
public void enable()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||