SearchResultsFeedPager.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 createURL(String, Map)

    • -/+ Kind Annotation Text Date
    +pre(soft) params != null2009-09-04 18:33:31
    +prethis.feedRequest != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLEncoder:encode2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@102: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@106: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.List:size(...)@110: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTags(...)@109: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTerm(...)@105: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblogCategoryName(...)@101: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:isExcerpts(...)@113: {0}, {1}2009-09-04 18:33:31

  • + String getHomeLink()

    • -/+ Kind Annotation Text Date
    +prethis.urlStrategy != null2009-09-04 18:33:31
    +prethis.weblog != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getHomeName()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.messageUtils.bundle != null2009-09-04 18:33:31
    +prethis.messageUtils != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.ResourceBundle:getString2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31

  • + List getItems()

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

  • + String getUrl()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.url)2009-09-04 18:33:31
    +prethis.feedRequest != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuilder:toStri ng(...)2009-09-04 18:33:31
    +unanalyzedcall on createURL2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLEncoder:encode2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:put2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts2009-09-04 18:33:31

  • + bool hasMoreItems()

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

  • + void org.apache.roller.weblogger.ui.rendering.pagers.SearchResultsFeedPager(URLStrategy, String, int, WeblogFeedRequest, List, bool)

    • -/+ Kind Annotation Text Date
    +prefeedRequest != null2009-09-04 18:33:31
    +preorg/apache/roller/weblogger/util/I18nMessages. messagesMap != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getLocale(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblog(...)@64 != null2009-09-04 18:33:31
    +post(soft) this.weblog != null2009-09-04 18:33:31
    +postinit'ed(new I18nMessages(getMessages#2).bundle)2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postinit'ed(this.moreResults)2009-09-04 18:33:31
    +postinit'ed(this.url)2009-09-04 18:33:31
    +postinit'ed(this.urlStrategy)2009-09-04 18:33:31
    +postnew I18nMessages(getMessages#2) num objects <= 12009-09-04 18:33:31
    +postnew I18nMessages(getMessages#2).locale != null2009-09-04 18:33:31
    +postnew Locale(SearchResultsFeedPager#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(SearchResultsFeedPager#1)._tainted == 02009-09-04 18:33:31
    +postnew Locale(SearchResultsFeedPager#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(SearchResultsFeedPager#2)._tainted == 02009-09-04 18:33:31
    +postthis.entries == entries2009-09-04 18:33:31
    +postthis.feedRequest != null2009-09-04 18:33:31
    +postthis.feedRequest == feedRequest2009-09-04 18:33:31
    +postthis.messageUtils != null2009-09-04 18:33:31
    +postthis.moreResults == more2009-09-04 18:33:31
    +postthis.page == One-of{0, pageNum}2009-09-04 18:33:31
    +postthis.page >= 02009-09-04 18:33:31
    +postthis.url == baseUrl2009-09-04 18:33:31
    +postthis.url == this.url2009-09-04 18:33:31
    +postthis.urlStrategy == strat2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:put2009-09-04 18:33:31
    +unanalyzedcall on java.util.ResourceBundle:getBundle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getLocale(...)@71: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.pagers.SearchResultsFeedPager__static_init

    • -/+ Kind Annotation Text Date