| method | UserDetails loadUserByUsername(String) |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| presumption | java.util.Iterator:next(...)@43 != null |
| presumption | java.util.Set:size(...)@39 >= 1 |
| presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@30 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@29 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@28 != null |
| presumption | org.apache.roller.weblogger.pojos.User:getRoles(... )@39 != null |
| presumption | org.apache.roller.weblogger.pojos.User:getRoles(... )@42 != null |
| post | return_value == &new User(loadUserByUsername#6) |
| post | new User(loadUserByUsername#6) num objects == 1 |
| test_vector | java.util.Iterator:hasNext(...)@42: {0}, {1} |