Messages

method	org.apache.roller.weblogger.util.cache. ExpiringLRUCacheImpl__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. ExpiringLRUCacheImpl(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	this.timeout == 3_600_000
post	new Date(LRUCacheImpl#1) num objects == 1
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.LinkedHashMap
unanalyzed	call on java.util.Collections:synchronizedMap

method	void org.apache.roller.weblogger.util.cache. ExpiringLRUCacheImpl(String, int, long)
pre	maxsize in -1_610_612_737..3_221_225_471
pre	timeout <= 18_446_744_073_709_551
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	this.timeout == One-of{0, timeout*1_000}
post	this.timeout in {0, 1_000..18_446_744_073_709_551_0 00}
post	new Date(LRUCacheImpl#1) num objects == 1
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.LinkedHashMap
unanalyzed	call on java.util.Collections:synchronizedMap
test_vector	timeout: {-2⁶³..0}, {1..18_446_744_073_709_551}

method	void put(String, Object)
pre	init'ed(this.puts)
pre	this.cache != null
pre	init'ed(this.timeout)
post	this.puts == old this.puts + 1
post	init'ed(this.puts)
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Map:put

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

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)