Messages

method	org.apache.roller.weblogger.ui.struts2.editor. Pings__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. editor.Pings()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	init'ed(java.util.Collections.EMPTY_MAP)
post	this.actionName == &"pings"
post	this.commonPingTargets == java.util.Collections. EMPTY_LIST
post	(soft) init'ed(this.commonPingTargets)
post	this.customPingTargets == this.commonPingTargets
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"pings.title"
post	this.pingStatus == java.util.Collections.EMPTY_MAP
post	(soft) init'ed(this.pingStatus)
post	this.pingTarget == null
post	this.pingTargetId == null

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

method	short requireWeblogPermissions()
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN
post	(soft) init'ed(return_value)

method	void myPrepare()
pre	init'ed(this.pingTargetId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getPingTargetManager(...)@82 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null
presumption	org.apache.roller.weblogger.ui.struts2.editor. Pings:getActionWeblog(...)@101 != null
post	possibly_updated(this.commonPingTargets)
post	possibly_updated(this.customPingTargets)
post	possibly_updated(this.pingTarget)
test_vector	this.pingTargetId: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.PingConfig:getDi sallowCustomTargets(...)@96: {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 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, Throwable)

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

info method not available -- call on bool org.apache.roller.weblogger.config. PingConfig:getDisallowCustomTargets()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Pings:getActionWeblog()

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

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Pings:getActionWeblog()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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.editor.Pings:addError(String)

