method

net.sourceforge.pebble.aggregator.NewsFeedEntryCom parator__static_init

method	int compare(Object, Object)
pre	Param_1 != null
pre	init'ed(Param_1.date)
pre	Param_2 != null
pre	Param_2.date != null
post	init'ed(return_value)
unanalyzed	call on java.util.Date:compareTo

method

void net.sourceforge.pebble.aggregator. NewsFeedEntryComparator()

method	int compare(NewsFeedEntry, NewsFeedEntry)
pre	entry1 != null
pre	init'ed(entry1.date)
pre	entry2 != null
pre	entry2.date != null
post	init'ed(return_value)