method org.apache.roller.weblogger.util.LRUCache2$CacheEn try__static_init

method org.apache.roller.weblogger.util.LRUCache2$LRULink edHashMap__static_init

method org.apache.roller.weblogger.util.LRUCache2$Environ ment__static_init

method org.apache.roller.weblogger.util.LRUCache2$Default Environment__static_init

method org.apache.roller.weblogger.util.LRUCache2__ static_init










method void org.apache.roller.weblogger.util. LRUCache2(int, long)
premaxsize in -1_610_612_737..3_221_225_471
postthis.cache == &new LRUCache2$LRULinkedHashMap(L RUCache2#2)
postthis.environment == &new LRUCache2$DefaultEnvir onment(LRUCache2#1)
postthis.timeout == timeout
postinit'ed(this.timeout)
postnew LRUCache2$DefaultEnvironment(LRUCache2#1) num objects == 1
postnew LRUCache2$LRULinkedHashMap(LRUCache2#2) num objects == 1
postthis.cache.maxsize == maxsize
postthis.cache.maxsize in -1_610_612_737.. 3_221_225_471
unanalyzedcall on java.util.LinkedHashMap










method void org.apache.roller.weblogger.util. LRUCache2(LRUCache2$Environment, int, long)
premaxsize in -1_610_612_737..3_221_225_471
postthis.cache == &new LRUCache2$LRULinkedHashMap(L RUCache2#1)
postthis.environment == environment
postinit'ed(this.environment)
postthis.timeout == timeout
postinit'ed(this.timeout)
postnew LRUCache2$LRULinkedHashMap(LRUCache2#1) num objects == 1
postthis.cache.maxsize == maxsize
postthis.cache.maxsize in -1_610_612_737.. 3_221_225_471
unanalyzedcall on java.util.LinkedHashMap










method void put(Object, Object)
prethis.cache != null
prethis.environment != null
unanalyzedcall on java.lang.System:currentTimeMillis










method Object get(Object)
prethis.cache != null
pre(soft) this.environment != null
pre(soft) init'ed(this.timeout)
postinit'ed(return_value)
unanalyzedcall on java.lang.System:currentTimeMillis
test_vectorjava.util.Map:get(...)@79: Addr_Set{null}, Inverse{null}










method void purge()
prethis.cache != null










method void purge(String[])
prethis.cache != null
pre(soft) patterns != null
pre(soft) patterns.length <= 232-1
pre(soft) init'ed(patterns[...])
presumptionjava.util.Iterator:next(...)@106 != null
presumptionjava.util.Map:keySet(...)@103 != null
test_vectorjava.lang.String:indexOf(...)@109: {-1}, {-231..-2, 0..232-1}
test_vectorjava.util.Iterator:hasNext(...)@104: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@117: {0}, {1}










method int size()
prethis.cache != null
postinit'ed(return_value)










method void org.apache.roller.weblogger.util. LRUCache2$DefaultEnvironment()










method long getCurrentTimeInMillis()
postinit'ed(return_value)










method void org.apache.roller.weblogger.util. LRUCache2$CacheEntry(Object, long)
postthis.timeCached == timeCached
postinit'ed(this.timeCached)
postthis.value == value
postinit'ed(this.value)










method long getTimeCached()
preinit'ed(this.timeCached)
postreturn_value == this.timeCached
postinit'ed(return_value)










method Object getValue()
preinit'ed(this.value)
postreturn_value == this.value
postinit'ed(return_value)










method void org.apache.roller.weblogger.util. LRUCache2$LRULinkedHashMap(int)
premaxsize in -1_610_612_737..3_221_225_471
postthis.maxsize == maxsize
postthis.maxsize in -1_610_612_737..3_221_225_471










method bool removeEldestEntry(Map$Entry)
preinit'ed(this.maxsize)
postinit'ed(return_value)









  infomethod not available-- call on int org.apache.roller.weblogger.util. LRUCache2$LRULinkedHashMap:size()