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: {-2³¹..20}, {21..2³²-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)

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}

	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 Description com.sun.syndication.feed. rss.Item:getDescription()
	info	method not available	-- call on String com.sun.syndication.feed.rss. Description:getValue()