| method | void org.apache.roller.weblogger.ui.rendering. util.PlanetRequest(HttpServletRequest) |
| pre | log != null |
| pre | request != null |
| presumption | java.lang.Boolean:valueOf(...)@85 != null |
| presumption | java.lang.String:equals(...)@63 == 1 |
| presumption | javax.servlet.http.HttpServletRequest:getLocale(... )@94 != null |
| presumption | javax.servlet.http.HttpServletRequest:getServletPat h(...)@53 != null |
| post | init'ed(this.authenticUser) |
| post | this.context == &"planet" |
| post | init'ed(this.excerpts) |
| post | this.flavor in Addr_Set{null,&"rss"} |
| post | init'ed(this.group) |
| post | init'ed(this.language) |
| post | this.request == request |
| post | this.request != null |
| post | this.type in Addr_Set{&"feed",&"page"} |
| post | this.user == null |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getUs erPrincipal |
| unanalyzed | call on java.security.Principal:getName |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException |
| test_vector | java.lang.String:equals(...)@60: {0}, {1} |
| test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@88: Addr_Set{null}, Inverse{null} |