Messages

Last Msg First Msg

method

org.apache.roller.weblogger.ui.rendering.pagers. SearchResultsFeedPager__static_init

method	void org.apache.roller.weblogger.ui.rendering. pagers.SearchResultsFeedPager(URLStrategy, String, int, WeblogFeedRequest, List, bool)
pre	feedRequest != null
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getLocale(...)@72 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblog(...)@64 != null
post	this.entries == entries
post	init'ed(this.entries)
post	this.feedRequest == feedRequest
post	this.feedRequest != null
post	this.messageUtils != null
post	this.moreResults == more
post	init'ed(this.moreResults)
post	this.page == One-of{0, pageNum}
post	this.page >= 0
post	this.url == baseUrl
post	init'ed(this.url)
post	this.url == this.url
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)
post	(soft) this.weblog != null
post	new I18nMessages(getMessages#2) num objects <= 1
post	init'ed(new I18nMessages(getMessages#2).bundle)
post	new I18nMessages(getMessages#2).locale != null
post	new Locale(SearchResultsFeedPager#1) num objects == 0
post	new Locale(SearchResultsFeedPager#1)._tainted == 0
post	new Locale(SearchResultsFeedPager#2)._tainted == 0
post	new Locale(SearchResultsFeedPager#2) num objects == 0
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	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getLocale(...)@71: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(langCountry. length)

+

warning

test always goes same way test predetermined because langCountry.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because langCountry.length == 0

Prev Msg Next Msg

info method not available -- call on Locale org.apache.roller.weblogger. pojos.Weblog:getLocaleInstance()

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/util/I18nMessages. getMessages: locale != null

Prev Msg Next Msg

method	List getItems()
pre	init'ed(this.entries)
post	return_value == this.entries
post	init'ed(return_value)

method	bool hasMoreItems()
pre	init'ed(this.moreResults)
post	return_value == this.moreResults
post	init'ed(return_value)

method	String getHomeLink()
pre	this.urlStrategy != null
pre	this.weblog != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getLocale()

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

method	String getHomeName()
pre	this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
post	init'ed(return_value)
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn

method	String createURL(String, Map)
pre	this.feedRequest != null
pre	(soft) params != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:length(...)@102: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@106: {0}, {1..2³²-1}
test_vector	java.util.List:size(...)@110: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTags(...)@109: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTerm(...)@105: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblogCategoryName(...)@101: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:isExcerpts(...)@113: {0}, {1}

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

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

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

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

method	String getUrl()
pre	this.feedRequest != null
pre	init'ed(this.url)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
unanalyzed	call on createURL
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get

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