## 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
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | pre | this.feeds != null | 2010-07-22 12:56:56
+ | pre | this.subscriptions != null | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.WireFeed:getFeedTy pe | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Content:getType | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Content:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getAlternateLinks | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getAuthors | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getContents | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getPublished | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getSummary | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getAlternateLinks | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom.Link:getHref | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom.Link:getType | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getItems | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getLink | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Description:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getDescription | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss.Item:getLink | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getPubDate | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss.Item:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.WireFeedInput | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.WireFeedInput:build | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.XmlReader | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:toString | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.System:currentTimeMillis | 2010-07-22 12:56:56
+ | unanalyzed | call on java.net.URL | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56

- NewsFeed getFeed(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.feeds != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- NewsFeedCache getInstance()

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

- List getNewsFeedEntries(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | pre | this.entries != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getNewsFeedEntries#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | test_vector | java.util.Map:get(...)@217: Inverse{null}, Addr_Set{null} | 2010-07-22 12:56:56

- Set getUrls(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.subscriptions != null | 2010-07-22 12:56:56
+ | post | new HashSet(getUrls#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | test_vector | java.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
--- | --- | --- | ---
+ | post | new HashMap(NewsFeedCache#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(NewsFeedCache#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(NewsFeedCache#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | this.entries == &new HashMap(NewsFeedCache#3) | 2010-07-22 12:56:56
+ | post | this.feeds == &new HashMap(NewsFeedCache#2) | 2010-07-22 12:56:56
+ | post | this.subscriptions == &new HashMap(NewsFeedCach e#1) | 2010-07-22 12:56:56

- net.sourceforge.pebble.aggregator.NewsFeedCache__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56
+ | post | instance == &new NewsFeedCache(NewsFeedCache__ static_init#1) | 2010-07-22 12:56:56
+ | post | instance.entries == &new HashMap(NewsFeedCache# 3) | 2010-07-22 12:56:56
+ | post | instance.feeds == &new HashMap(NewsFeedCache#2) | 2010-07-22 12:56:56
+ | post | instance.subscriptions == &new HashMap(NewsFeed Cache#1) | 2010-07-22 12:56:56
+ | post | new HashMap(NewsFeedCache#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(NewsFeedCache#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(NewsFeedCache#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new NewsFeedCache(NewsFeedCache__static_init#1) num objects == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56

- void refreshFeeds()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.entries != null | 2010-07-22 12:56:56
+ | pre | this.feeds != null | 2010-07-22 12:56:56
+ | pre | this.subscriptions != null | 2010-07-22 12:56:56
+ | presumption | java.util.Map:get(...)@109 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Map:keySet(...)@106 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Map:keySet(...)@95 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@60 != null | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.WireFeed:getFeedTy pe | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Content:getType | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Content:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getAlternateLinks | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getAuthors | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getContents | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getPublished | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getSummary | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Entry:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getAlternateLinks | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom. Feed:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom.Link:getHref | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.atom.Link:getType | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getItems | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getLink | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Channel:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Description:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getDescription | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss.Item:getLink | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss. Item:getPubDate | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.feed.rss.Item:getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.WireFeedInput | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.WireFeedInput:build | 2010-07-22 12:56:56
+ | unanalyzed | call on com.sun.syndication.io.XmlReader | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:toString | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.System:currentTimeMillis | 2010-07-22 12:56:56
+ | unanalyzed | call on java.net.URL | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@106: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@108: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@95: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.List:size(...)@114: {-231..20}, {21..232-1} | 2010-07-22 12:56:56

- void removeAllSubscriptions(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | pre | this.subscriptions != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56

- NewsFeed updateFeed(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | presumption | com.sun.syndication.feed.WireFeed:getFeedType(... )@150 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.WireFeed:getFeedType(... )@165 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Entry:getAlternateLin ks(...)@175 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Entry:getAuthors(... )@190 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Entry:getContents(... )@180 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Entry:getSummary(... )@185 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Feed:getAlternateLink s(...)@168 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.atom.Feed:getEntries(... )@173 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.rss.Channel:getItems(... )@155 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.feed.rss.Item:getDescription(.. .)@159 != null | 2010-07-22 12:56:56
+ | presumption | com.sun.syndication.io.WireFeedInput:build(... )@148 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@155 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@168 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@173 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@175 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@180 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@185 != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:get(...)@190 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@60 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value.link) | 2010-07-22 12:56:56
+ | post | init'ed(return_value.timestamp) | 2010-07-22 12:56:56
+ | post | init'ed(return_value.title) | 2010-07-22 12:56:56
+ | post | init'ed(return_value.url) | 2010-07-22 12:56:56
+ | post | new LinkedList(NewsFeed#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new NewsFeed(updateFeed#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new NewsFeed(updateFeed#1) | 2010-07-22 12:56:56
+ | post | return_value.entries == &new LinkedList(NewsFee d#1) | 2010-07-22 12:56:56
+ | post | return_value.url == url | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.System:currentTimeMillis | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | test_vector | com.sun.syndication.feed.WireFeed:getFeedType(... )@150: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | com.sun.syndication.feed.WireFeed:getFeedType(... )@165: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@169: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@176: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@181: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@186: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:startsWith(...)@150: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:startsWith(...)@165: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@168: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@173: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@175: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@180: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@185: {1}, {0} | 2010-07-22 12:56:56