feedaction.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


  • - String getAuthor(HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + String getAuthor(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +prerequest != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56

  • - Category getCategory(Blog, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + Category getCategory(Blog, HttpServletRequest)

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

  • - Tag getTag(Blog, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + Tag getTag(Blog, HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +prerequest != null2010-07-22 12:56:56
    +postnew Tag(getTag#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value == One-of{&new Tag(getTag#1), null}2010-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( ...)@154: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

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

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.web.action.FeedAction__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(...)@116 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.AbstractBlog:getLastM odified(...)@79 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.AbstractBlog:getRecen tBlogEntries(...)@110 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getRecentPublish edBlogEntries(...)@101 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getRecentPublish edBlogEntries(...)@104 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getRecentPublish edBlogEntries(...)@107 != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.domain.Blog:getRecentPublish edBlogEntries(...)@98 != null2010-07-22 12:56:56
    +postnew AtomView(process#10) 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 RdfView(process#11) num objects <= 12010-07-22 12:56:56
    +postnew RssView(process#12) num objects <= 12010-07-22 12:56:56
    +postreturn_value in Addr_Set{&new NotModifiedView(p rocess#5),&new NotModifiedView(process#7), &new AtomView(process#10),&new RdfView(process#11),&new RssView(process#12)}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 javax.servlet.http.HttpServletRequest:getPa rameter2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCategory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.web.view.View2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.web.view.impl. AbstractFeedView2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@83: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@85: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@135: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@137: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@73: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@115: {1}, {0}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@70: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@71: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@186: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@65: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.BlogEntry:isAggregate d(...)@118: {0}, {1}2010-07-22 12:56:56