countedurlbycountcomparator.java

countedurlbycountcomparator.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

int compare(Object, Object)

-/+	Kind	Annotation Text	Date
-	pre	(soft) Param_1.name != null	2010-07-16 16:59:22
-	pre	(soft) init'ed(Param_2.name)	2010-07-16 16:59:22
U	pre	Param_1 != null	2010-07-16 16:14:15
-	pre	Param_1.logEntries != null	2010-07-16 16:59:22
U	pre	Param_2 != null	2010-07-16 16:14:15
-	pre	Param_2.logEntries != null	2010-07-16 16:59:22
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:compareTo	2010-07-16 16:14:15
-	unanalyzed	call on java.util.List:size	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.logging. CountedUrl:getCount	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.logging. CountedUrl:getName	2010-07-22 12:56:56

int compare(CountedUrl, CountedUrl)

-/+	Kind	Annotation Text	Date
-	pre	(soft) c1.name != null	2010-07-16 16:59:22
-	pre	(soft) init'ed(c2.name)	2010-07-16 16:59:22
U	pre	c1 != null	2010-07-16 16:14:15
-	pre	c1.logEntries != null	2010-07-16 16:59:22
U	pre	c2 != null	2010-07-16 16:14:15
-	pre	c2.logEntries != null	2010-07-16 16:59:22
-	presumption	java.util.List:size(...)@161 - java.util. List:size(...)@161 in -2³²+1.. 2³¹	2010-07-16 16:59:22
+	presumption	net.sourceforge.pebble.logging.CountedUrl:getCount( ...)@58 - net.sourceforge.pebble.logging. CountedUrl:getCount(...)@58 in -2³²+1.. 2³¹	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.logging.CountedUrl:getName(. ..)@60 != null	2010-07-22 12:56:56
U	post	init'ed(return_value)	2010-07-16 16:14:15
-	unanalyzed	call on java.util.List:size	2010-07-16 16:59:22

void net.sourceforge.pebble.comparator.CountedUrlByCountComparator()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.comparator.CountedUrlByCountComparator__static_init

-/+	Kind	Annotation Text	Date