responsefeedaction.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • - Category getCategory(AbstractBlog, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + Category getCategory(AbstractBlog, HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) abstractBlog != null2010-07-22 12:56:56
    +pre(soft) request != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@169: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • - Tag getTag(AbstractBlog, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + Tag getTag(AbstractBlog, HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) request != null2010-07-22 12:56:56
    +postnew Tag(getTag#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value in Addr_Set{null,&new Tag(getTag#1)}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@145: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void net.sourceforge.pebble.web.action.ResponseFeedAction()

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.web.action.ResponseFeedAction__static_init

    • -/+ Kind Annotation Text Date

  • - View process(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date

  • + View process(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +prerequest != null2010-07-22 12:56:56
    +preresponse != null2010-07-22 12:56:56
    +prethis.model != null2010-07-22 12:56:56
    +prethis.model.data != null2010-07-22 12:56:56
    +presumptioninit'ed(java.util.Locale.ENGLISH)2010-07-22 12:56:56
    +presumptionjava.util.HashMap:get(...)@63 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@98 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getLastModified( ...)@76 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.BlogEntry:getResponse s(...)@98 != null2010-07-22 12:56:56
    +postnew AtomResponsesView(process#12) num objects <= 12010-07-22 12:56:56
    +postnew NotModifiedView(process#5) num objects <= 12010-07-22 12:56:56
    +postnew NotModifiedView(process#7) num objects <= 12010-07-22 12:56:56
    +postnew RssResponsesView(process#13) num objects <= 12010-07-22 12:56:56
    +postreturn_value in Addr_Set{&new NotModifiedView(p rocess#5),&new NotModifiedView(process#7), &new AtomResponsesView(process#12),&new RssResponsesView(process#13)}2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap:put2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.web.view.View2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@80: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@82: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@122: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@70: {0}, {1}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@67: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@68: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@62: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@87: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.BlogEntry:isPublished (...)@96: {0}, {1}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@92: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Response:isApproved(. ..)@99: {0}, {1}2010-07-22 12:56:56