Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.pagers. WeblogEntriesDayPager__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.WeblogEntriesDayPager(URLStrategy, Weblog, String, String, String, String, String, List, int)
pre	locale == null
pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null
pre	weblog != null
pre	(soft) log != null
presumption	java.util.Calendar:getInstance(...)@82 != null
presumption	java.util.Calendar:getTime(...)@89 != null
presumption	org.apache.roller.util.DateUtil:getEndOfDay(... )@101 != null
presumption	this.length in range
presumption	this.messageUtils init'ed
presumption	this.messageUtils.bundle != null
presumption	this.weblog init'ed
post	this.catPath == catPath
post	init'ed(this.catPath)
post	this.dateString == dateString
post	init'ed(this.dateString)
post	init'ed(this.day)
post	this.dayFormat == &new SimpleDateFormat(WeblogE ntriesDayPager#2)
post	this.entries == &new TreeMap(getEntries#1)
post	this.entryAnchor == entryAnchor
post	init'ed(this.entryAnchor)
post	(soft) this.length <= 2³²-2
post	this.locale == null
post	this.messageUtils != null
post	init'ed(this.more)
post	(soft) init'ed(this.nextDay)
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	init'ed(this.prevDay)
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 SimpleDateFormat(WeblogEntriesDayPager#1) num objects == 1
post	new SimpleDateFormat(WeblogEntriesDayPager#2) 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
post	new TreeMap(getEntries#1) num objects == 1
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 parseDate
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfD ay
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfDay
unanalyzed	call on org.apache.commons.collections.comparators. ReverseComparator
unanalyzed	call on java.util.TreeMap
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on java.text.ParsePosition
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on java.util.Date:after
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEntryDisplayCount
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Locale:toString
test_vector	java.util.Date:after(...)@90: {0}, {1}
test_vector	java.util.Date:before(...)@101: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getDateCre ated(...)@100: Addr_Set{null}, Inverse{null}

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

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

method	Map getEntries()
pre	init'ed(this.entries)
pre	init'ed(this.dateString)
pre	this.weblog != null
pre	(soft) log != null
pre	(soft) init'ed(this.catPath)
pre	(soft) this.length <= 2³²-2
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.offset)
pre	(soft) init'ed(this.tags)
presumption	java.util.Map:get(...)@140 != null
presumption	java.util.Map:keySet(...)@134 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap(...)@120 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@120 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@118 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@120 != null
post	return_value == One-of{old this.entries, &new TreeMap(getEntries#1)}
post	return_value != null
post	this.entries == return_value
post	possibly_updated(this.more)
post	new TreeMap(getEntries#1) num objects <= 1
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
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on java.text.ParsePosition
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on java.util.Date:after
test_vector	this.entries: Inverse{null}, Addr_Set{null}
test_vector	java.util.List:size(...)@150: {-2³¹..0}, {1..2³²-1}

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

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

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

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into wmgr

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

Prev Msg Next Msg

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 Map org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryObjectMap(Webl og, Date, Date, String, List, String, String, int, int)

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires count in -2³¹-1..2³²-2

Prev Msg Next Msg

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String getHomeLink()
pre	init'ed(this.catPath)
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	init'ed(this.more)
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
pre	(soft) init'ed(this.locale)
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
test_vector	this.more: {0}, {1}

method	String getNextName()
pre	init'ed(this.more)
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
pre	(soft) init'ed(this.day)
pre	(soft) this.dayFormat != null
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.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 java.util.ResourceBundle:getString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on createURL
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 getPrevLink()
pre	init'ed(this.page)
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
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) init'ed(this.catPath)
pre	(soft) init'ed(this.dateString)
pre	(soft) init'ed(this.day)
pre	(soft) this.dayFormat != null
pre	(soft) init'ed(this.locale)
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
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 java.util.ResourceBundle:getString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on createURL
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 getNextCollectionLink()
pre	init'ed(this.nextDay)
pre	(soft) init'ed(this.catPath)
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.nextDay: Addr_Set{null}, Inverse{null}

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

method	String getNextCollectionName()
pre	init'ed(this.nextDay)
pre	(soft) this.dayFormat != null
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 java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn
test_vector	this.nextDay: Addr_Set{null}, Inverse{null}

method	String getPrevCollectionLink()
pre	init'ed(this.prevDay)
pre	(soft) init'ed(this.catPath)
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.prevDay: Addr_Set{null}, Inverse{null}

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

method	String getPrevCollectionName()
pre	init'ed(this.prevDay)
pre	(soft) this.dayFormat != null
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 java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn
test_vector	this.prevDay: Addr_Set{null}, Inverse{null}

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 Map org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryObjectMap(Webl og, Date, Date, String, List, String, String, int, int)