Messages

method	void org.apache.roller.weblogger.planet.tasks. RefreshRollerPlanetTask()
post	this.clientId == &"unspecifiedClientId"
post	this.interval == 60
post	this.leaseTime == 10
post	this.startTimeDesc == &"immediate"

info method not available -- call on void org.apache.roller.weblogger. business.runnable.RollerTaskWithLeasing()

method	org.apache.roller.weblogger.planet.tasks. RefreshRollerPlanetTask__static_init
post	init'ed(log)

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

method	String getName()
post	return_value == &"RefreshRollerPlanetTask"

method	String getClientId()
pre	init'ed(this.clientId)
post	return_value == this.clientId
post	init'ed(return_value)

method	Date getStartTime(Date)
pre	init'ed(this.startTimeDesc)
post	init'ed(return_value)

info method not available -- call on Date org.apache.roller.weblogger.planet. tasks.RefreshRollerPlanetTask:getAdjustedTime(Date, String)

method	String getStartTimeDesc()
pre	init'ed(this.startTimeDesc)
post	return_value == this.startTimeDesc
post	init'ed(return_value)

method	int getInterval()
pre	init'ed(this.interval)
post	return_value == this.interval
post	init'ed(return_value)

method	int getLeaseTime()
pre	init'ed(this.leaseTime)
post	return_value == this.leaseTime
post	init'ed(return_value)

method	void init()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.planet.tasks. RefreshRollerPlanetTask:getTaskProperties(...)@91 != null
post	possibly_updated(this.clientId)
post	possibly_updated(this.interval)
post	possibly_updated(this.leaseTime)
post	possibly_updated(this.startTimeDesc)
test_vector	java.util.Properties:getProperty(...)@100: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@106: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@116: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:getProperty(...)@94: Addr_Set{null}, Inverse{null}

info method not available -- call on Properties org.apache.roller.weblogger. planet.tasks.RefreshRollerPlanetTask:getTaskPropert ies()

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

method	void runTask()
pre	log != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@139 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@138 != null

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

info method not available -- call on void org.apache.roller.planet.business. updater.SingleThreadedFeedUpdater()

info method not available -- call on void org.apache.roller.planet.business. updater.FeedUpdater:updateSubscriptions()

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 void org.apache.roller.weblogger. business.Weblogger:release()

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

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

method	void main(String[])
pre	(soft) log != null
unanalyzed	call on org.apache.roller.weblogger.business. runnable.RollerTaskWithLeasing
unanalyzed	call on org.apache.roller.weblogger.planet.tasks. RefreshRollerPlanetTask:getTaskProperties
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn

info method not available -- call on void org.apache.roller.planet.business. startup.PlanetStartup:prepare()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on void org.apache.roller.planet.business. GuicePlanetProvider(String)

info method not available -- call on void org.apache.roller.planet.business. PlanetFactory:bootstrap(PlanetProvider)

info method not available -- call on void org.apache.roller.weblogger.planet. tasks.RefreshRollerPlanetTask:run()

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

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