method

org.apache.roller.weblogger.util.cache. ExpiringCacheEntry__static_init

method	void org.apache.roller.weblogger.util.cache. ExpiringCacheEntry(Object, long)
post	init'ed(this.timeCached)
post	this.timeout == One-of{0, timeout}
post	this.timeout >= 0
post	this.value == value
post	init'ed(this.value)
test_vector	timeout: {-263..0}, {1..264-1}

method	long getTimeCached()
pre	init'ed(this.timeCached)
post	return_value == this.timeCached
post	init'ed(return_value)

method	long getTimeout()
pre	init'ed(this.timeout)
post	return_value == this.timeout
post	init'ed(return_value)

method	Object getValue()
pre	init'ed(this.timeCached)
pre	init'ed(this.timeout)
pre	(soft) init'ed(this.value)
post	return_value == One-of{null, this.value}
post	(soft) init'ed(return_value)
unanalyzed	call on java.lang.System:currentTimeMillis

method	bool hasExpired()
pre	init'ed(this.timeCached)
pre	init'ed(this.timeout)
post	init'ed(return_value)