Messages

method	org.apache.roller.weblogger.ui.struts2.admin. CommonPingTargets__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.struts2.admin. CommonPingTargets()
presumption	init'ed(org/apache/roller/weblogger/ui/struts2/comm on/PingTargetsBase.java.util.Collections. EMPTY_LIST)
post	this.actionName == &"commonPingTargets"
post	this.desiredMenu == &"admin"
post	this.pageTitle == &"commonPingTargets. commonPingTargets"
post	this.pingTarget == null
post	this.pingTargetId == null
post	this.pingTargets == org/apache/roller/weblogger/ui/ struts2/common/PingTargetsBase.java.util. Collections.EMPTY_LIST
post	init'ed(this.pingTargets)
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	Log getLogger()
pre	init'ed(log)
post	return_value == log
post	init'ed(return_value)

method	void loadPingTargets()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@61 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@61 != null
post	possibly_updated(this.pingTargets)

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

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

info method not available -- call on List org.apache.roller.weblogger. business.pings.PingTargetManager:getCommonPingTarge ts()

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.ui. struts2.admin.CommonPingTargets:addError(String)

method	String enable()
pre	init'ed(this.pingTarget)
pre	(soft) log != null
pre	(soft) init'ed(this.pingTargetId)
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@80 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@80 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null
post	return_value == &"list"
test_vector	this.pingTarget: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. PingTarget:setAutoEnabled(bool)

info method not available -- call on void org.apache.roller.weblogger. business.pings.PingTargetManager:savePingTarget(Pin gTarget)

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

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.ui. struts2.admin.CommonPingTargets:addError(String)

method	String disable()
pre	init'ed(this.pingTarget)
pre	(soft) log != null
pre	(soft) init'ed(this.pingTargetId)
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@106 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@106 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null
post	return_value == &"list"
test_vector	this.pingTarget: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. PingTarget:setAutoEnabled(bool)

info method not available -- call on void org.apache.roller.weblogger. business.pings.PingTargetManager:savePingTarget(Pin gTarget)

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.ui. struts2.admin.CommonPingTargets:addError(String)

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