| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@68 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@67 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@67 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.struts2.core. CreateWeblog:getAuthenticatedUser(...)@63 != null | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.timeZone) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"menu",&"input"} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(org/apache/roller/weblogger/ui/strut s2/core/Register.DEFAULT_ALLOWED_CHARS) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.bean.handle) | 2009-09-04 18:33:31 |
| + | pre | this.bean != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.CharSetUtils:keep(...)@160 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@169 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@169 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.handle) | 2009-09-04 18:33:31 |
| + | post | this.bean.handle == One-of{old this.bean.handle, null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@161: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@155: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@168: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@170: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@154: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(org/apache/roller/weblogger/ui/strut s2/core/Register.DEFAULT_ALLOWED_CHARS) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.description) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.handle) | 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.name) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.theme) | 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 != null | 2009-09-04 18:33:31 |
| + | presumption | defs.length@126 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@96 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@131 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@95 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@131 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@133 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@95 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@126 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.bean.handle) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"menu", &"success",&"input"} | 2009-09-04 18:33:31 |
| + | post | this.bean.handle == One-of{old this.bean.handle, null} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.CharSetUtils:keep | 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.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. core.CreateWeblog:addError | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.struts2.core. CreateWeblog:hasActionErrors(...)@111: {1}, {0} | 2009-09-04 18:33:31 |