Messages

method	org.apache.roller.weblogger.ui.struts2.editor. CategoryEdit__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.CategoryEdit()
post	this.actionName == &"categoryEdit"
post	this.bean == &new CategoryBean(CategoryEdit#1)
post	this.category == null
post	this.bean.description == null
post	this.bean.id == null
post	this.bean.image == null
post	this.bean.name == null
post	this.desiredMenu == &"editor"
post	this.pageTitle == &"categoryForm.edit.title"
post	new CategoryBean(CategoryEdit#1) num objects == 1

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.AUTHOR)
post	return_value == org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR
post	(soft) init'ed(return_value)

method	void myPrepare()
pre	(soft) log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.id)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@63 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@63 != null
post	possibly_updated(this.category)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@64: {1}, {0}

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

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

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

method	String execute()
pre	init'ed(this.category)
pre	(soft) this.bean != null
post	return_value in Addr_Set{&"input", &"error"}
post	possibly_updated(this.bean.description)
post	possibly_updated(this.bean.id)
post	possibly_updated(this.bean.image)
post	possibly_updated(this.bean.name)
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getImage
test_vector	this.category: Inverse{null}, Addr_Set{null}

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

method	String save()
pre	init'ed(this.category)
pre	(soft) log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.description)
pre	(soft) init'ed(this.bean.image)
pre	(soft) init'ed(this.bean.name)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@112 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@112 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@114 != null
post	return_value in Addr_Set{&"input", &"error"}
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:updateName
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:setDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:setImage
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:getParent
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogCategory:hasCategory
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. editor.CategoryEdit:addError
test_vector	this.category: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.struts2.editor. CategoryEdit:hasActionErrors(...)@106: {1}, {0}

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

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

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:saveWeblogCategory(WeblogCat egory)

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.util. cache.CacheManager:invalidate(WeblogCategory)

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

method	void myValidate()
pre	this.bean != null
pre	init'ed(this.bean.name)
pre	this.category != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tName(...)@138 != null
test_vector	java.lang.String:equals(...)@138: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.WeblogCategory:ge tParent(...)@139: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogCategory:ha sCategory(...)@140: {0}, {1}

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

info method not available -- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogCategory:getParent()

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogCategory:hasCategory(String)

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

method	WeblogCategory getCategory()
pre	init'ed(this.category)
post	return_value == this.category
post	init'ed(return_value)

method	void setCategory(WeblogCategory)
post	this.category == category
post	init'ed(this.category)

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

method	void setBean(CategoryBean)
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 WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()