OldPageRequest.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 getContext()

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

  • + String getPageType()

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

  • + String getWeblogAnchor()

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

  • + String getWeblogCategory()

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

  • + String getWeblogDate()

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

  • + String getWeblogHandle()

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

  • + String getWeblogPage()

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

  • + bool isValidDateString(String)

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

  • + void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.OldPageRequest(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +premLogger != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@77 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:length(...)@100 >= 22009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getPathInfo(. ..)@70 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getServletPat h(...)@69 != null2009-09-04 18:33:31
    +postinit'ed(this.weblogAnchor)2009-09-04 18:33:31
    +postinit'ed(this.weblogCategory)2009-09-04 18:33:31
    +postthis.context == &"weblog"2009-09-04 18:33:31
    +postthis.pageType in Addr_Set{null,&"permalink", &"archive"}2009-09-04 18:33:31
    +postthis.weblogDate == null2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31
    +postthis.weblogPage == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:isNumer ic2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@164: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@169: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@174: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.velocity.deprecated.OldPageRequest__static_init

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