Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.pagers. PlanetEntriesPager__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.PlanetEntriesPager(URLStrategy, String, String, String, String, int, int, int)
pre	(soft) length <= 2³²-2
pre	(soft) log != null
pre	(soft) sinceDays <= 2³¹
post	this.entries == &new ArrayList(getItems#2)
post	this.feedURL == feedURL
post	init'ed(this.feedURL)
post	this.groupHandle == groupHandle
post	init'ed(this.groupHandle)
post	this.length == length
post	(soft) this.length <= 2³²-2
post	this.locale == locale
post	init'ed(this.locale)
post	init'ed(this.more)
post	this.page == One-of{0, page}
post	this.page >= 0
post	this.sinceDays == sinceDays
post	(soft) this.sinceDays <= 2³¹
post	this.url == baseUrl
post	init'ed(this.url)
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)
post	new ArrayList(getItems#2) num objects == 1
post	(soft) length*this.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

method	List getItems()
pre	init'ed(this.entries)
pre	(soft) log != null
pre	(soft) init'ed(this.feedURL)
pre	(soft) init'ed(this.groupHandle)
pre	(soft) this.length <= 2³²-2
pre	(soft) this.length*this.page in -2³¹.. 2³²-1
pre	(soft) init'ed(this.page)
pre	(soft) this.sinceDays <= 2³¹
presumption	java.util.Calendar:getInstance(...)@88 != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@96 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@96 != null
presumption	org.apache.roller.planet.business.PlanetManager:get Entries(...)@102 != null
presumption	org.apache.roller.planet.business.PlanetManager:get Entries(...)@105 != null
presumption	org.apache.roller.planet.business.PlanetManager:get Entries(...)@108 != null
post	return_value == One-of{old this.entries, &new ArrayList(getItems#2)}
post	return_value != null
post	this.entries == return_value
post	possibly_updated(this.more)
post	new ArrayList(getItems#2) num objects <= 1
test_vector	this.entries: Inverse{null}, Addr_Set{null}
test_vector	this.feedURL: Addr_Set{null}, Inverse{null}
test_vector	this.groupHandle: Addr_Set{null}, Inverse{null}
test_vector	this.sinceDays: {-2³¹..0}, {1..2³¹}

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 Subscription org.apache.roller.planet. business.PlanetManager:getSubscription(String)

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

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:getEntries(PlanetGroup, Date, Date, int, int)

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:getEntries(PlanetGroup, Date, Date, 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	bool hasMoreItems()
pre	init'ed(this.more)
post	return_value == this.more
post	init'ed(return_value)

	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()