Last Msg First Msg
























method net.sourceforge.pebble.search.SearchResults__ static_init










method void net.sourceforge.pebble.search. SearchResults()
postthis.hits == &new ArrayList(SearchResults#1)
postnew ArrayList(SearchResults#1) num objects == 1










method String getQuery()
preinit'ed(this.query)
postreturn_value == this.query
postinit'ed(return_value)










method void setQuery(String)
postinit'ed(this.query)
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:charAt










method String getMessage()
preinit'ed(this.message)
postreturn_value == this.message
postinit'ed(return_value)










method void setMessage(String)
postthis.message == s
postinit'ed(this.message)










method void add(SearchHit)
prethis.hits != null










method int getNumberOfHits()
prethis.hits != null
postinit'ed(return_value)










method List getHits()
preinit'ed(this.hits)
postreturn_value == this.hits
postinit'ed(return_value)










method void sortByScoreDescending()
prethis.hits != null
presumptionjava.util.Iterator:next(...)@133 != null
test_vectorjava.util.Iterator:hasNext(...)@132: {1}, {0}









  infomethod not available-- call on void net.sourceforge.pebble.comparator. SearchHitByScoreComparator()










Prev Msg Next Msg
 
low
overflowcheck might fail: requires number in -231-1..232-2
Prev Msg Next Msg











method void sortByDateDescending()
prethis.hits != null
presumptionjava.util.Iterator:next(...)@148 != null
test_vectorjava.util.Iterator:hasNext(...)@147: {1}, {0}









  infomethod not available-- call on void net.sourceforge.pebble.comparator. SearchHitByDateComparator()










Prev Msg Next Msg
 
low
overflowcheck might fail: requires number in -231-1..232-2
Prev Msg Next Msg