method

org.apache.roller.weblogger.util.cache. LazyExpiringCacheEntry__static_init

method	void org.apache.roller.weblogger.util.cache. LazyExpiringCacheEntry(Object)
post	init'ed(this.timeCached)
post	this.value == item
post	init'ed(this.value)

method	Object getValue(long)
pre	init'ed(this.timeCached)
pre	(soft) init'ed(this.value)
post	return_value == One-of{null, this.value}
post	(soft) init'ed(return_value)
test_vector	this.timeCached - lastInvalidated: {0.. 27_670_116_110_564_327_423}, {-27_670_116_110_564_3 27_423..-1}

method	bool isInvalid(long)
pre	init'ed(this.timeCached)
post	init'ed(return_value)

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