Messages

method | net.sourceforge.pebble.aggregator.NewsFeedCache__ static_init
post | instance == &new NewsFeedCache(NewsFeedCache__ static_init#1)
post | init'ed(log)
post | new HashMap(NewsFeedCache#1) num objects == 1
post | new HashMap(NewsFeedCache#2) num objects == 1
post | new HashMap(NewsFeedCache#3) num objects == 1
post | new NewsFeedCache(NewsFeedCache__static_init#1) num objects == 1
post | instance.entries == &new HashMap(NewsFeedCache# 3)
post | instance.feeds == &new HashMap(NewsFeedCache#2)
post | instance.subscriptions == &new HashMap(NewsFeed Cache#1)
unanalyzed | call on java.util.HashMap

method | void net.sourceforge.pebble.aggregator. NewsFeedCache()
post | this.entries == &new HashMap(NewsFeedCache#3)
post | this.feeds == &new HashMap(NewsFeedCache#2)
post | this.subscriptions == &new HashMap(NewsFeedCach e#1)
post | new HashMap(NewsFeedCache#1) num objects == 1
post | new HashMap(NewsFeedCache#2) num objects == 1
post | new HashMap(NewsFeedCache#3) num objects == 1

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | NewsFeedCache getInstance()
post | return_value == &new NewsFeedCache(NewsFeedCach e__static_init#1)

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

method | void removeAllSubscriptions(Blog)
pre | blog != null
pre | init'ed(blog.id)
pre | this.subscriptions != null
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.util.Map:put

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

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

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

| info | method not available | -- call on void com.sun.syndication.io. WireFeedInput(bool)

| info | method not available | -- call on void com.sun.syndication.io. XmlReader(URL)
| info | method not available | -- call on WireFeed com.sun.syndication.io. WireFeedInput:build(Reader)

| info | method not available | -- call on String com.sun.syndication.feed. WireFeed:getFeedType()

| info | method not available | -- call on String com.sun.syndication.feed.rss. Channel:getTitle()

| info | method not available | -- call on String com.sun.syndication.feed.rss. Channel:getLink()

| info | method not available | -- call on List com.sun.syndication.feed.rss. Channel:getItems()

| info | method not available | -- call on String com.sun.syndication.feed.rss. Item:getLink()

| info | method not available | -- call on String com.sun.syndication.feed.rss. Item:getTitle()

| info | method not available | -- call on Description com.sun.syndication.feed. rss.Item:getDescription()
| info | method not available | -- call on String com.sun.syndication.feed.rss. Description:getValue()

| info | method not available | -- call on String com.sun.syndication.feed.rss. Item:getAuthor()

| info | method not available | -- call on Date com.sun.syndication.feed.rss. Item:getPubDate()

| info | method not available | -- call on String com.sun.syndication.feed. WireFeed:getFeedType()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Feed:getTitle()

| info | method not available | -- call on List com.sun.syndication.feed.atom. Feed:getAlternateLinks()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Link:getType()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Link:getHref()

| info | method not available | -- call on List com.sun.syndication.feed.atom. Feed:getEntries()

| info | method not available | -- call on List com.sun.syndication.feed.atom. Entry:getAlternateLinks()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Link:getType()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Link:getHref()

| info | method not available | -- call on List com.sun.syndication.feed.atom. Entry:getContents()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Content:getType()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Content:getValue()

| info | method not available | -- call on Content com.sun.syndication.feed.atom. Entry:getSummary()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Content:getType()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Content:getValue()

| info | method not available | -- call on List com.sun.syndication.feed.atom. Entry:getAuthors()

| info | method not available | -- call on String com.sun.syndication.feed.atom. Entry:getTitle()

| info | method not available | -- call on Date com.sun.syndication.feed.atom. Entry:getPublished()

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

method | NewsFeed getFeed(String)
pre | this.feeds != null
post | init'ed(return_value)

method | List getNewsFeedEntries(Blog)
pre | blog != null
pre | init'ed(blog.id)
pre | this.entries != null
post | return_value != null
post | new LinkedList(getNewsFeedEntries#1) num objects <= 1
test_vector | java.util.Map:get(...)@217: Inverse{null}, Addr_Set{null}

method | Set getUrls(String)
pre | this.subscriptions != null
post | return_value != null
post | new HashSet(getUrls#1) num objects <= 1
test_vector | java.util.Map:get(...)@226: Inverse{null}, Addr_Set{null}