Messages

method | net.sourceforge.pebble.comparator.SearchHitByScore Comparator__static_init

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

method | int compare(Object, Object)
presumption | net.sourceforge.pebble.search.SearchHit:getDate(... )@60 != null
pre | o1 != null
pre | o2 != null
post | init'ed(return_value)
test_vector | java.lang.Float:compare(...)@58: {-231.. -1, 1..232-1}, {0}

| info | method not available | -- call on float net.sourceforge.pebble.search. SearchHit:getScore()

| info | method not available | -- call on Date net.sourceforge.pebble.search. SearchHit:getDate()