year.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


  • int compareTo(Object)

    • -/+ Kind Annotation Text Date
    U preinit'ed(o.year)2010-07-16 16:14:15
    U preinit'ed(this.year)2010-07-16 16:14:15
    U preo != null2010-07-16 16:14:15
    U preo.year - this.year in -232+1.. 2312010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == -(o.year - this.year)2010-07-16 16:14:15

  • List getArchives()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.blog.blogEntryIndex. indexEntries)2010-07-22 12:56:56
    U pre(soft) this.months != null2010-07-16 16:14:15
    U pre(soft) this.months.length >= 12010-07-16 16:14:15
    U pre(soft) this.months[...] != null2010-07-16 16:14:15
    U pre(soft) this.months[...].date != null2010-07-16 16:14:15
    +preinit'ed(this.blog.blogEntryIndex)2010-07-22 12:56:56
    U prethis.blog != null2010-07-16 16:14:15
    +prethis.blog.properties != null2010-07-22 12:56:56
    +prethis.blog.years != null2010-07-22 12:56:56
    U postnew LinkedList(getArchives#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new LinkedList(getArchives#1)2010-07-16 16:14:15
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getBlogForDay2010-07-22 12:56:56
    +unanalyzedcall on getBlogForMonth2010-07-22 12:56:56
    -unanalyzedcall on getDate2010-07-16 16:59:22
    +unanalyzedcall on getLocale2010-07-22 12:56:56
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getTimeZone2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    +unanalyzedcall on java.lang.Long:parseLong2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-22 12:56:56
    +unanalyzedcall on java.util.Calendar:getInstance2010-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.Date2010-07-22 12:56:56
    U unanalyzedcall on java.util.Date:after2010-07-16 16:14:15
    U unanalyzedcall on java.util.Date:before2010-07-16 16:14:15
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:isEmpty2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:size2010-07-22 12:56:56
    +unanalyzedcall on java.util.Locale2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.TimeZone:getTimeZone2010-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
    U test_vectorjava.util.Date:after(...)@267: {1}, {0}2010-07-16 16:14:15
    U test_vectorjava.util.Date:before(...)@256: {1}, {0}2010-07-16 16:14:15

  • Month getBlogForFirstMonth()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.months[...])2010-07-16 16:14:15
    U prethis.months != null2010-07-16 16:14:15
    U prethis.months.length >= 12010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.months[...]2010-07-16 16:14:15
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15

  • Month getBlogForMonth(int)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.months[...])2010-07-16 16:14:15
    U premonth <= this.months.length2010-07-16 16:14:15
    U premonth in 1..122010-07-16 16:14:15
    U prethis.months != null2010-07-16 16:14:15
    U prethis.months.length >= 12010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.months[...]2010-07-16 16:14:15

  • Month getBlogForNextMonth(Month)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.months[...])2010-07-16 16:14:15
    U pre(soft) month.month - this.months.length in {-Inf..-1, 12..232-1}2010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    +pre(soft) this.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.months != null2010-07-16 16:14:15
    +pre(soft) this.year <= 232-22010-07-22 12:56:56
    U premonth != null2010-07-16 16:14:15
    U premonth.month >= 02010-07-16 16:14:15
    +presumptiongetBlogForNextYear(...).months.length@142 >= 12010-07-22 12:56:56
    +presumptiongetBlogForNextYear(...).months@142 != null2010-07-22 12:56:56
    +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
    +postinit'ed(new Day[](Month#1).length)2010-07-22 12:56:56
    +postinit'ed(new Day[](Month#1)[...])2010-07-22 12:56:56
    +postinit'ed(new Month(init#2).date)2010-07-22 12:56:56
    +postinit'ed(new Month(init#2).lastDayInMonth)2010-07-22 12:56:56
    U postinit'ed(return_value)2010-07-16 16:14:15
    +postnew Day[](Month#1) num objects in {0, 12}2010-07-22 12:56:56
    +postnew Month(init#2) num objects in {0, 12}2010-07-22 12:56:56
    +postnew Month(init#2).blog != null2010-07-22 12:56:56
    +postnew Month(init#2).dailyBlogs != null2010-07-22 12:56:56
    +postnew Month(init#2).month == 132010-07-22 12:56:56
    +postnew Month(init#2).year != null2010-07-22 12:56:56
    -postreturn_value == this.months[...]2010-07-16 16:59:22
    +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.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
    U test_vectormonth.month: {12..232-1}, {0..11}2010-07-16 16:14:15

  • Month getBlogForPreviousMonth(Month)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.months[...])2010-07-16 16:14:15
    U pre(soft) month.month <= this.months.length + 12010-07-16 16:14:15
    U pre(soft) this.blog != null2010-07-16 16:14:15
    +pre(soft) this.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.months != null2010-07-16 16:14:15
    -pre(soft) this.months.length >= 12010-07-16 16:59:22
    +pre(soft) this.year >= -231+12010-07-22 12:56:56
    U premonth != null2010-07-16 16:14:15
    U premonth.month <= 132010-07-16 16:14:15
    +presumptiongetBlogForPreviousYear(...).months.length@127 >= 122010-07-22 12:56:56
    +presumptiongetBlogForPreviousYear(...).months@127 != null2010-07-22 12:56:56
    +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
    +postinit'ed(new Day[](Month#1).length)2010-07-22 12:56:56
    +postinit'ed(new Day[](Month#1)[...])2010-07-22 12:56:56
    +postinit'ed(new Month(init#2).date)2010-07-22 12:56:56
    +postinit'ed(new Month(init#2).lastDayInMonth)2010-07-22 12:56:56
    U postinit'ed(return_value)2010-07-16 16:14:15
    +postnew Day[](Month#1) num objects in {0, 12}2010-07-22 12:56:56
    +postnew Month(init#2) num objects in {0, 12}2010-07-22 12:56:56
    +postnew Month(init#2).blog != null2010-07-22 12:56:56
    +postnew Month(init#2).dailyBlogs != null2010-07-22 12:56:56
    +postnew Month(init#2).month == 132010-07-22 12:56:56
    +postnew Month(init#2).year != null2010-07-22 12:56:56
    -postreturn_value == this.months[...]2010-07-16 16:59:22
    +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.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
    U test_vectormonth.month: {-231..1}, {2..13}2010-07-16 16:14:15

  • Calendar getCalendar()

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

  • Month[] getMonths()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.months[...])2010-07-16 16:14:15
    U pre(soft) this.months != null2010-07-16 16:14:15
    U pre(soft) this.months.length >= 12010-07-16 16:14:15
    U postnew Month[](getMonths#1) num objects == 12010-07-16 16:14:15
    U postreturn_value == &new Month[](getMonths#1)2010-07-16 16:14:15
    U postreturn_value.length == 122010-07-16 16:14:15
    U postreturn_value[...] == null2010-07-16 16:14:15
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15

  • int getYear()

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

  • void init()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.year)2010-07-16 16:14:15
    U prethis.blog != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).blog)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).date)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).day)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).month)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).publishedBlogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).unpublishedBlogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day[](Month#1).length)2010-07-16 16:14:15
    U postinit'ed(new Day[](Month#1)[...])2010-07-16 16:14:15
    U postinit'ed(new Month(init#2).date)2010-07-16 16:14:15
    U postinit'ed(new Month(init#2).lastDayInMonth)2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(this.months[...])2010-07-16 16:14:15
    U postinit'ed(this.months[...])2010-07-16 16:14:15
    U postnew Day[](Month#1) num objects == 122010-07-16 16:14:15
    U postnew Month(init#2) num objects == 122010-07-16 16:14:15
    U postnew Month(init#2).blog != null2010-07-16 16:14:15
    U postnew Month(init#2).dailyBlogs != null2010-07-16 16:14:15
    U postnew Month(init#2).month == 132010-07-16 16:14:15
    U postnew Month(init#2).year != null2010-07-16 16:14:15
    U postnew Month[](init#1) num objects == 12010-07-16 16:14:15
    U postthis.months == &new Month[](init#1)2010-07-16 16:14:15
    U postthis.months.length == 122010-07-16 16:14:15
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    -unanalyzedcall on getDate2010-07-16 16:59:22
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:getTime2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:set2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:setTime2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15
    -unanalyzedcall on net.sourceforge.pebble.domain.Day2010-07-16 16:59:22
    U unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlog2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.TimePeriod2010-07-16 16:14:15
    U unanalyzedcall on setDate2010-07-16 16:14:15

  • void net.sourceforge.pebble.domain.Year(Blog, int)

    • -/+ Kind Annotation Text Date
    U preblog != null2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#1) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new ArrayList(Day#3) num objects)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2) num objects)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).blog)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).blogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).date)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).day)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).month)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).publishedBlogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day(Month#2).unpublishedBlogEntries)2010-07-16 16:14:15
    U postinit'ed(new Day[](Month#1).length)2010-07-16 16:14:15
    U postinit'ed(new Day[](Month#1)[...])2010-07-16 16:14:15
    U postinit'ed(new Month(init#2).date)2010-07-16 16:14:15
    U postinit'ed(new Month(init#2).lastDayInMonth)2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postinit'ed(this.months[...])2010-07-16 16:14:15
    U postinit'ed(this.year)2010-07-16 16:14:15
    U postnew Day[](Month#1) num objects == 122010-07-16 16:14:15
    U postnew Month(init#2) num objects == 122010-07-16 16:14:15
    U postnew Month(init#2).blog != null2010-07-16 16:14:15
    U postnew Month(init#2).dailyBlogs != null2010-07-16 16:14:15
    U postnew Month(init#2).month == 132010-07-16 16:14:15
    U postnew Month(init#2).year != null2010-07-16 16:14:15
    U postnew Month[](init#1) num objects == 12010-07-16 16:14:15
    U postthis.blog != null2010-07-16 16:14:15
    U postthis.months == &new Month[](init#1)2010-07-16 16:14:15
    U postthis.months.length == 122010-07-16 16:14:15
    U postthis.year == year2010-07-16 16:14:15
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    -unanalyzedcall on getDate2010-07-16 16:59:22
    +unanalyzedcall on getMonth2010-07-22 12:56:56
    +unanalyzedcall on getYear2010-07-22 12:56:56
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:getActualMaximum2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:getTime2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:set2010-07-16 16:14:15
    U unanalyzedcall on java.util.Calendar:setTime2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Blog:getCalendar2010-07-16 16:14:15
    -unanalyzedcall on net.sourceforge.pebble.domain.Day2010-07-16 16:59:22
    U unanalyzedcall on net.sourceforge.pebble.domain.Month2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlog2010-07-16 16:14:15
    U unanalyzedcall on net.sourceforge.pebble.domain.TimePeriod2010-07-16 16:14:15
    U unanalyzedcall on setDate2010-07-16 16:14:15

  • net.sourceforge.pebble.domain.Year__static_init

    • -/+ Kind Annotation Text Date

  • String toString()

    • -/+ Kind Annotation Text Date
    U preinit'ed(this.year)2010-07-16 16:14:15
    U postreturn_value != null2010-07-16 16:14:15