Messages

Last Msg First Msg

method | net.sourceforge.pebble.search.SearchResults__ static_init

method | void net.sourceforge.pebble.search. SearchResults()
post | this.hits == &new ArrayList(SearchResults#1)
post | new ArrayList(SearchResults#1) num objects == 1

method | String getQuery()
pre | init'ed(this.query)
post | return_value == this.query
post | init'ed(return_value)

method | void setQuery(String)
post | init'ed(this.query)
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:charAt

method | String getMessage()
pre | init'ed(this.message)
post | return_value == this.message
post | init'ed(return_value)

method | void setMessage(String)
post | this.message == s
post | init'ed(this.message)

method | void add(SearchHit)
pre | this.hits != null

method | int getNumberOfHits()
pre | this.hits != null
post | init'ed(return_value)

method | List getHits()
pre | init'ed(this.hits)
post | return_value == this.hits
post | init'ed(return_value)

method | void sortByScoreDescending()
pre | this.hits != null
presumption | java.util.Iterator:next(...)@133 != null
test_vector | java.util.Iterator:hasNext(...)@132: {1}, {0}

| info | method not available | -- call on void net.sourceforge.pebble.comparator. SearchHitByScoreComparator()

Prev Msg Next Msg

| low
| overflow | check might fail: requires number in -231-1..232-2

Prev Msg Next Msg

method | void sortByDateDescending()
pre | this.hits != null
presumption | java.util.Iterator:next(...)@148 != null
test_vector | java.util.Iterator:hasNext(...)@147: {1}, {0}

| info | method not available | -- call on void net.sourceforge.pebble.comparator. SearchHitByDateComparator()

Prev Msg Next Msg

| low
| overflow | check might fail: requires number in -231-1..232-2

Prev Msg Next Msg