OldFeedRequest.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 getFlavor()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.flavor)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.flavor2009-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 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

  • + bool isExcerpts()

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

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

    • -/+ Kind Annotation Text Date
    +prefeedServlets != null2009-09-04 18:33:31
    +premLogger != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +presumptionjava.lang.Boolean:valueOf(...)@132 != null2009-09-04 18:33:31
    +presumptionjava.util.Set:contains(...)@77 == 12009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getParameter( ...)@120 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getServletPat h(...)@69 != null2009-09-04 18:33:31
    +postinit'ed(this.excerpts)2009-09-04 18:33:31
    +postinit'ed(this.weblogCategory)2009-09-04 18:33:31
    +postjava.lang.String:substring(...)._tainted == 02009-09-04 18:33:31
    +postthis.context in Addr_Set{&"weblog", &"main"}2009-09-04 18:33:31
    +postthis.flavor != null2009-09-04 18:33:31
    +postthis.weblogHandle == null2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@138: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@89: {0,1}, {2..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@94: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@119: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@123: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@127: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@131: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getPathInfo(. ..)@70: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +postfeedServlets == &new HashSet(OldFeedRequest__ static_init#1)2009-09-04 18:33:31
    +postinit'ed(mLogger)2009-09-04 18:33:31
    +postnew HashSet(OldFeedRequest__static_init#1) num objects == 12009-09-04 18:33:31