| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | request != null |
| pre | response != null |
| presumption | init'ed(java.lang.Boolean.FALSE) |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| presumption | java.util.Iterator:next(...)@74 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@75 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@76 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@77 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getUsersStartingWith(...)@70 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@69 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@67 != null |
| test_vector | java.lang.String:equals(...)@60: {0}, {1} |
| test_vector | java.lang.String:equals(...)@61: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@73: {0}, {1} |