ExpiringCacheEntry.java

ExpiringCacheEntry.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ long getTimeCached()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.timeCached)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.timeCached	2009-09-04 18:33:31

+ long getTimeout()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.timeout)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.timeout	2009-09-04 18:33:31

+ Object getValue()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.value)	2009-09-04 18:33:31
+	pre	init'ed(this.timeCached)	2009-09-04 18:33:31
+	pre	init'ed(this.timeout)	2009-09-04 18:33:31
+	post	(soft) init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == One-of{null, this.value}	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.System:currentTimeMillis	2009-09-04 18:33:31

+ bool hasExpired()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.timeCached)	2009-09-04 18:33:31
+	pre	init'ed(this.timeout)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.util.cache.ExpiringCacheEntry(Object, long)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.timeCached)	2009-09-04 18:33:31
+	post	init'ed(this.value)	2009-09-04 18:33:31
+	post	this.timeout == One-of{0, timeout}	2009-09-04 18:33:31
+	post	this.timeout >= 0	2009-09-04 18:33:31
+	post	this.value == value	2009-09-04 18:33:31
+	test_vector	timeout: {-2⁶³..0}, {1..2⁶⁴-1}	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date