Messages

method	org.apache.roller.weblogger.planet.ui. PlanetSubscriptions__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.planet.ui. PlanetSubscriptions()
post	this.actionName == &"planetSubscriptions"
post	this.desiredMenu == &"admin"
post	this.group == null
post	this.groupHandle == null
post	this.planet == null
post	this.subUrl == null
post	this.pageTitle == &"planetSubscriptions.title"
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction

method	String requiredUserRole()
post	return_value == &"admin"

method	bool isWeblogRequired()
post	return_value == 0

method	void myPrepare()
pre	init'ed(this.groupHandle)
pre	(soft) init'ed(this.planet)
pre	(soft) org/apache/roller/weblogger/planet/ui/Planet UIAction.log != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@40 != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@73 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@73 != null
post	possibly_updated(this.group)
post	this.groupHandle == One-of{old this.groupHandle, &"all"}
post	this.groupHandle != null
post	init'ed(this.planet)
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.groupHandle: Inverse{null}, Addr_Set{null}

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 PlanetGroup org.apache.roller.planet. business.PlanetManager:getGroup(Planet, String)

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

method	String execute()
post	return_value == &"list"

method	String save()
pre	init'ed(this.subUrl)
pre	(soft) this.group != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@40 != null
presumption	org.apache.roller.planet.business.Planet:getFeedFet cher(...)@112 != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@104 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@104 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@112 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@130 != null
presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@125 != null
presumption	org.apache.roller.planet.pojos.Subscription:getGrou ps(...)@126 != null
post	return_value == &"list"
post	this.subUrl == One-of{old this.subUrl, null}
post	init'ed(this.subUrl)
unanalyzed	call on org.apache.roller.weblogger.planet.ui. PlanetSubscriptions:addError
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
test_vector	org.apache.roller.planet.business.PlanetManager:get Subscription(...)@107: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.planet.ui. PlanetSubscriptions:hasActionErrors(...)@103: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:hasActionErrors()

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

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

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

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

info method not available -- call on Subscription org.apache.roller.planet. business.fetcher.FeedFetcher:fetchSubscription(Stri ng)

info method not available -- call on void org.apache.roller.planet.business. PlanetManager:saveSubscription(Subscription)

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

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

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addMessage(String, String)

info method not available -- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()

info method not available -- call on Set org.apache.roller.planet.pojos. Subscription:getGroups()

info method not available -- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)

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

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addMessage(String)

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

info method not available -- call on String org.apache.roller. RollerException:getRootCauseMessage()

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addError(String, String)

method	String delete()
pre	init'ed(this.subUrl)
pre	(soft) this.group != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@40 != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@153 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@153 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@160 != null
presumption	org.apache.roller.planet.business.PlanetManager:get Subscription(...)@156 != null
presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@157 != null
presumption	org.apache.roller.planet.pojos.Subscription:getGrou ps(...)@158 != null
post	return_value == &"list"
post	this.subUrl == One-of{old this.subUrl, null}
post	init'ed(this.subUrl)
test_vector	this.subUrl: Addr_Set{null}, Inverse{null}

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

info method not available -- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()

info method not available -- call on Set org.apache.roller.planet.pojos. Subscription:getGroups()

info method not available -- call on void org.apache.roller.planet.business. PlanetManager:saveGroup(PlanetGroup)

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

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addMessage(String)

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

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addError(String)

method	void myValidate()
pre	init'ed(this.subUrl)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@181: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addError(String)

method	List getSubscriptions()
pre	init'ed(this.group)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	java.util.Iterator:next(...)@195 != null
presumption	org.apache.roller.planet.pojos.PlanetGroup:getSubsc riptions(...)@191 != null
presumption	org.apache.roller.planet.pojos.Subscription:getFeed URL(...)@197 != null
post	return_value == One-of{java.util.Collections.EMPTY_ LIST, &new ArrayList(getSubscriptions#1)}
post	(soft) init'ed(return_value)
post	new ArrayList(getSubscriptions#1) num objects <= 1
test_vector	this.group: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:startsWith(...)@197: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@195: {0}, {1}

info method not available -- call on Set org.apache.roller.planet.pojos. PlanetGroup:getSubscriptions()

info method not available -- call on String org.apache.roller.planet.pojos. Subscription:getFeedURL()

method	String getGroupHandle()
pre	init'ed(this.groupHandle)
post	return_value == this.groupHandle
post	init'ed(return_value)

method	void setGroupHandle(String)
post	this.groupHandle == groupHandle
post	init'ed(this.groupHandle)

method	PlanetGroup getGroup()
pre	init'ed(this.group)
post	return_value == this.group
post	init'ed(return_value)

method	void setGroup(PlanetGroup)
post	this.group == group
post	init'ed(this.group)

method	String getSubUrl()
pre	init'ed(this.subUrl)
post	return_value == this.subUrl
post	init'ed(return_value)

method	void setSubUrl(String)
post	this.subUrl == subUrl
post	init'ed(this.subUrl)

	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 String org.apache.roller.planet.pojos. Subscription:getTitle()
	info	method not available	-- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addMessage(String, String)

	info	method not available	-- call on String org.apache.roller. RollerException:getRootCauseMessage()
	info	method not available	-- call on void org.apache.roller.weblogger.planet. ui.PlanetSubscriptions:addError(String, String)