Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.pagers. WeblogEntriesPermalinkPager__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.WeblogEntriesPermalinkPager(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	init'ed(this.currEntry)
post	this.dateString == dateString
post	init'ed(this.dateString)
post	init'ed(this.entries)
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.nextEntry)
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.prevEntry)
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
post	new TreeMap(getEntries#1) num objects <= 1
post	new TreeMap(getEntries#3) num objects <= 1
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.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor
unanalyzed	call on java.util.TreeMap
unanalyzed	call on java.sql.Timestamp:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Collections:singletonList
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setData
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.sql.Timestamp
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzed	call on java.util.ArrayList
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 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.Locale:toString

method	Map getEntries()
pre	init'ed(this.entries)
pre	(soft) log != null
pre	(soft) init'ed(this.entryAnchor)
pre	(soft) init'ed(this.weblog)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@74 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@73 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@78 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getSt atus(...)@76 != null
post	return_value == One-of{old this.entries, &new TreeMap(getEntries#1)}
post	init'ed(return_value)
post	this.entries == return_value
post	possibly_updated(this.currEntry)
post	new TreeMap(getEntries#1) num objects <= 1
test_vector	this.entries: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@76: {0}, {1}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor(...)@75: 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 WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)

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

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

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

method	String getHomeLink()
pre	init'ed(this.catPath)
pre	init'ed(this.dateString)
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.nextEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.currEntry)
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)
post	init'ed(this.nextEntry)
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.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.sql.Timestamp:after
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getNextEntry
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

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

method	String getNextName()
pre	init'ed(this.nextEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.currEntry)
pre	(soft) init'ed(this.locale)
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getTi tle(...)@110 != null
post	init'ed(return_value)
post	init'ed(this.nextEntry)
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.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.sql.Timestamp:after
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getNextEntry

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires getNextEntry(...) != null

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

Prev Msg Next Msg

method	String getPrevLink()
pre	init'ed(this.prevEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.catPath)
pre	(soft) init'ed(this.currEntry)
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)
post	init'ed(this.prevEntry)
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:getPreviousEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.sql.Timestamp:after
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
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

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

method	String getPrevName()
pre	init'ed(this.prevEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.currEntry)
pre	(soft) init'ed(this.locale)
pre	(soft) this.messageUtils != null
pre	(soft) this.messageUtils.bundle != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getTi tle(...)@127 != null
post	init'ed(return_value)
post	init'ed(this.prevEntry)
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:getPreviousEntry
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.util.Date
unanalyzed	call on java.sql.Timestamp:after
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on java.text.MessageFormat:format
unanalyzed	call on org.apache.commons.logging.Log:warn

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires getPrevEntry(...) != null

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

Prev Msg Next Msg

method	WeblogEntry getNextEntry()
pre	init'ed(this.nextEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.currEntry)
pre	(soft) init'ed(this.locale)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@137 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@136 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@140 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getSt atus(...)@140 != null
post	init'ed(return_value)
post	this.nextEntry == return_value
test_vector	this.nextEntry: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@140: {0}, {1}
test_vector	java.sql.Timestamp:after(...)@140: {0}, {1}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getNextEntry(...)@138: 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 WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getNextEntry(WeblogEntry, String, String)

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

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

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

method	WeblogEntry getPrevEntry()
pre	init'ed(this.prevEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.currEntry)
pre	(soft) init'ed(this.locale)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@155 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@154 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@158 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getSt atus(...)@158 != null
post	init'ed(return_value)
post	this.prevEntry == return_value
test_vector	this.prevEntry: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@158: {0}, {1}
test_vector	java.sql.Timestamp:after(...)@158: {0}, {1}
test_vector	org.apache.roller.weblogger.business. WeblogManager:getPreviousEntry(...)@156: 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 WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getPreviousEntry(WeblogEntry , String, String)

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

	info	method not available	-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getStatus()