Messages

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)