| method | void org.apache.roller.weblogger.ui.struts2.core. Profile() |
| post | this.bean == &new ProfileBean(Profile#1) |
| post | this.pageTitle == &"yourProfile.title" |
| post | new ProfileBean(Profile#1) num objects == 1 |
| 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 |
| method | String execute() |
| pre | this.bean != null |
| presumption | org.apache.roller.weblogger.ui.struts2.core. Profile:getAuthenticatedUser(...)@57 != null |
| post | return_value == &"input" |
| post | init'ed(this.bean.emailAddress) |
| post | init'ed(this.bean.fullName) |
| post | init'ed(this.bean.id) |
| post | init'ed(this.bean.locale) |
| post | init'ed(this.bean.password) |
| post | this.bean.passwordConfirm == null |
| post | this.bean.passwordText == null |
| post | init'ed(this.bean.screenName) |
| post | init'ed(this.bean.timeZone) |
| post | init'ed(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 |
| method | String save() |
| pre | (soft) log != null |
| 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.passwordConfirm) |
| pre | (soft) this.bean.passwordText != null |
| pre | (soft) init'ed(this.bean.screenName) |
| pre | (soft) init'ed(this.bean.timeZone) |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@97 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@97 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@99 != null |
| presumption | org.apache.roller.weblogger.ui.struts2.core. Profile:getAuthenticatedUser(...)@76 != null |
| post | return_value in Addr_Set{&"success", &"input"} |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| unanalyzed | call on org.apache.roller.weblogger.ui.struts2. core.Profile:addError |
| unanalyzed | call on java.lang.String:equals |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@86: {1}, {0} |
| test_vector | org.apache.roller.weblogger.ui.struts2.core. Profile:hasActionErrors(...)@74: {1}, {0} |