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 -2
32
+1.
.
2
31
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()