Messages

method	org.apache.roller.weblogger.ui.struts2.admin. ModifyUser__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

info method not available -- call on void org.apache.roller.weblogger.pojos. User()

method	void org.apache.roller.weblogger.ui.struts2.admin. ModifyUser()
presumption	init'ed(org/apache/roller/weblogger/ui/struts2/admi n/CreateUserBean.java.lang.Boolean.TRUE)
post	this.actionName == &"modifyUser"
post	this.bean == &new CreateUserBean(ModifyUser#2)
post	this.desiredMenu == &"admin"
post	this.pageTitle == &"userAdmin.title.editUser"
post	this.user == &new User(ModifyUser#1)
post	this.userName == null
post	this.bean.activationCode == null
post	this.bean.emailAddress == null
post	this.bean.fullName == null
post	this.bean.id == null
post	this.bean.locale == null
post	this.bean.password == null
post	this.bean.screenName == null
post	this.bean.timeZone == null
post	this.bean.userName == null
post	new CreateUserBean(ModifyUser#2) num objects == 1
post	new User(ModifyUser#1) num objects == 1
post	this.bean.administrator == 0
post	this.bean.enabled == org/apache/roller/weblogger/ui /struts2/admin/CreateUserBean.java.lang.Boolean. TRUE
post	init'ed(this.bean.enabled)

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

method	String requiredUserRole()
post	return_value == &"admin"

method	bool isWeblogRequired()
post	return_value == 0

method	void myPrepare()
pre	init'ed(this.userName)
pre	(soft) log != null
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.id)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@72 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@82 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@72 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null
post	possibly_updated(this.user)
test_vector	this.bean.id: Addr_Set{null}, Inverse{null}
test_vector	this.userName: 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 User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)

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

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

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

method	String execute()
pre	init'ed(this.user)
pre	(soft) this.bean != null
post	return_value in Addr_Set{&"input", &"error"}
post	possibly_updated(this.bean.activationCode)
post	possibly_updated(this.bean.administrator)
post	possibly_updated(this.bean.emailAddress)
post	possibly_updated(this.bean.enabled)
post	possibly_updated(this.bean.fullName)
post	possibly_updated(this.bean.id)
post	possibly_updated(this.bean.locale)
post	possibly_updated(this.bean.password)
post	possibly_updated(this.bean.screenName)
post	possibly_updated(this.bean.timeZone)
post	possibly_updated(this.bean.userName)
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getId
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getActivationCode
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
test_vector	this.user: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.User:getId(... )@96: Addr_Set{null}, Inverse{null}

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

info method not available -- call on Locale org.apache.roller.weblogger.ui. struts2.admin.ModifyUser:getLocale()

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

method	String save()
pre	this.bean != null
pre	init'ed(this.bean.emailAddress)
pre	this.user != null
pre	(soft) log != null
pre	(soft) init'ed(this.bean.activationCode)
pre	(soft) init'ed(this.bean.administrator)
pre	(soft) this.bean.enabled != null
pre	(soft) init'ed(this.bean.fullName)
pre	(soft) init'ed(this.bean.locale)
pre	(soft) init'ed(this.bean.password)
pre	(soft) init'ed(this.bean.screenName)
pre	(soft) init'ed(this.bean.timeZone)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@130 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@157 != null
post	return_value == &"input"
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. admin.ModifyUser:getAuthenticatedUser
unanalyzed	call on org.apache.roller.weblogger.pojos. User:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getId
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. admin.ModifyUser:addError
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Boolean
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setActivationCode
test_vector	this.bean.administrator: {1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@121: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.User:equals(... )@212: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.User:hasRole(... )@133: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.User:hasRole(... )@142: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.struts2.admin. ModifyUser:hasActionErrors(...)@116: {1}, {0}

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

info method not available -- call on Locale org.apache.roller.weblogger.ui. struts2.admin.ModifyUser:getLocale()

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

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

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

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

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:revokeRole(String, User)

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

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

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

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

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

info method not available -- call on void org.apache.roller.weblogger.ui. core.RollerContext:flushAuthenticationUserCache(Str ing)

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

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

method	void myValidate()
pre	this.bean != null
pre	init'ed(this.bean.emailAddress)
pre	this.user != null
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@181: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.User:getId(... )@178: Inverse{null}, Addr_Set{null}

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

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

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

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

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

method	void setBean(CreateUserBean)
post	this.bean == bean
post	init'ed(this.bean)

method	User getUser()
pre	init'ed(this.user)
post	return_value == this.user
post	init'ed(return_value)

method	void setUser(User)
post	this.user == user
post	init'ed(this.user)

method	String getUserName()
pre	init'ed(this.userName)
post	return_value == this.userName
post	init'ed(return_value)

method	void setUserName(String)
post	this.userName == userName
post	init'ed(this.userName)

method	bool isUserEditingSelf()
pre	this.user != null
post	init'ed(return_value)

info method not available -- call on User org.apache.roller.weblogger.ui. struts2.admin.ModifyUser:getAuthenticatedUser()

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

	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 String org.apache.roller.weblogger. pojos.User:getUserName()
	info	method not available	-- call on void org.apache.roller.weblogger.ui. core.RollerContext:flushAuthenticationUserCache(Str ing)

	info	method not available	-- call on User org.apache.roller.weblogger.ui. struts2.admin.ModifyUser:getAuthenticatedUser()
	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. User:equals(Object)