| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) password != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@120 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.User:getEnabled(. ..)@121 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getEnableB loggerApi(...)@127 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getEnabled (...)@126 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:encodePa ssword(...)@136 != null | 2009-09-04 18:33:31 |
| + | post | return_value != null | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@135: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@123: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@177 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@176 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@176 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.User:getEnabled(. ..)@179 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.User:getPassword( ...)@190 != null | 2009-09-04 18:33:31 |
| + | post | return_value == 1 | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Boolean:booleanValue(...)@179: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equalsIgnoreCase(...)@185: {0}, {1} | 2009-09-04 18:33:31 |