| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.bean != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.user) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.activationCode) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.administrator) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.enabled) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.fullName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.password) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.screenName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.timeZone) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.userName) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"input", &"error"} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getActivationCode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getFullName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getScreenName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:hasRole | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.User:getId(... )@96: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.user: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.bean.id) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.userName) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@72 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@72 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@82 != null | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.user) | 2009-09-04 18:33:31 |
| + | test_vector | this.bean.id: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.userName: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(org/apache/roller/weblogger/ui/struts2/admi n/CreateUserBean.java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.enabled) | 2009-09-04 18:33:31 |
| + | post | new CreateUserBean(ModifyUser#2) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new User(ModifyUser#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.actionName == &"modifyUser" | 2009-09-04 18:33:31 |
| + | post | this.bean == &new CreateUserBean(ModifyUser#2) | 2009-09-04 18:33:31 |
| + | post | this.bean.activationCode == null | 2009-09-04 18:33:31 |
| + | post | this.bean.administrator == 0 | 2009-09-04 18:33:31 |
| + | post | this.bean.emailAddress == null | 2009-09-04 18:33:31 |
| + | post | this.bean.enabled == org/apache/roller/weblogger/ui /struts2/admin/CreateUserBean.java.lang.Boolean. TRUE | 2009-09-04 18:33:31 |
| + | post | this.bean.fullName == null | 2009-09-04 18:33:31 |
| + | post | this.bean.id == null | 2009-09-04 18:33:31 |
| + | post | this.bean.locale == null | 2009-09-04 18:33:31 |
| + | post | this.bean.password == null | 2009-09-04 18:33:31 |
| + | post | this.bean.screenName == null | 2009-09-04 18:33:31 |
| + | post | this.bean.timeZone == null | 2009-09-04 18:33:31 |
| + | post | this.bean.userName == null | 2009-09-04 18:33:31 |
| + | post | this.desiredMenu == &"admin" | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"userAdmin.title.editUser" | 2009-09-04 18:33:31 |
| + | post | this.user == &new User(ModifyUser#1) | 2009-09-04 18:33:31 |
| + | post | this.userName == null | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.bean.activationCode) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.administrator) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.fullName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.password) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.screenName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.timeZone) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean.enabled != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | pre | this.bean != null | 2009-09-04 18:33:31 |
| + | pre | this.user != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@130 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@157 != null | 2009-09-04 18:33:31 |
| + | post | return_value == &"input" | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:booleanValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setActivationCode | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setFullName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setScreenName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.ModifyUser:addError | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. admin.ModifyUser:getAuthenticatedUser | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@121: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.User:equals(... )@212: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.User:hasRole(... )@133: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.User:hasRole(... )@142: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.struts2.admin. ModifyUser:hasActionErrors(...)@116: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.bean.administrator: {1}, {0} | 2009-09-04 18:33:31 |