Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.struts2.core. Register__static_init
post	DEFAULT_ALLOWED_CHARS == &"A-Za-z0-9"
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.core. Register()
post	this.activationCode == null
post	this.activationStatus == null
post	this.servletRequest == 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.passwordConfirm == null
post	this.bean.passwordText == null
post	this.bean.screenName == null
post	this.bean.timeZone == null
post	this.bean.userName == null
post	this.bean == &new ProfileBean(Register#1)
post	this.fromSS0 == 0
post	this.pageTitle == &"newUser.addNewUser"
post	new ProfileBean(Register#1) num objects == 1

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

method	bool isUserRequired()
post	return_value == 0

method	bool isWeblogRequired()
post	return_value == 0

method	String execute()
pre	(soft) log != null
pre	(soft) this.bean != null
presumption	java.util.Locale:getDefault(...)@85 != null
presumption	java.util.TimeZone:getDefault(...)@86 != null
post	java.util.Locale:toString(...)._tainted == 0
post	return_value in Addr_Set{&"input", &"disabled"}
post	possibly_updated(this.bean.emailAddress)
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)
post	possibly_updated(this.fromSS0)
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
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@91: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@80: {1}, {0}
test_vector	org.apache.roller.weblogger.ui.core.security. CustomUserRegistry:getUserDetailsFromAuthentication (...)@93: Addr_Set{null}, Inverse{null}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

info method not available -- call on User org.apache.roller.weblogger.ui. core.security.CustomUserRegistry:getUserDetailsFrom Authentication()

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.core.Register:addError(String, String)

method	String save()
pre	(soft) init'ed(DEFAULT_ALLOWED_CHARS)
pre	(soft) log != null
pre	(soft) init'ed(this.bean.passwordConfirm)
pre	(soft) this.bean.passwordText != null
pre	(soft) init'ed(this.bean.userName)
pre	(soft) this.bean != null
pre	(soft) init'ed(this.bean.emailAddress)
pre	(soft) init'ed(this.bean.fullName)
pre	(soft) init'ed(this.bean.locale)
pre	(soft) init'ed(this.bean.screenName)
pre	(soft) init'ed(this.bean.timeZone)
pre	(soft) this.servletRequest != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.UUID:randomUUID(...)@142 != null
presumption	java.util.UUID:randomUUID(...)@150 != null
presumption	javax.servlet.http.HttpServletRequest:getSession(.. .)@184 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@119 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@119 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@167 != null
post	return_value in Addr_Set{&"success", &"input",&"disabled"}
post	this.activationStatus == One-of{old this.activationStatus, &"pending"}
post	init'ed(this.bean.passwordConfirm)
post	this.bean.passwordText != null
post	init'ed(this.bean.userName)
post	possibly_updated(this.fromSS0)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty
unanalyzed	call on org.apache.roller.weblogger.ui.core. security.CustomUserRegistry:getUserDetailsFromAuthe ntication
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.CharSetUtils:keep
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.ui.struts2. core.Register:addError
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
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.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
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@129: {1}, {0}
test_vector	org.apache.roller.weblogger.business. UserManager:getUserByActivationCode(...)@144: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@111: {1}, {0}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@135: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.User:getActivatio nCode(...)@170: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.struts2.core. Register:hasActionErrors(...)@117: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

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

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 void org.apache.roller.weblogger.pojos. User()

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

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

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

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 bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

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

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because numOfRetries == 3

+

warning

dead code dead code here because numOfRetries == 3

Prev Msg Next Msg

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

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires activationCode != null

Prev Msg Next Msg

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

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:addUser(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 String org.apache.roller.weblogger. pojos.User:getActivationCode()

info method not available -- call on void org.apache.roller.weblogger.util. MailUtil:sendUserActivationEmail(User)

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

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.core.Register:setPageTitle(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.core.Register:addError(String)

method	String activate()
pre	(soft) log != null
pre	(soft) init'ed(this.activationCode)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@205 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@205 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@217 != null
post	return_value == &"success"
post	this.activationStatus == One-of{old this.activationStatus, &"active", &"error"}
test_vector	this.activationCode: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.business. UserManager:getUserByActivationCode(...)@210: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.struts2.core. Register:hasActionErrors(...)@231: {0}, {1}

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

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

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

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

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

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

info method not available -- call on String org.apache.roller.weblogger. WebloggerException:getMessage()

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

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

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

info method not available -- call on void org.apache.roller.weblogger.ui. struts2.core.Register:setPageTitle(String)

method	void myValidate()
pre	this.bean != null
pre	(soft) init'ed(DEFAULT_ALLOWED_CHARS)
pre	(soft) log != null
pre	(soft) init'ed(this.bean.passwordConfirm)
pre	(soft) this.bean.passwordText != null
pre	(soft) init'ed(this.bean.userName)
presumption	org.apache.commons.lang.CharSetUtils:keep(...)@268 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@280 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@280 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@251 != null
presumption	org.apache.roller.weblogger.pojos.User:getPassword( ...)@253 != null
post	init'ed(this.bean.passwordConfirm)
post	this.bean.passwordText != null
post	init'ed(this.bean.userName)
post	init'ed(this.fromSS0)
test_vector	java.lang.String:equals(...)@269: {1}, {0}
test_vector	java.lang.String:equals(...)@274: {1}, {0}
test_vector	java.lang.String:length(...)@263: {1.. 2³²-1}, {0}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@279: {1}, {0}
test_vector	org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@281: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@246: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@248: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@262: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.core.security. CustomUserRegistry:getUserDetailsFromAuthentication (...)@249: Addr_Set{null}, Inverse{null}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

info method not available -- call on User org.apache.roller.weblogger.ui. core.security.CustomUserRegistry:getUserDetailsFrom Authentication()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String, String)

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

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

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

info method not available -- call on String org.apache.commons.lang. CharSetUtils:keep(String, String)

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

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

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.roller.weblogger.ui. struts2.core.Register:addError(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.core.Register:addError(String)

method	HttpServletRequest getServletRequest()
pre	init'ed(this.servletRequest)
post	return_value == this.servletRequest
post	init'ed(return_value)

method	void setServletRequest(HttpServletRequest)
post	this.servletRequest == servletRequest
post	init'ed(this.servletRequest)

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

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

method	bool isFromSS0()
pre	init'ed(this.fromSS0)
post	return_value == this.fromSS0
post	init'ed(return_value)

method	void setFromSS0(bool)
post	this.fromSS0 == fromSS0
post	init'ed(this.fromSS0)

method	String getActivationStatus()
pre	init'ed(this.activationStatus)
post	return_value == this.activationStatus
post	init'ed(return_value)

method	void setActivationStatus(String)
post	this.activationStatus == activationStatus
post	init'ed(this.activationStatus)

method	String getActivationCode()
pre	init'ed(this.activationCode)
post	return_value == this.activationCode
post	init'ed(return_value)

method	void setActivationCode(String)
post	this.activationCode == activationCode
post	init'ed(this.activationCode)

	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:getEmailAddress()
	info	method not available	-- call on void org.apache.commons.logging. Log:error(Object, Throwable)