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


  • bool after(Month)

    • -/+ Kind Annotation Text Date
    U preinit'ed(month.date)2010-07-16 16:14:15
    U premonth != null2010-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

  • bool before(Month)

    • -/+ Kind Annotation Text Date
    U preinit'ed(month.date)2010-07-16 16:14:15
    U premonth != null2010-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

  • Day[] getAllDays()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    U pre(soft) init'ed(this.lastDayInMonth)2010-07-16 16:14:15
    U prethis.dailyBlogs != null2010-07-16 16:14:15
    U prethis.dailyBlogs.length <= 232-12010-07-16 16:14:15
    U prethis.lastDayInMonth - this.dailyBlogs.length in -231..232-12010-07-16 16:14:15
    U postnew Day[](getAllDays#1) num objects == 12010-07-16 16:14:15
    U postpossibly_updated(return_value[...])2010-07-16 16:14:15
    U postreturn_value == &new Day[](getAllDays#1)2010-07-16 16:14:15
    U postreturn_value.length <= 232-12010-07-16 16:14:15
    U postreturn_value.length == this.dailyBlogs.length2010-07-16 16:14:15
    U postthis.lastDayInMonth - this.dailyBlogs.length in -231..232-12010-07-16 16:14:15
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15

  • List getBlogEntries()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    U pre(soft) init'ed(this.dailyBlogs[...]. blogEntries)2010-07-16 16:14:15
    U pre(soft) init'ed(this.lastDayInMonth)2010-07-16 16:14:15
    U prethis.dailyBlogs != null2010-07-16 16:14:15
    U prethis.dailyBlogs.length <= 232-12010-07-16 16:14:15
    U prethis.lastDayInMonth - this.dailyBlogs.length in -231..232-12010-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
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    U unanalyzedcall on java.util.ArrayList2010-07-16 16:14:15

  • Day getBlogForDay(int)

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    U preday <= this.dailyBlogs.length2010-07-16 16:14:15
    U preday >= 12010-07-16 16:14:15
    U prethis.dailyBlogs != null2010-07-16 16:14:15
    U prethis.dailyBlogs.length >= 12010-07-16 16:14:15
    U prethis.lastDayInMonth - day in 0..232-22010-07-16 16:14:15
    U prethis.lastDayInMonth >= 12010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U postreturn_value == this.dailyBlogs[...]2010-07-16 16:14:15

  • Day getBlogForFirstDay()

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

  • Day getBlogForLastDay()

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

  • Day getBlogForNextDay(Day)

    • -/+ Kind Annotation Text Date
    U pre(soft) day.day < this.dailyBlogs.length2010-07-16 16:14:15
    -pre(soft) init'ed(this...dailyBlogs[...])2010-07-16 16:59:22
    U pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    +pre(soft) init'ed(this.year.months[...])2010-07-22 12:56:56
    -pre(soft) this...dailyBlogs != null2010-07-16 16:59:22
    -pre(soft) this...dailyBlogs.length >= 12010-07-16 16:59:22
    U pre(soft) this.dailyBlogs != null2010-07-16 16:14:15
    U pre(soft) this.dailyBlogs.length >= 12010-07-16 16:14:15
    U pre(soft) this.month - this.year.months.length in {-Inf..-1, 12..232-1}2010-07-16 16:14:15
    +pre(soft) this.month >= 02010-07-22 12:56:56
    U pre(soft) this.year != null2010-07-16 16:14:15
    U pre(soft) this.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.year.months != null2010-07-16 16:14:15
    -pre(soft) this.year.months[...] != null2010-07-16 16:59:22
    +pre(soft) this.year.year <= 232-22010-07-22 12:56:56
    U preday != null2010-07-16 16:14:15
    U preday.day - this.lastDayInMonth in -232+1.. 6_442_450_9432010-07-16 16:14:15
    U preinit'ed(day.day)2010-07-16 16:14:15
    U preinit'ed(this.lastDayInMonth)2010-07-16 16:14:15
    +presumptiongetBlogForNextMonth(...).dailyBlogs.length@296 >= 12010-07-22 12:56:56
    +presumptiongetBlogForNextMonth(...).dailyBlogs@296 != null2010-07-22 12:56:56
    +presumptiongetBlogForNextMonth(...).lastDayInMonth@296 >= 12010-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
    U postinit'ed(return_value)2010-07-16 16:14:15
    -postreturn_value == One-of{this.dailyBlogs[...], this...dailyBlogs[...]}2010-07-16 16:59:22
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    U unanalyzedcall on getBlogForNextYear2010-07-16 16:14:15
    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
    U test_vectorday.day - this.lastDayInMonth: {0..6_442_450_943}, {-232+1..-1}2010-07-16 16:14:15

  • Day getBlogForPreviousDay(Day)

    • -/+ Kind Annotation Text Date
    U pre(soft) day.day <= this.dailyBlogs.length + 12010-07-16 16:14:15
    -pre(soft) init'ed(this...dailyBlogs[...])2010-07-16 16:59:22
    U pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    U pre(soft) init'ed(this.lastDayInMonth)2010-07-16 16:14:15
    +pre(soft) init'ed(this.year.months[...])2010-07-22 12:56:56
    -pre(soft) this...dailyBlogs != null2010-07-16 16:59:22
    -pre(soft) this...dailyBlogs.length >= 12010-07-16 16:59:22
    U pre(soft) this.dailyBlogs != null2010-07-16 16:14:15
    U pre(soft) this.dailyBlogs.length >= 12010-07-16 16:14:15
    -pre(soft) this.month - this.year.months.length in {-Inf..1, 13..232-2}2010-07-16 16:59:22
    +pre(soft) this.month <= 132010-07-22 12:56:56
    +pre(soft) this.month <= this.year.months.length + 12010-07-22 12:56:56
    U pre(soft) this.year != null2010-07-16 16:14:15
    U pre(soft) this.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.year.months != null2010-07-16 16:14:15
    -pre(soft) this.year.months.length >= 12010-07-16 16:59:22
    -pre(soft) this.year.months[...] != null2010-07-16 16:59:22
    +pre(soft) this.year.year >= -231+12010-07-22 12:56:56
    U preday != null2010-07-16 16:14:15
    U preinit'ed(day.day)2010-07-16 16:14:15
    +presumptiongetBlogForPreviousMonth(...).dailyBlogs.length@281 >= 12010-07-22 12:56:56
    +presumptiongetBlogForPreviousMonth(...).dailyBlogs@281 != null2010-07-22 12:56:56
    +presumptiongetBlogForPreviousMonth(...).lastDayInMonth@281 >= 12010-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
    U postinit'ed(return_value)2010-07-16 16:14:15
    -postreturn_value == One-of{this.dailyBlogs[...], this...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
    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
    U test_vectorday.day: {-231..1}, {2..232-1}2010-07-16 16:14:15

  • Calendar getCalendar()

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

  • int getLastDayInMonth()

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

  • int 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

  • Month getNextMonth()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.year.months[...])2010-07-16 16:14:15
    U pre(soft) this.month - this.year.months.length in {-Inf..-1, 12..232-1}2010-07-16 16:14:15
    U pre(soft) this.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.year.months != null2010-07-16 16:14:15
    +pre(soft) this.year.year <= 232-22010-07-22 12:56:56
    U prethis.month >= 02010-07-16 16:14:15
    U prethis.year != 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
    +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.year.months[...]2010-07-16 16:59:22
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    U unanalyzedcall on getBlogForNextYear2010-07-16 16:14:15
    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 pre(soft) init'ed(this.dailyBlogs[...])2010-07-16 16:14:15
    U pre(soft) init'ed(this.lastDayInMonth)2010-07-16 16:14:15
    U pre(soft) this.dailyBlogs[...]. publishedBlogEntries != null2010-07-16 16:14:15
    U prethis.dailyBlogs != null2010-07-16 16:14:15
    U prethis.dailyBlogs.length <= 232-12010-07-16 16:14:15
    U prethis.lastDayInMonth - this.dailyBlogs.length in -231..232-12010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:size2010-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(...)@120: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    U test_vectorjava.lang.String:length(...)@121: {0}, {1..232-1}2010-07-16 16:14:15

  • Month getPreviousMonth()

    • -/+ Kind Annotation Text Date
    U pre(soft) init'ed(this.year.months[...])2010-07-16 16:14:15
    U pre(soft) this.month <= this.year.months.length + 12010-07-16 16:14:15
    U pre(soft) this.year.blog != null2010-07-16 16:14:15
    +pre(soft) this.year.blog.years != null2010-07-22 12:56:56
    U pre(soft) this.year.months != null2010-07-16 16:14:15
    -pre(soft) this.year.months.length >= 12010-07-16 16:59:22
    +pre(soft) this.year.year >= -231+12010-07-22 12:56:56
    U prethis.month <= 132010-07-16 16:14:15
    U prethis.year != 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
    +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.year.months[...]2010-07-16 16:59:22
    U unanalyzedcall on getBlog2010-07-16 16:14:15
    U unanalyzedcall on getBlogForPreviousYear2010-07-16 16:14:15
    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

  • Year 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

  • bool hasBlogEntries()

    • -/+ Kind Annotation Text Date
    U pre(soft) this.dailyBlogs != null2010-07-16 16:14:15
    U pre(soft) this.dailyBlogs.length >= 12010-07-16 16:14:15
    U pre(soft) this.dailyBlogs[...] != null2010-07-16 16:14:15
    U pre(soft) this.dailyBlogs[...]. publishedBlogEntries != null2010-07-16 16:14:15
    U pre(soft) this.lastDayInMonth <= 232-22010-07-16 16:14:15
    U postinit'ed(return_value)2010-07-16 16:14:15
    U unanalyzedcall on java.lang.IllegalArgumentException2010-07-16 16:14:15
    U unanalyzedcall on java.util.List:isEmpty2010-07-16 16:14:15

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

    • -/+ Kind Annotation Text Date
    U preinit'ed(year.year)2010-07-16 16:14:15
    U premonth >= -231+12010-07-16 16:14:15
    U preyear != null2010-07-16 16:14:15
    U preyear.blog != null2010-07-16 16:14:15
    U presumptionjava.util.Calendar:getActualMaximum(...)@71 in 0..232-22010-07-16 16:14:15
    U presumptionnet.sourceforge.pebble.domain.Blog:getCalendar(... )@69 != null2010-07-16 16:14:15
    U post(soft) new ArrayList(Day#1) num objects <= 232-22010-07-16 16:14:15
    U post(soft) new ArrayList(Day#1) num objects == java.util.Calendar:getActualMaximum(...)@712010-07-16 16:14:15
    U post(soft) new ArrayList(Day#2) num objects <= 232-22010-07-16 16:14:15
    U post(soft) new ArrayList(Day#2) num objects == java.util.Calendar:getActualMaximum(...)@712010-07-16 16:14:15
    U post(soft) new ArrayList(Day#3) num objects <= 232-22010-07-16 16:14:15
    U post(soft) new ArrayList(Day#3) num objects == java.util.Calendar:getActualMaximum(...)@712010-07-16 16:14:15
    U post(soft) new Day(Month#2) num objects <= 232-22010-07-16 16:14:15
    U post(soft) new Day(Month#2) num objects == java.util.Calendar:getActualMaximum(...)@712010-07-16 16:14:15
    U post(soft) this.lastDayInMonth in 0..232-22010-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(this.dailyBlogs[...])2010-07-16 16:14:15
    U postinit'ed(this.date)2010-07-16 16:14:15
    U postnew Day[](Month#1) num objects == 12010-07-16 16:14:15
    U postthis.blog != null2010-07-16 16:14:15
    U postthis.blog == year.blog2010-07-16 16:14:15
    U postthis.dailyBlogs == &new Day[](Month#1)2010-07-16 16:14:15
    U postthis.dailyBlogs.length == this.lastDayInMonth2010-07-16 16:14:15
    U postthis.month == month2010-07-16 16:14:15
    U postthis.month >= -231+12010-07-16 16:14:15
    U postthis.year != null2010-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 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:getTime2010-07-16 16:14:15
    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
    U unanalyzedcall on net.sourceforge.pebble.domain. Month:getBlog2010-07-16 16:14:15
    +unanalyzedcall on net.sourceforge.pebble.domain.TimePeriod2010-07-22 12:56:56
    +unanalyzedcall on setDate2010-07-22 12:56:56

  • net.sourceforge.pebble.domain.Month__static_init

    • -/+ Kind Annotation Text Date

  • String toString()

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