Messages

method

org.apache.roller.weblogger.ui.struts2.common. PingTargetEditBase__static_init

method	void org.apache.roller.weblogger.ui.struts2. common.PingTargetEditBase()
post	this.bean == &new PingTargetFormBean(PingTarget EditBase#1)
post	this.pingTarget == null
post	this.bean.id == null
post	this.bean.name == null
post	this.bean.pingUrl == null
post	new PingTargetFormBean(PingTargetEditBase#1) num objects == 1

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.util.UIAction()

method	void myPrepare()
pre	this.bean != null
pre	init'ed(this.bean.id)
pre	(soft) init'ed(this.pingTarget)
pre	(soft) org/apache/roller/weblogger/ui/struts2/admin /CommonPingTargetEdit.log != null
pre	(soft) org/apache/roller/weblogger/ui/struts2/edito r/CustomPingTargetEdit.log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@51 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@51 != null
post	init'ed(this.pingTarget)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@52: {1}, {0}

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 bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on PingTarget org.apache.roller.weblogger. business.pings.PingTargetManager:getPingTarget(Stri ng)

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:addError(String)

method	String execute()
pre	(soft) this.bean != null
pre	(soft) this.pingTarget != null
post	return_value in Addr_Set{&"error", &"input"}
post	possibly_updated(this.bean.id)
post	possibly_updated(this.bean.name)
post	possibly_updated(this.bean.pingUrl)
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getPingUrl
test_vector	org.apache.roller.weblogger.ui.struts2.common. PingTargetEditBase:hasActionErrors(...)@74: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:hasActionErrors()

method	String save()
pre	(soft) org/apache/roller/weblogger/ui/struts2/admin /CommonPingTargetEdit.log != null
pre	(soft) org/apache/roller/weblogger/ui/struts2/edito r/CustomPingTargetEdit.log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.name)
pre	(soft) init'ed(this.bean.pingUrl)
pre	(soft) this.pingTarget != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@107 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@107 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@109 != null
post	return_value == &"input"
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:setPingUrl
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getPingTargetManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getLogger
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. common.PingTargetEditBase:addError
unanalyzed	call on org.apache.roller.weblogger.business.pings. PingTargetManager:isNameUnique
unanalyzed	call on org.apache.roller.weblogger.business.pings. PingTargetManager:isUrlWellFormed
unanalyzed	call on org.apache.roller.weblogger.business.pings. PingTargetManager:isHostnameKnown
test_vector	org.apache.roller.weblogger.ui.struts2.common. PingTargetEditBase:hasActionErrors(...)@105: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.struts2.common. PingTargetEditBase:hasActionErrors(...)@92: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:hasActionErrors()

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.roller.weblogger.ui. struts2.common.PingTargetEditBase: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.ui. struts2.common.PingTargetEditBase:addError(String)

method	void myValidate(PingTarget)
pre	(soft) org/apache/roller/weblogger/ui/struts2/admin /CommonPingTargetEdit.log != null
pre	(soft) org/apache/roller/weblogger/ui/struts2/edito r/CustomPingTargetEdit.log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@129 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@129 != null
test_vector	org.apache.roller.weblogger.business.pings. PingTargetManager:isHostnameKnown(...)@136: {1}, {0}
test_vector	org.apache.roller.weblogger.business.pings. PingTargetManager:isNameUnique(...)@130: {1}, {0}
test_vector	org.apache.roller.weblogger.business.pings. PingTargetManager:isUrlWellFormed(...)@134: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger. business.pings.PingTargetManager:isNameUnique(PingT arget)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:addError(String)

info method not available -- call on bool org.apache.roller.weblogger. business.pings.PingTargetManager:isUrlWellFormed(Pi ngTarget)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:addError(String)

info method not available -- call on bool org.apache.roller.weblogger. business.pings.PingTargetManager:isHostnameKnown(Pi ngTarget)

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.common.PingTargetEditBase:addError(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.ui. struts2.common.PingTargetEditBase:addError(String)

method	PingTarget getPingTarget()
pre	init'ed(this.pingTarget)
post	return_value == this.pingTarget
post	init'ed(return_value)

method	void setPingTarget(PingTarget)
post	this.pingTarget == pingTarget
post	init'ed(this.pingTarget)

method	PingTargetFormBean getBean()
pre	init'ed(this.bean)
post	return_value == this.bean
post	init'ed(return_value)

method	void setBean(PingTargetFormBean)
post	this.bean == bean
post	init'ed(this.bean)

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