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


  • void addSubscription(Blog, String)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +prethis.feeds != null2010-07-22 12:56:56
    +prethis.subscriptions != null2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.WireFeed:getFeedTy pe2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Content:getType2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Content:getValue2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getAlternateLinks2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getAuthors2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getContents2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getPublished2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getSummary2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getAlternateLinks2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getEntries2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom.Link:getHref2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom.Link:getType2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getItems2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getLink2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Description:getValue2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getAuthor2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getDescription2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss.Item:getLink2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getPubDate2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss.Item:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.WireFeedInput2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.WireFeedInput:build2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.XmlReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Object:toString2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.System:currentTimeMillis2010-07-22 12:56:56
    +unanalyzedcall on java.net.URL2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.LinkedList2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:contains2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:warn2010-07-22 12:56:56

  • NewsFeed getFeed(String)

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

  • NewsFeedCache getInstance()

    • -/+ Kind Annotation Text Date
    +postreturn_value == &new NewsFeedCache(NewsFeedCach e__static_init#1)2010-07-22 12:56:56

  • List getNewsFeedEntries(Blog)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +prethis.entries != null2010-07-22 12:56:56
    +postnew LinkedList(getNewsFeedEntries#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +test_vectorjava.util.Map:get(...)@217: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56

  • Set getUrls(String)

    • -/+ Kind Annotation Text Date
    +prethis.subscriptions != null2010-07-22 12:56:56
    +postnew HashSet(getUrls#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +test_vectorjava.util.Map:get(...)@226: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56

  • void net.sourceforge.pebble.aggregator.NewsFeedCache()

    • -/+ Kind Annotation Text Date
    +postnew HashMap(NewsFeedCache#1) num objects == 12010-07-22 12:56:56
    +postnew HashMap(NewsFeedCache#2) num objects == 12010-07-22 12:56:56
    +postnew HashMap(NewsFeedCache#3) num objects == 12010-07-22 12:56:56
    +postthis.entries == &new HashMap(NewsFeedCache#3)2010-07-22 12:56:56
    +postthis.feeds == &new HashMap(NewsFeedCache#2)2010-07-22 12:56:56
    +postthis.subscriptions == &new HashMap(NewsFeedCach e#1)2010-07-22 12:56:56

  • net.sourceforge.pebble.aggregator.NewsFeedCache__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2010-07-22 12:56:56
    +postinstance == &new NewsFeedCache(NewsFeedCache__ static_init#1)2010-07-22 12:56:56
    +postinstance.entries == &new HashMap(NewsFeedCache# 3)2010-07-22 12:56:56
    +postinstance.feeds == &new HashMap(NewsFeedCache#2) 2010-07-22 12:56:56
    +postinstance.subscriptions == &new HashMap(NewsFeed Cache#1)2010-07-22 12:56:56
    +postnew HashMap(NewsFeedCache#1) num objects == 12010-07-22 12:56:56
    +postnew HashMap(NewsFeedCache#2) num objects == 12010-07-22 12:56:56
    +postnew HashMap(NewsFeedCache#3) num objects == 12010-07-22 12:56:56
    +postnew NewsFeedCache(NewsFeedCache__static_init#1) num objects == 12010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56

  • void refreshFeeds()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.entries != null2010-07-22 12:56:56
    +prethis.feeds != null2010-07-22 12:56:56
    +prethis.subscriptions != null2010-07-22 12:56:56
    +presumptionjava.util.Map:get(...)@109 != null2010-07-22 12:56:56
    +presumptionjava.util.Map:keySet(...)@106 != null2010-07-22 12:56:56
    +presumptionjava.util.Map:keySet(...)@95 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@60 != null2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.WireFeed:getFeedTy pe2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Content:getType2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Content:getValue2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getAlternateLinks2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getAuthors2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getContents2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getPublished2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getSummary2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Entry:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getAlternateLinks2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getEntries2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom. Feed:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom.Link:getHref2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.atom.Link:getType2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getItems2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getLink2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Channel:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Description:getValue2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getAuthor2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getDescription2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss.Item:getLink2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss. Item:getPubDate2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.feed.rss.Item:getTitle2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.WireFeedInput2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.WireFeedInput:build2010-07-22 12:56:56
    +unanalyzedcall on com.sun.syndication.io.XmlReader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Object:toString2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.System:currentTimeMillis2010-07-22 12:56:56
    +unanalyzedcall on java.net.URL2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.LinkedList2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:contains2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:warn2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@106: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@108: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@95: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.List:size(...)@114: {-231..20}, {21..232-1}2010-07-22 12:56:56

  • void removeAllSubscriptions(Blog)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +prethis.subscriptions != null2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56

  • NewsFeed updateFeed(String)

    • -/+ Kind Annotation Text Date
    +presumptioncom.sun.syndication.feed.WireFeed:getFeedType(... )@150 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.WireFeed:getFeedType(... )@165 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Entry:getAlternateLin ks(...)@175 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Entry:getAuthors(... )@190 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Entry:getContents(... )@180 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Entry:getSummary(... )@185 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Feed:getAlternateLink s(...)@168 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.atom.Feed:getEntries(... )@173 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.rss.Channel:getItems(... )@155 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.feed.rss.Item:getDescription(.. .)@159 != null2010-07-22 12:56:56
    +presumptioncom.sun.syndication.io.WireFeedInput:build(... )@148 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@155 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@168 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@173 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@175 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@180 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@185 != null2010-07-22 12:56:56
    +presumptionjava.util.List:get(...)@190 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@60 != null2010-07-22 12:56:56
    +postinit'ed(return_value.link)2010-07-22 12:56:56
    +postinit'ed(return_value.timestamp)2010-07-22 12:56:56
    +postinit'ed(return_value.title)2010-07-22 12:56:56
    +postinit'ed(return_value.url)2010-07-22 12:56:56
    +postnew LinkedList(NewsFeed#1) num objects == 12010-07-22 12:56:56
    +postnew NewsFeed(updateFeed#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new NewsFeed(updateFeed#1)2010-07-22 12:56:56
    +postreturn_value.entries == &new LinkedList(NewsFee d#1)2010-07-22 12:56:56
    +postreturn_value.url == url2010-07-22 12:56:56
    +unanalyzedcall on java.lang.System:currentTimeMillis2010-07-22 12:56:56
    +unanalyzedcall on java.util.LinkedList2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:contains2010-07-22 12:56:56
    +test_vectorcom.sun.syndication.feed.WireFeed:getFeedType(... )@150: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorcom.sun.syndication.feed.WireFeed:getFeedType(... )@165: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@169: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@176: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@181: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@186: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@150: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:startsWith(...)@165: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@168: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@173: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@175: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@180: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@185: {1}, {0}2010-07-22 12:56:56