Messages

method

org.apache.roller.weblogger.util.cache. LRUCacheImpl$LRULinkedHashMap__static_init

method	org.apache.roller.weblogger.util.cache. LRUCacheImpl__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.util.cache. LRUCacheImpl(String)
post	init'ed(this.cache)
post	this.hits == +0
post	this.misses == +0
post	this.puts == +0
post	this.removes == +0
post	this.id == id
post	init'ed(this.id)
post	this.startTime == &new Date(LRUCacheImpl#1)
post	new Date(LRUCacheImpl#1) num objects == 1
unanalyzed	call on java.util.LinkedHashMap

method	void org.apache.roller.weblogger.util.cache. LRUCacheImpl(String, int)
pre	maxsize in -1_610_612_737..3_221_225_471
post	init'ed(this.cache)
post	this.hits == +0
post	this.misses == +0
post	this.puts == +0
post	this.removes == +0
post	this.id == id
post	init'ed(this.id)
post	this.startTime == &new Date(LRUCacheImpl#1)
post	new Date(LRUCacheImpl#1) num objects == 1
unanalyzed	call on java.util.LinkedHashMap

method	Object get(String)
pre	this.cache != null
pre	(soft) init'ed(this.hits)
pre	(soft) init'ed(this.misses)
post	init'ed(return_value)
post	this.hits == One-of{old this.hits, old this.hits + 1}
post	(soft) init'ed(this.hits)
post	this.misses == One-of{old this.misses + 1, old this.misses}
post	(soft) init'ed(this.misses)
test_vector	java.util.Map:get(...)@82: Inverse{null}, Addr_Set{null}

method	void remove(String)
pre	init'ed(this.removes)
pre	this.cache != null
post	this.removes == old this.removes + 1
post	init'ed(this.removes)

method	void clear()
pre	this.cache != null
post	this.hits == +0
post	this.misses == +0
post	this.puts == +0
post	this.removes == +0
post	this.startTime == &new Date(clear#1)
post	new Date(clear#1) num objects == 1

method	Map getStats()
pre	init'ed(this.hits)
pre	init'ed(this.misses)
pre	init'ed(this.puts)
pre	init'ed(this.removes)
pre	init'ed(this.startTime)
pre	(soft) this.hits + this.misses != +0
post	return_value == &new HashMap(getStats#1)
post	new HashMap(getStats#1) num objects == 1

method	void org.apache.roller.weblogger.util.cache. LRUCacheImpl$LRULinkedHashMap(int)
pre	maxsize in -1_610_612_737..3_221_225_471
post	this.maxsize == maxsize
post	this.maxsize in -1_610_612_737..3_221_225_471

method	bool removeEldestEntry(Map$Entry)
pre	init'ed(this.maxsize)
post	init'ed(return_value)

info method not available -- call on int org.apache.roller.weblogger.util. cache.LRUCacheImpl$LRULinkedHashMap:size()