Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.pagers. AbstractWeblogEntriesPager__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.ui.rendering. pagers.AbstractWeblogEntriesPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
pre	locale == null
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	weblog != null
post	this.catPath == catPath
post	init'ed(this.catPath)
post	this.dateString == dateString
post	init'ed(this.dateString)
post	this.entryAnchor == entryAnchor
post	init'ed(this.entryAnchor)
post	init'ed(this.length)
post	this.locale == null
post	this.messageUtils != null
post	init'ed(this.offset)
post	this.page == One-of{0, page}
post	this.page >= 0
post	this.pageLink == pageLink
post	init'ed(this.pageLink)
post	this.tags == One-of{&new ArrayList(AbstractWebl ogEntriesPager#1), tags}
post	this.tags != null
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)
post	this.weblog == weblog
post	this.weblog != null
post	new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1
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(AbstractWeblogEntriesPager#2) num objects == 0
post	new Locale(AbstractWeblogEntriesPager#2)._tainted == 0
post	new Locale(AbstractWeblogEntriesPager#3)._tainted == 0
post	new Locale(AbstractWeblogEntriesPager#3) 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	page: {-2³¹..0}, {1..2³²-1}
test_vector	tags: Addr_Set{null}, Inverse{null}

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because 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	bool hasMoreEntries()
post	return_value == 0

method	String getHomeLink()
pre	init'ed(this.catPath)
pre	init'ed(this.dateString)
pre	init'ed(this.entryAnchor)
pre	init'ed(this.locale)
pre	init'ed(this.pageLink)
pre	init'ed(this.tags)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL

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	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
pre	(soft) init'ed(this.entryAnchor)
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.more)
pre	(soft) this.page <= 2³²-2
pre	(soft) init'ed(this.pageLink)
pre	(soft) init'ed(this.tags)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL

method	String getNextName()
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
pre	(soft) init'ed(this.more)
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 getPrevLink()
pre	init'ed(this.page)
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
pre	(soft) init'ed(this.entryAnchor)
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.pageLink)
pre	(soft) init'ed(this.tags)
pre	(soft) this.urlStrategy != null
pre	(soft) init'ed(this.weblog)
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
test_vector	this.page: {-2³¹..0}, {1..2³²-1}

method	String getPrevName()
pre	init'ed(this.page)
pre	(soft) 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
test_vector	this.page: {-2³¹..0}, {1..2³²-1}

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

method	Date parseDate(String)
pre	this.weblog != null
presumption	java.text.SimpleDateFormat:parse(...)@199 != null
presumption	java.text.SimpleDateFormat:parse(...)@210 != null
presumption	org.apache.roller.util.DateUtil:get6charDateFormat( ...)@191 != null
presumption	org.apache.roller.util.DateUtil:get8charDateFormat( ...)@190 != null
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
test_vector	dateString: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@194: {0..7, 9..2³²-1}, {8}
test_vector	java.lang.String:length(...)@205: {0..5, 7..2³²-1}, {6}
test_vector	java.util.Date:after(...)@203: {0}, {1}
test_vector	java.util.Date:after(...)@214: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNumeric(... )@194: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNumeric(... )@205: {0}, {1}

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

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

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

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

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

method	Date getToday()
pre	this.weblog != null
presumption	java.util.Calendar:getInstance(...)@225 != null
post	init'ed(return_value)

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into todayCal

Prev Msg Next Msg

method	String createURL(int, int, Weblog, String, String, String, String, String, List)
pre	page + pageAdd in -2³¹..2³²-1
pre	this.urlStrategy != null
post	init'ed(return_value)
test_vector	entryAnchor: Addr_Set{null}, Inverse{null}
test_vector	pageLink: Addr_Set{null}, Inverse{null}

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

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

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

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