| method | Weblog validate(String, String, String) |
| pre | (soft) mLogger != null |
| pre | (soft) password != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@120 != 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.pojos.User:getEnabled(. ..)@121 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getEnableB loggerApi(...)@127 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getEnabled (...)@126 != null |
| presumption | org.apache.roller.weblogger.util.Utilities:encodePa ssword(...)@136 != null |
| post | return_value != null |
| test_vector | java.lang.String:equalsIgnoreCase(...)@135: {0}, {1} |
| test_vector | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@123: Addr_Set{null}, Inverse{null} |
| method | bool validateUser(String, String) |
| pre | (soft) mLogger != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@177 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@176 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@176 != null |
| presumption | org.apache.roller.weblogger.pojos.User:getEnabled(. ..)@179 != null |
| presumption | org.apache.roller.weblogger.pojos.User:getPassword( ...)@190 != null |
| post | return_value == 1 |
| test_vector | java.lang.Boolean:booleanValue(...)@179: {0}, {1} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@185: {0}, {1} |