method	String execute()
pre	this.commonPingTargets != null
pre	this.customPingTargets != null
pre	(soft) log != null
post	return_value == &"list"
post	this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)}
post	new HashMap(buildIsEnabledMap#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:size

method	String enable()
pre	this.commonPingTargets != null
pre	this.customPingTargets != null
pre	init'ed(this.pingTarget)
pre	(soft) log != null
pre	(soft) init'ed(this.pingTargetId)
presumption	org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@126 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@126 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@129 != null
post	return_value == &"list"
post	this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)}
post	new HashMap(buildIsEnabledMap#1) num objects == 1
unanalyzed	call on buildIsEnabledMap
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:size
test_vector	this.pingTarget: Addr_Set{null}, Inverse{null}

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

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

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Pings:getActionWeblog()

info method not available -- call on void org.apache.roller.weblogger.pojos. AutoPing(String, PingTarget, Weblog)

info method not available -- call on void org.apache.roller.weblogger. business.pings.AutoPingManager:saveAutoPing(AutoPin g)

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.editor.Pings:addError(String)

method	String disable()
pre	this.commonPingTargets != null
pre	this.customPingTargets != null
pre	init'ed(this.pingTarget)
pre	(soft) log != null
pre	(soft) init'ed(this.pingTargetId)
presumption	org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@146 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@146 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@148 != null
post	return_value == &"list"
post	this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)}
post	new HashMap(buildIsEnabledMap#1) num objects == 1
unanalyzed	call on buildIsEnabledMap
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:size
test_vector	this.pingTarget: Addr_Set{null}, Inverse{null}

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.editor.Pings:addError(String)

method	String pingNow()
pre	this.commonPingTargets != null
pre	this.customPingTargets != null
pre	init'ed(this.pingTarget)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business.pings. WeblogUpdatePinger:sendPing(...)@169 != null
presumption	org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:getMessage(...)@172 != null
post	return_value == &"list"
post	this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)}
post	new HashMap(buildIsEnabledMap#1) num objects == 1
unanalyzed	call on java.net.UnknownHostException:instanceof
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Pings:addError
unanalyzed	call on java.net.SocketException:instanceof
unanalyzed	call on buildIsEnabledMap
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getAutopingManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Pings:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. AutoPing:getPingTarget
unanalyzed	call on org.apache.roller.weblogger.pojos. PingTarget:getId
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:size
test_vector	this.pingTarget: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@172: {0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:getMessage(...)@172: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.business.pings. WeblogUpdatePinger_PingResult:isError(...)@170: {0}, {1}
test_vector	org.apache.roller.weblogger.config.PingConfig:getSu spendPingProcessing(...)@165: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.config. PingConfig:getSuspendPingProcessing()

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

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

info method not available -- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Pings:getActionWeblog()

info method not available -- call on WeblogUpdatePinger$PingResult org.apache.roller.weblogger.business.pings. WeblogUpdatePinger:sendPing(PingTarget, Weblog)

info method not available -- call on bool org.apache.roller.weblogger. business.pings.WeblogUpdatePinger$PingResult:isErro r()

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

info method not available -- call on String org.apache.roller.weblogger. business.pings.WeblogUpdatePinger$PingResult:getMes sage()

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

info method not available -- call on String org.apache.roller.weblogger. business.pings.WeblogUpdatePinger$PingResult:getMes sage()

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

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.editor.Pings:addMessage(String)

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

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

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

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

method

void addSpecificMessages(Exception)

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

method	void buildIsEnabledMap()
pre	this.commonPingTargets != null
pre	this.customPingTargets != null
pre	(soft) log != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.Collections.EMPTY_LIST != null
presumption	java.util.Iterator:next(...)@226 != null
presumption	java.util.Iterator:next(...)@233 != null
presumption	java.util.Iterator:next(...)@241 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getAutopingManager(...)@212 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@212 != null
presumption	org.apache.roller.weblogger.business.pings. AutoPingManager:getAutoPingsByWebsite(...)@219 != null
presumption	org.apache.roller.weblogger.pojos.AutoPing:getPingT arget(...)@227 != null
presumption	org.apache.roller.weblogger.ui.struts2.editor. Pings:getActionWeblog(...)@221 != null
post	this.pingStatus == One-of{old this.pingStatus, &new HashMap(buildIsEnabledMap#1)}
post	new HashMap(buildIsEnabledMap#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@225: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@232: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@240: {0}, {1}
test_vector	java.util.Map:get(...)@234: Inverse{null}, Addr_Set{null}
test_vector	java.util.Map:get(...)@242: Inverse{null}, Addr_Set{null}
test_vector	java.util.Map:size(...)@247: {-2³¹..0}, {1..2³²-1}

info method not available -- call on PingTarget org.apache.roller.weblogger. pojos.AutoPing:getPingTarget()

info method not available -- call on String org.apache.roller.weblogger. pojos.PingTarget:getId()

info method not available -- call on String org.apache.roller.weblogger. pojos.PingTarget:getId()

method	String getPingTargetId()
pre	init'ed(this.pingTargetId)
post	return_value == this.pingTargetId
post	init'ed(return_value)

method	void setPingTargetId(String)
post	this.pingTargetId == pingTargetId
post	init'ed(this.pingTargetId)

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	List getCommonPingTargets()
pre	init'ed(this.commonPingTargets)
post	return_value == this.commonPingTargets
post	init'ed(return_value)

method	void setCommonPingTargets(List)
post	this.commonPingTargets == commonPingTargets
post	init'ed(this.commonPingTargets)

method	List getCustomPingTargets()
pre	init'ed(this.customPingTargets)
post	return_value == this.customPingTargets
post	init'ed(return_value)

method	void setCustomPingTargets(List)
post	this.customPingTargets == customPingTargets
post	init'ed(this.customPingTargets)

method	Map getPingStatus()
pre	init'ed(this.pingStatus)
post	return_value == this.pingStatus
post	init'ed(return_value)

method	void setPingStatus(Map)
post	this.pingStatus == pingStatus
post	init'ed(this.pingStatus)

	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 Weblog org.apache.roller.weblogger.ui. struts2.editor.Pings:getActionWeblog()
	info	method not available	-- call on List org.apache.roller.weblogger. business.pings.PingTargetManager:getCustomPingTarge ts(Weblog)

	info	method not available	-- call on String org.apache.roller.weblogger. business.pings.WeblogUpdatePinger$PingResult:getMes sage()
	info	method not available	-- call on void org.apache.roller.weblogger.ui. struts2.editor.Pings:addError(String)

	info	method not available	-- call on PingTarget org.apache.roller.weblogger. pojos.AutoPing:getPingTarget()
	info	method not available	-- call on String org.apache.roller.weblogger. pojos.PingTarget:getId()