method	org.apache.roller.weblogger.pojos.StatCountCountCo mparator__static_init
post	instance == &new StatCountCountComparator(StatC ountCountComparator__static_init#1)
post	new StatCountCountComparator(StatCountCountComparat or__static_init#1) num objects == 1

method

void org.apache.roller.weblogger.pojos. StatCountCountComparator()

method	int compare(Object, Object)
pre	obj1 != null
pre	init'ed(obj1.count)
pre	obj2 != null
pre	init'ed(obj2.count)
pre	(soft) obj1.subjectId != null
pre	(soft) obj1.typeKey != null
pre	(soft) init'ed(obj2.subjectId)
pre	(soft) init'ed(obj2.typeKey)
post	init'ed(return_value)
test_vector	java.lang.String:compareTo(...)@53: {-231..-1, 1..232-1}, {0}

method	StatCountCountComparator getInstance()
pre	init'ed(instance)
post	return_value == instance
post	init'ed(return_value)