Messages

Last Msg First Msg

method

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

method	void org.apache.roller.weblogger.ui.rendering. pagers.SearchResultsPager()
post	this.category == null
post	this.entries == null
post	this.locale == null
post	this.messageUtils == null
post	this.query == null
post	this.urlStrategy == null
post	this.weblog == null
post	this.moreResults == 0
post	this.page == 0

method	void org.apache.roller.weblogger.ui.rendering. pagers.SearchResultsPager(URLStrategy, WeblogSearchRequest, Map, bool)
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	searchRequest != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getLocale(...)@63 == null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getWeblog(...)@60 != null
post	init'ed(this.category)
post	this.entries == entries
post	init'ed(this.entries)
post	this.locale == null
post	this.messageUtils != null
post	this.moreResults == more
post	init'ed(this.moreResults)
post	init'ed(this.page)
post	init'ed(this.query)
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(SearchResultsPager#1) num objects == 0
post	new Locale(SearchResultsPager#1)._tainted == 0
post	new Locale(SearchResultsPager#2)._tainted == 0
post	new Locale(SearchResultsPager#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

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

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.roller.weblogger.ui. rendering.util.WeblogSearchRequest:getWeblogCategor yName()

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because this.locale == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because this.locale == null

Prev Msg Next Msg

info dead code continues dead code continues

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	Map getEntries()
pre	init'ed(this.entries)
post	return_value == this.entries
post	init'ed(return_value)

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

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 getNextLink()
pre	init'ed(this.moreResults)
pre	(soft) init'ed(this.category)
pre	(soft) init'ed(this.locale)
pre	(soft) this.page <= 2³²-2
pre	(soft) init'ed(this.query)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
post	init'ed(return_value)
test_vector	this.moreResults: {0}, {1}

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

method	String getNextName()
pre	init'ed(this.moreResults)
pre	(soft) init'ed(this.category)
pre	(soft) init'ed(this.locale)
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
pre	(soft) this.page <= 2³²-2
pre	(soft) init'ed(this.query)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
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
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogSearchURL

method	String getPrevLink()
pre	init'ed(this.page)
pre	(soft) init'ed(this.category)
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.query)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
post	init'ed(return_value)
test_vector	this.page: {-2³¹..0}, {1..2³²-1}

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

method	String getPrevName()
pre	init'ed(this.page)
pre	(soft) init'ed(this.category)
pre	(soft) init'ed(this.locale)
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
pre	(soft) init'ed(this.query)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
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
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogSearchURL

method	String getNextCollectionLink()
post	return_value == null

method	String getNextCollectionName()
post	return_value == null

method	String getPrevCollectionLink()
post	return_value == null

method	String getPrevCollectionName()
post	return_value == null