Messages

method	org.apache.roller.weblogger.ui.struts2.editor. TemplateRemove__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.TemplateRemove()
post	this.actionName == &"templateRemove"
post	this.actionWeblog == null
post	this.authenticatedUser == null
post	this.removeId == null
post	this.template == null
post	this.weblog == null
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"editPages.title.removeOK"
unanalyzed	call on com.opensymphony.xwork2.ActionSupport

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	void myPrepare()
pre	init'ed(this.removeId)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@61 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@61 != null
post	possibly_updated(this.template)
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
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 UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on WeblogTemplate org.apache.roller. weblogger.business.UserManager:getPage(String)

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

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

method	String remove()
pre	init'ed(this.template)
pre	(soft) log != null
pre	(soft) init'ed(this.removeId)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@86 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@86 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@92 != null
post	return_value in Addr_Set{&"success", &"confirm"}
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:getText
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. util.UIAction:addActionError
test_vector	this.template: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogTemplate:is Required(...)@85: {1}, {0}

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

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

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:removePage(WeblogTemplate)

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)

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	WeblogTemplate getTemplate()
pre	init'ed(this.template)
post	return_value == this.template
post	init'ed(return_value)

method	void setTemplate(WeblogTemplate)
post	this.template == template
post	init'ed(this.template)

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