Messages

method	void org.apache.roller.weblogger.ui.rendering. model.PlanetModel()
post	this.pageLink == null
post	this.urlStrategy == null
post	this.weblog == null
post	this.weblogRequest == null
post	this.pageNum == 0

method	org.apache.roller.weblogger.ui.rendering.model. PlanetModel__static_init
post	init'ed(log)

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

method	String getModelName()
post	return_value == &"planet"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@65 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@79 != null
post	possibly_updated(this.pageLink)
post	possibly_updated(this.pageNum)
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
post	(soft) this.weblogRequest != null
test_vector	java.util.Map:get(...)@77: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@70: {0}, {1}

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.ui.rendering.util.WeblogPageRequest:getWe blogPage()

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

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

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

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

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

method	Pager getAggregationPager(int, int)
pre	init'ed(this.pageLink)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null
pre	(soft) sinceDays <= 2³¹
post	return_value == &new PlanetEntriesPager(getAggr egationPager#1)
post	new ArrayList(getItems#2) num objects == 1
post	new PlanetEntriesPager(getAggregationPager#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #2)
post	return_value.feedURL == null
post	return_value.groupHandle == null
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getSubscription
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getEntries
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getGroup
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
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.ui.rendering. pagers.AbstractPager

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

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.ui. rendering.util.WeblogRequest:getLocale()

method	Pager getAggregationPager(String, int, int)
pre	init'ed(this.pageLink)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null
pre	(soft) sinceDays <= 2³¹
post	return_value == &new PlanetEntriesPager(getAggr egationPager#1)
post	new ArrayList(getItems#2) num objects == 1
post	new PlanetEntriesPager(getAggregationPager#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #2)
post	return_value.feedURL == null
post	return_value.groupHandle == groupHandle
post	init'ed(return_value.groupHandle)
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getSubscription
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getEntries
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getGroup
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
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.ui.rendering. pagers.AbstractPager

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

method	Pager getFeedPager(String, int)
pre	init'ed(this.pageLink)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/PlanetEntriesPager.log != null
post	return_value == &new PlanetEntriesPager(getFeed Pager#1)
post	new ArrayList(getItems#2) num objects == 1
post	new PlanetEntriesPager(getFeedPager#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #2)
post	return_value.feedURL == feedURL
post	init'ed(return_value.feedURL)
post	return_value.groupHandle == null
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == -1
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getSubscription
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getEntries
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getGroup
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
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.ui.rendering. pagers.AbstractPager

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

method	List getRankedSubscriptions(int, int)
pre	(soft) log != null
post	return_value == &new ArrayList(getRankedSubscri ptions#1*)
post	new ArrayList(getRankedSubscriptions#1*) num objects == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.planet.business. PlanetFactory:getPlanet
unanalyzed	call on org.apache.roller.planet.business. Planet:getPlanetManager
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getPlanet
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getGroup
unanalyzed	call on org.apache.roller.planet.business. PlanetManager:getTopSubscriptions
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error

method	List getRankedSubscriptions(String, int, int)
pre	(soft) log != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@180 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@180 != null
presumption	org.apache.roller.planet.business.PlanetManager:get TopSubscriptions(...)@183 != null
post	return_value == &new ArrayList(getRankedSubscri ptions#1)
post	new ArrayList(getRankedSubscriptions#1) num objects == 1

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()

info method not available -- call on Planet org.apache.roller.planet. business.PlanetManager:getPlanet(String)

info method not available -- call on PlanetGroup org.apache.roller.planet. business.PlanetManager:getGroup(Planet, String)

info method not available -- call on List org.apache.roller.planet.business. PlanetManager:getTopSubscriptions(PlanetGroup, int, int)

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

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

	info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()
	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 Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
	info	method not available	-- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()