Messages

method | net.sourceforge.pebble.comparator.CountedUrlByCoun tComparator__static_init

method | int compare(Object, Object)
unanalyzed | call on net.sourceforge.pebble.logging. CountedUrl:getCount
unanalyzed | call on net.sourceforge.pebble.logging. CountedUrl:getName
pre | Param_1 != null
pre | Param_2 != null
post | init'ed(return_value)
unanalyzed | call on java.lang.String:compareTo

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

method | int compare(CountedUrl, CountedUrl)
presumption | net.sourceforge.pebble.logging.CountedUrl:getCount( ...)@58 - net.sourceforge.pebble.logging. CountedUrl:getCount(...)@58 in -232+1.. 231
presumption | net.sourceforge.pebble.logging.CountedUrl:getName(. ..)@60 != null
pre | c1 != null
pre | c2 != null
post | init'ed(return_value)

| info | method not available | -- call on int net.sourceforge.pebble.logging. CountedUrl:getCount()

| info | method not available | -- call on int net.sourceforge.pebble.logging. CountedUrl:getCount()

| info | method not available | -- call on String net.sourceforge.pebble.logging. CountedUrl:getName()