Messages

method

org.apache.roller.weblogger.ui.rendering.model. SearchResultsModel__static_init

method	void org.apache.roller.weblogger.ui.rendering. model.SearchResultsModel()
post	this.categories == &new TreeSet(SearchResultsMo del#3)
post	this.commentForm == null
post	this.errorMessage == null
post	this.pageRequest == null
post	this.pager == null
post	this.requestParameters == null
post	this.searchRequest == null
post	this.urlStrategy == null
post	this.weblog == null
post	this.hits == 0
post	this.limit == 0
post	this.offset == 0
post	this.results == &new TreeMap(SearchResultsModel #1)
post	this.websiteSpecificSearch == 1
post	new TreeMap(SearchResultsModel#1) num objects == 1
post	new TreeSet(SearchResultsModel#3) num objects == 1

info method not available -- call on void org.apache.commons.collections. comparators.ReverseComparator()

method	void init(Map)
pre	initData != null
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	(soft) init'ed(this.hits)
pre	(soft) init'ed(this.limit)
pre	(soft) init'ed(this.offset)
pre	(soft) init'ed(this.websiteSpecificSearch)
pre	(soft) this.results != null
presumption	getMessages(...).bundle != null
presumption	java.util.Map:get(...)@81 != null
presumption	java.util.Map:get(...)@85 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@106 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@106 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@93 != null
presumption	org.apache.roller.weblogger.business.search. operations.SearchOperation:getResults(...)@128 != null
post	this.categories == One-of{old this.categories, &new TreeSet(convertHitsToEntries#1)}
post	init'ed(this.commentForm)
post	possibly_updated(this.errorMessage)
post	(soft) init'ed(this.hits)
post	(soft) init'ed(this.limit)
post	(soft) init'ed(this.offset)
post	this.pageRequest != null
post	this.pager in Addr_Set{&new SearchResultsPager( init#1),&new SearchResultsPager(init#3)}
post	init'ed(this.requestParameters)
post	(soft) this.searchRequest != null
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
post	(soft) init'ed(this.websiteSpecificSearch)
post	new I18nMessages(getMessages#2) num objects == One-of{0, 1, new I18nMessages(getMessages#2) num objects + One-of{0, 1}}
post	new I18nMessages(getMessages#2) num objects <= 2
post	init'ed(new I18nMessages(getMessages#2).bundle)
post	init'ed(new I18nMessages(getMessages#2).locale)
post	new Locale(SearchResultsPager#1) num objects == 0
post	new Locale(SearchResultsPager#1)._tainted == 0
post	new Locale(SearchResultsPager#2) num objects == 0
post	new Locale(SearchResultsPager#2)._tainted == 0
post	new SearchResultsPager(init#1) num objects <= 1
post	init'ed(new SearchResultsPager(init#1).category)
post	init'ed(new SearchResultsPager(init#1).entries)
post	init'ed(new SearchResultsPager(init#1).locale)
post	init'ed(new SearchResultsPager(init#1). messageUtils)
post	init'ed(new SearchResultsPager(init#1). moreResults)
post	init'ed(new SearchResultsPager(init#1).page)
post	init'ed(new SearchResultsPager(init#1).query)
post	init'ed(new SearchResultsPager(init#1). urlStrategy)
post	init'ed(new SearchResultsPager(init#1).weblog)
post	new SearchResultsPager(init#3) num objects <= 1
post	init'ed(new SearchResultsPager(init#3).category)
post	init'ed(new SearchResultsPager(init#3).entries)
post	init'ed(new SearchResultsPager(init#3).locale)
post	init'ed(new SearchResultsPager(init#3). messageUtils)
post	init'ed(new SearchResultsPager(init#3). moreResults)
post	init'ed(new SearchResultsPager(init#3).page)
post	init'ed(new SearchResultsPager(init#3).query)
post	init'ed(new SearchResultsPager(init#3). urlStrategy)
post	init'ed(new SearchResultsPager(init#3).weblog)
post	new TreeSet(convertHitsToEntries#1) num objects <= 1
unanalyzed	call on java.util.TreeSet
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfD ay
unanalyzed	call on java.util.TreeMap:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryWrapperComparator
unanalyzed	call on java.util.TreeMap:put
unanalyzed	call on java.util.TreeSet:add
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getPageNum
unanalyzed	call on org.apache.lucene.search.Hits:length
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on org.apache.lucene.search.Hits:doc
unanalyzed	call on org.apache.lucene.document.Document:getFiel d
unanalyzed	call on org.apache.lucene.document.Field:stringValu e
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getWeblogHandle
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry
unanalyzed	call on java.sql.Timestamp:before
unanalyzed	call on java.util.TreeSet:size
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getQuery
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogSearchRequest:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:instanceof
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblog
test_vector	java.util.Map:get(...)@91: Inverse{null}, Addr_Set{null}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@117: {0}, {1}
test_vector	org.apache.roller.weblogger.business.search. operations.SearchOperation:getResultsCount(... )@124: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@111: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getQuery(...)@100: Inverse{null}, Addr_Set{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getQuery()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on IndexManager org.apache.roller. weblogger.business.Weblogger:getIndexManager()

info method not available -- call on void org.apache.roller.weblogger. business.search.operations.SearchOperation(IndexMan ager)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getQuery()

info method not available -- call on void org.apache.roller.weblogger. business.search.operations.SearchOperation:setTerm( String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogHandle( )

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:isSiteWideWeblog(String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogHandle( )

info method not available -- call on void org.apache.roller.weblogger. business.search.operations.SearchOperation:setWebsi teHandle(String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogCategor yName()

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogCategor yName()

info method not available -- call on void org.apache.roller.weblogger. business.search.operations.SearchOperation:setCateg ory(String)

info method not available -- call on void org.apache.roller.weblogger. business.search.IndexManager:executeIndexOperationN ow(IndexOperation)

info method not available -- call on int org.apache.roller.weblogger. business.search.operations.SearchOperation:getResul tsCount()

info method not available -- call on Locale org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getLocaleInstanc e()

info method not available -- call on Hits org.apache.roller.weblogger. business.search.operations.SearchOperation:getResul ts()

info method not available -- call on int org.apache.roller.weblogger. business.search.operations.SearchOperation:getResul tsCount()

method	bool isSearchResults()
post	return_value == 1

method	WeblogEntriesPager getWeblogEntriesPager()
pre	init'ed(this.pager)
post	return_value == this.pager
post	init'ed(return_value)

method	WeblogEntriesPager getWeblogEntriesPager(String)
pre	init'ed(this.pager)
post	return_value == this.pager
post	init'ed(return_value)

method	void convertHitsToEntries(Hits)
pre	hits != null
pre	this.searchRequest != null
pre	(soft) this.results != null
pre	(soft) init'ed(this.websiteSpecificSearch)
presumption	org.apache.lucene.document.Document:getField(... )@184 != null
presumption	org.apache.lucene.document.Document:getField(... )@189 != null
presumption	org.apache.lucene.document.Document:getField(... )@193 != null
presumption	org.apache.lucene.document.Document:getField(... )@197 != null
presumption	org.apache.lucene.document.Field:stringValue(... )@184 != null
presumption	org.apache.lucene.search.Hits:doc(...)@183 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@173 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@172 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@205 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getPageNum(...)@159 in -214_748_364..429_496_729
presumption	this.offset - org.apache.lucene.search. Hits:length(...)@167 in -2³²+1.. 2³¹
post	this.categories == One-of{old this.categories, &new TreeSet(convertHitsToEntries#1)}
post	init'ed(this.limit)
post	(soft) this.offset in -2³¹+8.. 2³²-6
post	new TreeSet(convertHitsToEntries#1) num objects == 1
post	(soft) this.offset + this.limit in -2³¹.. 2³²-1
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfD ay
unanalyzed	call on java.util.TreeMap:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntryWrapperComparator
unanalyzed	call on java.util.TreeSet
unanalyzed	call on java.util.TreeMap:put
unanalyzed	call on java.util.TreeSet:add
test_vector	this.websiteSpecificSearch: {0}, {1}
test_vector	java.lang.String:equals(...)@186: {0}, {1}
test_vector	java.sql.Timestamp:before(...)@205: {0}, {1}
test_vector	java.util.TreeSet:size(...)@210: {-2³¹.. 0}, {1..2³²-1}
test_vector	org.apache.lucene.document.Document:getField(... )@196: Addr_Set{null}, Inverse{null}

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getPageNum()

info method not available -- call on int org.apache.lucene.search. Hits:length()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on Document org.apache.lucene.search. Hits:doc(int)

info method not available -- call on Field org.apache.lucene.document. Document:getField(String)

info method not available -- call on String org.apache.lucene.document. Field:stringValue()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogHandle( )

info method not available -- call on Field org.apache.lucene.document. Document:getField(String)

info method not available -- call on String org.apache.lucene.document. Field:stringValue()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)

info method not available -- call on Field org.apache.lucene.document. Document:getField(String)

info method not available -- call on Field org.apache.lucene.document. Document:getField(String)

info method not available -- call on String org.apache.lucene.document. Field:stringValue()

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

method	void addEntryToResults(WeblogEntryWrapper)
pre	entry != null
pre	entry.pojo != null
pre	this.results != null
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
test_vector	java.util.TreeMap:get(...)@226: Inverse{null}, Addr_Set{null}

info method not available -- call on Date org.apache.roller.util. DateUtil:getStartOfDay(Date)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryWrapperComparator()

method	String getTerm()
pre	this.searchRequest != null
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.lang.StringUtils:replace

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getQuery()

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeXml(String)

method	String getRawTerm()
pre	this.searchRequest != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getQuery()

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

method	int getOffset()
pre	init'ed(this.offset)
post	return_value == this.offset
post	init'ed(return_value)

method	int getLimit()
pre	init'ed(this.limit)
post	return_value == this.limit
post	init'ed(return_value)

method	TreeMap getResults()
pre	init'ed(this.results)
post	return_value == this.results
post	init'ed(return_value)

method	Set getCategories()
pre	init'ed(this.categories)
post	return_value == this.categories
post	init'ed(return_value)

method	bool isWebsiteSpecificSearch()
pre	init'ed(this.websiteSpecificSearch)
post	return_value == this.websiteSpecificSearch
post	init'ed(return_value)

method	String getErrorMessage()
pre	init'ed(this.errorMessage)
post	return_value == this.errorMessage
post	init'ed(return_value)

method	String getWeblogCategoryName()
pre	this.searchRequest != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogCategor yName()

method	WeblogCategoryWrapper getWeblogCategory()
pre	this.searchRequest != null
post	return_value == One-of{&new WeblogCategoryWrapp er(wrap#1), null}
post	return_value in Addr_Set{null,&new WeblogCategoryWrapper(wrap#1)}
post	new WeblogCategoryWrapper(wrap#1) num objects <= 1
post	new WeblogCategoryWrapper(wrap#1).pojo != null
post	new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogCategoryWrapper(wrap#1). urlStrategy)
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getWeblogCategory(...)@278: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogCategory org.apache.roller. weblogger.ui.rendering.util.WeblogSearchRequest:get WeblogCategory()

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

	info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getQuery()
	info	method not available	-- call on void org.apache.roller.weblogger. business.search.operations.SearchOperation:setTerm( String)

	info	method not available	-- call on Field org.apache.lucene.document. Document:getField(String)
	info	method not available	-- call on String org.apache.lucene.document. Field:stringValue()