newsfeed.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 add(NewsFeedEntry)

    • -/+ Kind Annotation Text Date
    U pre(soft) this.entries != null2010-07-16 16:14:15
    U postentry.feed == One-of{old entry.feed, this}2010-07-16 16:14:15
    U test_vectorentry: Addr_Set{null}, Inverse{null}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@76: {1}, {0}2010-07-16 16:14:15

  • List getEntries()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.entries)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.entries2010-07-16 16:14:15

  • String getLink()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.link)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.link2010-07-16 16:14:15

  • long getTimestamp()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.timestamp)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.timestamp2010-07-16 16:14:15

  • String getTitle()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.title)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.title2010-07-16 16:14:15

  • String getUrl()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.url)2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.url2010-07-16 16:14:15

  • void net.sourceforge.pebble.aggregator.NewsFeed(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.timestamp)2010-07-16 16:14:15
    U postinit'ed(this.url)2010-07-16 16:14:15
    U postnew LinkedList(NewsFeed#1) num objects == 12010-07-16 16:14:15
    U postthis.entries == &new LinkedList(NewsFeed#1)2010-07-16 16:14:15
    U postthis.url == url2010-07-16 16:14:15

  • net.sourceforge.pebble.aggregator.NewsFeed__static_init

    • -/+ Kind Annotation Text Date

  • void setLink(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.link)2010-07-16 16:14:15
    U postthis.link == link2010-07-16 16:14:15

  • void setTitle(String)

    • -/+ Kind Annotation Text Date
    U postinit'ed(this.title)2010-07-16 16:14:15
    U postthis.title == title2010-07-16 16:14:15