Messages

method	org.apache.roller.weblogger.ui.struts2.editor. Referrers__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.Referrers()
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	this.actionName == &"referrers"
post	this.dayHits == 0
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"referers.todaysReferers"
post	this.referrers == java.util.Collections.EMPTY_LIST
post	(soft) init'ed(this.referrers)
post	this.removeIds == null

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

method	short requiredWeblogPermissions()
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	String execute()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getRefererManager(...)@68 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@68 != null
presumption	org.apache.roller.weblogger.ui.struts2.editor. Referrers:getActionWeblog(...)@73 != null
post	return_value == &"list"
post	possibly_updated(this.dayHits)
post	possibly_updated(this.referrers)

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

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

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

info method not available -- call on int org.apache.roller.weblogger. business.referrers.RefererManager:getDayHits(Weblog )

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

info method not available -- call on List org.apache.roller.weblogger. business.referrers.RefererManager:getTodaysReferers (Weblog)

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

method	String reset()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getRefererManager(...)@88 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@88 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@90 != null
post	return_value == &"list"
post	possibly_updated(this.dayHits)
post	possibly_updated(this.referrers)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getRefererManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Referrers:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Referrers:addError
unanalyzed	call on org.apache.roller.weblogger.business. referrers.RefererManager:getDayHits
unanalyzed	call on org.apache.roller.weblogger.business. referrers.RefererManager:getTodaysReferers
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle

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

info method not available -- call on void org.apache.roller.weblogger. business.referrers.RefererManager:clearReferrers(We blog)

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

method	String remove()
pre	init'ed(this.removeIds)
pre	(soft) log != null
pre	(soft) this.removeIds.length <= 2³²-1
pre	(soft) init'ed(this.removeIds[...])
presumption	org.apache.roller.weblogger.business. Weblogger:getRefererManager(...)@110 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@110 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@124 != null
presumption	org.apache.roller.weblogger.business.referrers. RefererManager:getReferer(...)@115 != null
presumption	org.apache.roller.weblogger.ui.struts2.editor. Referrers:getActionWeblog(...)@118 != null
post	return_value == &"list"
post	possibly_updated(this.dayHits)
post	possibly_updated(this.referrers)
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getRefererManager
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Referrers:getActionWeblog
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.Referrers:addError
unanalyzed	call on org.apache.roller.weblogger.business. referrers.RefererManager:getDayHits
unanalyzed	call on org.apache.roller.weblogger.business. referrers.RefererManager:getTodaysReferers
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
test_vector	this.removeIds: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.Weblog:equals(... )@118: {0}, {1}

info method not available -- call on WeblogReferrer org.apache.roller. weblogger.business.referrers.RefererManager:getRefe rer(String)

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

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

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:equals(Object)

info method not available -- call on void org.apache.roller.weblogger. business.referrers.RefererManager:removeReferer(Web logReferrer)

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

method	List getReferrers()
pre	init'ed(this.referrers)
post	return_value == this.referrers
post	init'ed(return_value)

method	void setReferrers(List)
post	this.referrers == referrers
post	init'ed(this.referrers)

method	int getDayHits()
pre	init'ed(this.dayHits)
post	return_value == this.dayHits
post	init'ed(return_value)

method	void setDayHits(int)
post	this.dayHits == dayHits
post	init'ed(this.dayHits)

method	String[] getRemoveIds()
pre	init'ed(this.removeIds)
post	return_value == this.removeIds
post	init'ed(return_value)

method	void setRemoveIds(String[])
post	this.removeIds == removeIds
post	init'ed(this.removeIds)

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

	info	method not available	-- call on Weblog org.apache.roller.weblogger.ui. struts2.editor.Referrers:getActionWeblog()
	info	method not available	-- call on int org.apache.roller.weblogger. business.referrers.RefererManager:getDayHits(Weblog )