Messages

method

net.sourceforge.pebble.aggregator.NewsFeedEntry__ static_init

method	void net.sourceforge.pebble.aggregator. NewsFeedEntry(String, String, String, String, Date)
post	this.author == author
post	init'ed(this.author)
post	this.body == body
post	init'ed(this.body)
post	this.date == date
post	init'ed(this.date)
post	this.link == link
post	init'ed(this.link)
post	this.title == title
post	init'ed(this.title)

method	void setFeed(NewsFeed)
post	this.feed == feed
post	init'ed(this.feed)

method	NewsFeed getFeed()
pre	init'ed(this.feed)
post	return_value == this.feed
post	init'ed(return_value)

method	String getLink()
pre	init'ed(this.link)
post	return_value == this.link
post	init'ed(return_value)

method	String getTitle()
pre	init'ed(this.title)
post	return_value == this.title
post	init'ed(return_value)

method	String getBody()
pre	init'ed(this.body)
post	return_value == this.body
post	init'ed(return_value)

method	String getTruncatedBody()
pre	init'ed(this.body)
post	init'ed(return_value)

info method not available -- call on String net.sourceforge.pebble.util. StringUtils:truncate(String)

method	String getAuthor()
pre	init'ed(this.author)
post	return_value == this.author
post	init'ed(return_value)

method	Date getDate()
pre	init'ed(this.date)
post	return_value == this.date
post	init'ed(return_value)

method	bool equals(Object)
pre	(soft) init'ed(o.link)
pre	(soft) this.link != null
post	init'ed(return_value)
test_vector	o: Inverse{null}, Addr_Set{null}
test_vector	this == o: {0}, {1}
test_vector	java.lang.String:equals(...)@96: {1}, {0}

method	int hashCode()
pre	this.link != null
post	init'ed(return_value)

method	String toString()
pre	init'ed(this.author)
pre	init'ed(this.body)
pre	init'ed(this.date)
pre	init'ed(this.link)
pre	init'ed(this.title)
post	return_value != null