day.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 addPublishedBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U prethis.blogEntries != null2010-07-16 16:14:15
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U prethis.unpublishedBlogEntries != null2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@185: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@191: {1}, {0}2010-07-16 16:14:15

  • void addUnpublishedBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U prethis.blogEntries != null2010-07-16 16:14:15
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U prethis.unpublishedBlogEntries != null2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@199: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.util.List:contains(...)@205: {1}, {0}2010-07-16 16:14:15

  • bool before(Day)

    • -/+ Kind Annotation Text Date
    U preday != null2010-07-16 16:14:15
    U preinit'ed(day.date)2010-07-16 16:14:15
    U prethis.date != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • List getBlogEntries()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.blogEntries)2010-07-16 16:14:15
    U postnew ArrayList(getBlogEntries#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new ArrayList(getBlogEntries#1 )2010-07-16 16:14:15

  • Calendar getCalendar()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.day)2010-07-16 16:14:15
    U preinit'ed(this.month.year.year)2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U prethis.month != null2010-07-16 16:14:15
    U prethis.month.month >= -231+12010-07-16 16:14:15
    U prethis.month.year != null2010-07-16 16:14:15
    U presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@127 != null2010-07-16 16:14:15
    U post(soft) return_value != null2010-07-16 16:14:15

  • int getDay()

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

  • Date getEndOfDay()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.day)2010-07-16 16:14:15
    U preinit'ed(this.month.year.year)2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U prethis.month != null2010-07-16 16:14:15
    U prethis.month.month >= -231+12010-07-16 16:14:15
    U prethis.month.year != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.util.Calendar:set2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15

  • String getFirstBlogEntry()

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U presumptionjava.util.List:size(...)@375 >= -231+12010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.util.List:isEmpty(...)@374: {1}, {0}2010-07-16 16:14:15

  • String getLastBlogEntry()

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.util.List:isEmpty(...)@387: {1}, {0}2010-07-16 16:14:15

  • Month getMonth()

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

  • String getNextBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.util.List:lastIndexOf(...)@401: {-231..0}, {1..232-1}2010-07-16 16:14:15

  • Day getNextDay()

    • -/+ Kind Annotation Text Date
    -pre(soft) init'ed(this.month...dailyBlogs[...])2010-07-16 16:59:22
    U pre(soft) init'ed(this.month.dailyBlogs[...])2010-07-16 16:14:15
    +pre(soft) init'ed(this.month.year.months[...])2010-07-22 12:56:56
    U pre(soft) this.day < this.month.dailyBlogs.length2010-07-16 16:14:15
    -pre(soft) this.month...dailyBlogs != null2010-07-16 16:59:22
    -pre(soft) this.month...dailyBlogs.length >= 12010-07-16 16:59:22
    U pre(soft) this.month.dailyBlogs != null2010-07-16 16:14:15
    U pre(soft) this.month.dailyBlogs.length >= 12010-07-16 16:14:15
    U pre(soft) this.month.month - this.month.year.months. length in {-Inf..-1, 12..232-1}2010-07-16 16:14:15
    +pre(soft) this.month.month >= 02010-07-22 12:56:56
    U pre(soft) this.month.year != null2010-07-16 16:14:15
    U pre(soft) this.month.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.month.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.month.year.months != null2010-07-16 16:14:15
    -pre(soft) this.month.year.months[...] != null2010-07-16 16:59:22
    +pre(soft) this.month.year.year <= 232-22010-07-22 12:56:56
    U preinit'ed(this.day)2010-07-16 16:14:15
    U preinit'ed(this.month.lastDayInMonth)2010-07-16 16:14:15
    U prethis.day - this.month.lastDayInMonth in -232+1..6_442_450_9432010-07-16 16:14:15
    U prethis.month != null2010-07-16 16:14:15
    +postinit'ed(new ArrayList(Day#1) num objects)2010-07-22 12:56:56
    +postinit'ed(new ArrayList(Day#2) num objects)2010-07-22 12:56:56
    +postinit'ed(new ArrayList(Day#3) num objects)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2) num objects)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).blog)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).blogEntries)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).date)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).day)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).month)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).publishedBlogEntries)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).unpublishedBlogEntries)2010-07-22 12:56:56
    U postinit'ed(return_value)2010-07-16 16:14:15
    -postreturn_value == One-of{this.month.dailyBlogs[...], this.month...dailyBlogs[...]}2010-07-16 16:59:22
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    U unanalyzedcall on getBlogForFirstDay2010-07-16 16:14:15
    U unanalyzedcall on getBlogForNextYear2010-07-16 16:14:15
    -unanalyzedcall on getDay2010-07-16 16:59:22
    U unanalyzedcall on getMonth2010-07-16 16:14:15
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:setTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collections:sort2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Month2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlog2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.TimePeriod2010-07-22 12:56:56
    +unanalyzedcall on setDate2010-07-22 12:56:56

  • int getNumberOfBlogEntries()

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • String getPermalink()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)2010-07-22 12:56:56
    +pre(soft) init'ed(this.blog.id)2010-07-22 12:56:56
    +pre(soft) net/sourceforge/pebble/domain/BlogManager. instance != null2010-07-22 12:56:56
    -preinit'ed(this.date)2010-07-16 16:59:22
    U prethis.blog != null2010-07-16 16:14:15
    +prethis.blog.permalinkProvider != null2010-07-22 12:56:56
    U postreturn_value != null2010-07-16 16:14:15
    -unanalyzedcall on getDate2010-07-16 16:59:22
    -unanalyzedcall on getTimeZone2010-07-16 16:59:22
    +unanalyzedcall on java.lang.String:indexOf2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    -unanalyzedcall on java.text.SimpleDateFormat2010-07-16 16:59:22
    -unanalyzedcall on java.text.SimpleDateFormat:format2010-07-16 16:59:22
    -unanalyzedcall on java.text.SimpleDateFormat:setTimeZone2010-07-16 16:59:22
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getCon figuration2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleContext:getIns tance2010-07-22 12:56:56
    -unanalyzedcall on net.sourceforge.pebble.domain. Blog:getTimeZone2010-07-16 16:59:22
    +test_vectorgetPermalink(...)@163: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    U test_vectorjava.lang.String:length(...)@164: {0}, {1..232-1}2010-07-16 16:14:15

  • String getPreviousBlogEntry(String)

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U test_vectorjava.util.List:indexOf(...)@360: {-231.. -1}, {0..232-3}2010-07-16 16:14:15

  • Day getPreviousDay()

    • -/+ Kind Annotation Text Date
    -pre(soft) init'ed(this.month...dailyBlogs[...])2010-07-16 16:59:22
    U pre(soft) init'ed(this.month.dailyBlogs[...])2010-07-16 16:14:15
    U pre(soft) init'ed(this.month.lastDayInMonth)2010-07-16 16:14:15
    +pre(soft) init'ed(this.month.year.months[...])2010-07-22 12:56:56
    U pre(soft) this.day <= this.month.dailyBlogs.length + 12010-07-16 16:14:15
    -pre(soft) this.month...dailyBlogs != null2010-07-16 16:59:22
    -pre(soft) this.month...dailyBlogs.length >= 12010-07-16 16:59:22
    U pre(soft) this.month.dailyBlogs != null2010-07-16 16:14:15
    U pre(soft) this.month.dailyBlogs.length >= 12010-07-16 16:14:15
    -pre(soft) this.month.month - this.month.year.months. length in {-Inf..1, 13..232-2}2010-07-16 16:59:22
    +pre(soft) this.month.month <= 132010-07-22 12:56:56
    +pre(soft) this.month.month <= this.month.year.months. length + 12010-07-22 12:56:56
    U pre(soft) this.month.year != null2010-07-16 16:14:15
    U pre(soft) this.month.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.month.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.month.year.months != null2010-07-16 16:14:15
    -pre(soft) this.month.year.months.length >= 12010-07-16 16:59:22
    -pre(soft) this.month.year.months[...] != null2010-07-16 16:59:22
    +pre(soft) this.month.year.year >= -231+12010-07-22 12:56:56
    U preinit'ed(this.day)2010-07-16 16:14:15
    U prethis.month != null2010-07-16 16:14:15
    +postinit'ed(new ArrayList(Day#1) num objects)2010-07-22 12:56:56
    +postinit'ed(new ArrayList(Day#2) num objects)2010-07-22 12:56:56
    +postinit'ed(new ArrayList(Day#3) num objects)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2) num objects)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).blog)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).blogEntries)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).date)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).day)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).month)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).publishedBlogEntries)2010-07-22 12:56:56
    +postinit'ed(new Day(Month#2).unpublishedBlogEntries)2010-07-22 12:56:56
    U postinit'ed(return_value)2010-07-16 16:14:15
    -postreturn_value == One-of{this.month.dailyBlogs[...], this.month...dailyBlogs[...]}2010-07-16 16:59:22
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    U unanalyzedcall on getBlogForPreviousYear2010-07-16 16:14:15
    -unanalyzedcall on getDay2010-07-16 16:59:22
    U unanalyzedcall on getMonth2010-07-16 16:14:15
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:set2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:setTime2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collections:sort2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.Month2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlog2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain.TimePeriod2010-07-22 12:56:56
    +unanalyzedcall on setDate2010-07-22 12:56:56

  • Date getStartOfDay()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.day)2010-07-16 16:14:15
    U preinit'ed(this.month.year.year)2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U prethis.month != null2010-07-16 16:14:15
    U prethis.month.month >= -231+12010-07-16 16:14:15
    U prethis.month.year != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.util.Calendar:set2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15

  • bool hasBlogEntries()

    • -/+ Kind Annotation Text Date
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Day(Month, int)

    • -/+ Kind Annotation Text Date
    U preinit'ed(month.year.year)2010-07-16 16:14:15
    U premonth != null2010-07-16 16:14:15
    U premonth.month >= -231+12010-07-16 16:14:15
    U premonth.year != null2010-07-16 16:14:15
    U presumptionnet.sourceforge.pebble.domain.Month:getBlog(... )@63 != null2010-07-16 16:14:15
    U post(soft) this.blog != null2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(this.day)2010-07-16 16:14:15
    U postnew ArrayList(Day#1) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Day#2) num objects == 12010-07-16 16:14:15
    U postnew ArrayList(Day#3) num objects == 12010-07-16 16:14:15
    U postthis.blogEntries == &new ArrayList(Day#1)2010-07-16 16:14:15
    U postthis.day == day2010-07-16 16:14:15
    U postthis.month != null2010-07-16 16:14:15
    U postthis.month == month2010-07-16 16:14:15
    U postthis.publishedBlogEntries == &new ArrayList(Day#2)2010-07-16 16:14:15
    U postthis.unpublishedBlogEntries == &new ArrayList(Day#3)2010-07-16 16:14:15
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.util.Calendar:set2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15

  • net.sourceforge.pebble.domain.Day__static_init

    • -/+ Kind Annotation Text Date

  • void removeBlogEntry(BlogEntry)

    • -/+ Kind Annotation Text Date
    U preblogEntry != null2010-07-16 16:14:15
    U prethis.blogEntries != null2010-07-16 16:14:15
    U prethis.publishedBlogEntries != null2010-07-16 16:14:15
    U prethis.unpublishedBlogEntries != null2010-07-16 16:14:15