Messages

method	void org.apache.roller.weblogger.ui.rendering. model.SearchResultsFeedModel()
post	this.categories == &new TreeSet(SearchResultsFe edModel#2)
post	this.entryCount == 0
post	this.hits == 0
post	this.limit == 0
post	this.offset == 0
post	this.feedRequest == null
post	this.pager == null
post	this.urlStrategy == null
post	this.weblog == null
post	this.results == &new LinkedList(SearchResultsFe edModel#1)
post	this.websiteSpecificSearch == 1
post	new LinkedList(SearchResultsFeedModel#1) num objects == 1
post	new TreeSet(SearchResultsFeedModel#2) num objects == 1

method	org.apache.roller.weblogger.ui.rendering.model. SearchResultsFeedModel__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	String getModelName()
post	return_value == &"model"

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	java.util.Map:get(...)@92 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@128 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@107 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@107 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@128 != null
presumption	org.apache.roller.weblogger.business.search. operations.SearchOperation:getResults(...)@147 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:instanceof(...)@97 == 1
post	this.categories == One-of{old this.categories, &new TreeSet(convertHitsToEntries#1)}
post	possibly_updated(this.entryCount)
post	(soft) this.feedRequest != null
post	(soft) init'ed(this.hits)
post	(soft) init'ed(this.limit)
post	(soft) init'ed(this.offset)
post	this.pager in Addr_Set{&new SearchResultsFeedPa ger(init#3),&new SearchResultsFeedPager(init#1) }
post	this.urlStrategy != null
post	init'ed(this.weblog)
post	(soft) init'ed(this.websiteSpecificSearch)
post	new I18nMessages(getMessages#2) num objects <= 1
post	possibly_updated(new I18nMessages(getMessages#2). bundle)
post	possibly_updated(new I18nMessages(getMessages#2). locale)
post	new Locale(SearchResultsFeedPager#1) num objects == 0
post	new Locale(SearchResultsFeedPager#1)._tainted == 0
post	new Locale(SearchResultsFeedPager#2) num objects == 0
post	new Locale(SearchResultsFeedPager#2)._tainted == 0
post	new SearchResultsFeedPager(init#1) num objects <= 1
post	init'ed(new SearchResultsFeedPager(init#1). entries)
post	init'ed(new SearchResultsFeedPager(init#1). feedRequest)
post	init'ed(new SearchResultsFeedPager(init#1). messageUtils)
post	init'ed(new SearchResultsFeedPager(init#1). moreResults)
post	init'ed(new SearchResultsFeedPager(init#1).page)
post	init'ed(new SearchResultsFeedPager(init#1).url)
post	init'ed(new SearchResultsFeedPager(init#1). urlStrategy)
post	init'ed(new SearchResultsFeedPager(init#1).weblog)
post	new SearchResultsFeedPager(init#3) num objects <= 1
post	new SearchResultsFeedPager(init#3).entries == this.results
post	(soft) new SearchResultsFeedPager(init#3).entries != null
post	(soft) new SearchResultsFeedPager(init#3). feedRequest != null
post	new SearchResultsFeedPager(init#3).messageUtils != null
post	init'ed(new SearchResultsFeedPager(init#3). moreResults)
post	new SearchResultsFeedPager(init#3).page >= 0
post	init'ed(new SearchResultsFeedPager(init#3).url)
post	new SearchResultsFeedPager(init#3).urlStrategy != null
post	new SearchResultsFeedPager(init#3).weblog != null
post	new TreeSet(convertHitsToEntries#1) num objects <= 1
unanalyzed	call on java.util.TreeSet
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getPage
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.WeblogFeedRequest:getWeblogHandle
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry
unanalyzed	call on java.util.TreeSet:add
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.sql.Timestamp:before
unanalyzed	call on java.util.List:add
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. pagers.AbstractPager
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest: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
test_vector	java.util.Map:get(...)@105: Inverse{null}, Addr_Set{null}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@139: {0}, {1}
test_vector	org.apache.roller.weblogger.business.search. operations.SearchOperation:getResultsCount(... )@146: {-2³¹..-1}, {0..2³²-1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@133: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTerm(...)@119: 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 Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getWeblog()

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

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

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

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

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

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

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

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.WeblogFeedRequest:getTerm()

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.WeblogFeedRequest: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.WeblogFeedRequest: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.WeblogFeedRequest:getWeblogCategoryN ame()

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.WeblogFeedRequest:getWeblogCategoryN ame()

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 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()

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

method	Pager getSearchResultsPager()
pre	init'ed(this.pager)
post	return_value == this.pager
post	init'ed(return_value)

method	void convertHitsToEntries(Hits)
pre	hits != null
pre	init'ed(this.entryCount)
pre	this.feedRequest != null
pre	(soft) this.results != null
pre	(soft) init'ed(this.websiteSpecificSearch)
presumption	org.apache.lucene.document.Document:getField(... )@191 != null
presumption	org.apache.lucene.document.Document:getField(... )@196 != null
presumption	org.apache.lucene.document.Document:getField(... )@200 != null
presumption	org.apache.lucene.document.Document:getField(... )@204 != null
presumption	org.apache.lucene.document.Field:stringValue(... )@191 != null
presumption	org.apache.lucene.search.Hits:doc(...)@190 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@180 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@179 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@212 != null
presumption	this.entryCount*org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getPage(...)@166 in -2³¹..2³²-1
presumption	this.offset - org.apache.lucene.search. Hits:length(...)@174 in -2³²+1.. 2³¹
post	this.categories == One-of{old this.categories, &new TreeSet(convertHitsToEntries#1)}
post	init'ed(this.limit)
post	this.offset <= 2³²-2
post	new TreeSet(convertHitsToEntries#1) num objects == 1
post	this.offset + this.limit in -2³².. 2³²-1
test_vector	this.websiteSpecificSearch: {0}, {1}
test_vector	java.lang.String:equals(...)@193: {0}, {1}
test_vector	java.sql.Timestamp:before(...)@212: {0}, {1}
test_vector	java.util.TreeSet:size(...)@217: {-2³¹.. 0}, {1..2³²-1}
test_vector	org.apache.lucene.document.Document:getField(... )@203: Addr_Set{null}, Inverse{null}

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

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.WeblogFeedRequest: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	WeblogWrapper getWeblog()
pre	init'ed(this.urlStrategy)
pre	this.weblog != null
post	return_value == &new WeblogWrapper(wrap#1)
post	new WeblogWrapper(wrap#1) num objects == 1
post	new WeblogWrapper(wrap#1).pojo == this.weblog
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)

method	String getTerm()
pre	this.feedRequest != null
post	init'ed(return_value)

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

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 getPage()
pre	this.feedRequest != null
post	init'ed(return_value)

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

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

method	List 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 getCategoryPath()
pre	this.feedRequest != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getWeblogCategoryN ame()

method	WeblogCategoryWrapper getWeblogCategory()
pre	this.feedRequest != 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. WeblogFeedRequest:getWeblogCategory(...)@269: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogCategory org.apache.roller. weblogger.ui.rendering.util.WeblogFeedRequest:getWe blogCategory()

	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.WeblogFeedRequest:getLocale()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getType()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getFormat()
info	method not available	-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

	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()