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