Messages

method	org.apache.roller.weblogger.ui.struts2.editor. EntryRemove__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.EntryRemove()
post	this.actionName == &"entryRemove"
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"weblogEdit.title.newEntry"
post	this.removeEntry == null
post	this.removeId == null

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

method	void myPrepare()
pre	init'ed(this.removeId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@56 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@56 != null
post	possibly_updated(this.removeEntry)
test_vector	this.removeId: 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 WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)

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

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

method	String remove()
pre	init'ed(this.removeEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.removeId)
presumption	org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@80 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@93 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@80 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@93 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@95 != null
post	return_value in Addr_Set{&"error", &"success",&"input"}
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getIndexManager
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:isPublished
unanalyzed	call on org.apache.roller.weblogger.business. search.IndexManager:removeEntryIndexOperation
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
test_vector	this.removeEntry: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setStatus(String)

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

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

info method not available -- call on void org.apache.roller.weblogger. business.search.IndexManager:addEntryReIndexOperati on(WeblogEntry)

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

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogEntry)

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:removeWeblogEntry(WeblogEntr y)

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

method	void removeEntryIndex(WeblogEntry)
pre	entry != null
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@119 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@119 != null
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@122: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()

info method not available -- call on void org.apache.roller.weblogger. business.search.IndexManager:removeEntryIndexOperat ion(WeblogEntry)

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

method	String getRemoveId()
pre	init'ed(this.removeId)
post	return_value == this.removeId
post	init'ed(return_value)

method	void setRemoveId(String)
post	this.removeId == removeId
post	init'ed(this.removeId)

method	WeblogEntry getRemoveEntry()
pre	init'ed(this.removeEntry)
post	return_value == this.removeEntry
post	init'ed(return_value)

method	void setRemoveEntry(WeblogEntry)
post	this.removeEntry == removeEntry
post	init'ed(this.removeEntry)

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