ParsedRequest.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String getAuthenticUser()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.authenticUser)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.authenticUser2009-09-04 18:33:31

  • + User getUser()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.authenticUser)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +preinit'ed(this.user)2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@91 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@91 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postthis.user == return_value2009-09-04 18:33:31
    +test_vectorthis.authenticUser: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.user: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + bool isLoggedIn()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.authenticUser)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.util.ParsedRequest()

    • -/+ Kind Annotation Text Date
    +postthis.authenticUser == null2009-09-04 18:33:31
    +postthis.request == null2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.util.ParsedRequest(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +prerequest != null2009-09-04 18:33:31
    +postinit'ed(this.authenticUser)2009-09-04 18:33:31
    +postthis.request != null2009-09-04 18:33:31
    +postthis.request == request2009-09-04 18:33:31
    +postthis.user == null2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getUserPrinci pal(...)@69: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.util.ParsedRequest__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + void setAuthenticUser(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.authenticUser)2009-09-04 18:33:31
    +postthis.authenticUser == authenticUser2009-09-04 18:33:31

  • + void setUser(User)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.user)2009-09-04 18:33:31
    +postthis.user == u2009-09-04 18:33:31