## blog.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 addCategory(Category)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) category.id != null | 2010-07-22 12:56:56
+ | pre | category != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tagsAsList) | 2010-07-22 12:56:56
+ | post | possibly_updated(category.blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(category.parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). subCategories) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). subCategories) | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56

- bool equals(Object)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(o.id) | 2010-07-22 12:56:56
+ | pre | (soft) this.id != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | test_vector | this == o: {0}, {1} | 2010-07-22 12:56:56

- String getAbout()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getApprovedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.responseIndex.approvedResponses) | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getApprovedResponses#1*) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getApprovedRespo nses#1*) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56

- List getArchives()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.blogEntryIndex.indexEntries) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.blogEntryIndex) | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | getBlogForFirstMonth(...).year@793 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@797 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getArchives#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getArchives#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForYear | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Long:parseLong | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:isEmpty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@797: {1}, {0} | 2010-07-22 12:56:56

- AuthorIndex getAuthorIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.authorIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.authorIndex | 2010-07-22 12:56:56

- List getBlogContributors()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.StringTokenizer:nextToken(...)@652 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogContributors#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getBlogContribu tors#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@638: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.StringTokenizer:hasMoreTokens(...)@651: {1}, {0} | 2010-07-22 12:56:56

- String getBlogContributorsAsString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:get(...)@923 != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:size(...)@922 >= -231+1 | 2010-07-22 12:56:56
+ | presumption | months[month].month@924 in 1..12 | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | y.months.length@923 >= 1 | 2010-07-22 12:56:56
+ | presumption | y.months@923 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getBlogEntries#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getBlogEntries#1 ) | 2010-07-22 12:56:56
+ | unanalyzed | call on clone | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56
+ | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on setPersistent | 2010-07-22 12:56:56

- List getBlogEntries(List)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntryIds != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getBlogEntries# 2) | 2010-07-22 12:56:56
+ | test_vector | getBlogEntry(...)@1071: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1069: {1}, {0} | 2010-07-22 12:56:56

- BlogEntryIndex getBlogEntryIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.blogEntryIndex | 2010-07-22 12:56:56

- List getBlogEntryListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- Day getBlogForDay(int, int, int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | day >= 1 | 2010-07-22 12:56:56
+ | pre | month in 1..12 | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | getBlogForMonth(...).dailyBlogs.length@867 >= 1 | 2010-07-22 12:56:56
+ | presumption | getBlogForMonth(...).dailyBlogs@867 != null | 2010-07-22 12:56:56
+ | presumption | getBlogForMonth(...).lastDayInMonth@867 >= 1 | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Day getBlogForDay(Date)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:get(...)@843 in 0..11 | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:get(...)@844 >= 1 | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:getInstance(...)@329 != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Month getBlogForFirstMonth()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.blogEntryIndex.indexEntries) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | (soft) this.years != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.blogEntryIndex) | 2010-07-22 12:56:56
+ | presumption | java.util.List:size(...)@822 >= -231+1 | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56
+ | test_vector | java.util.List:get(...)@822: Inverse{null}, Addr_Set{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.List:isEmpty(...)@818: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | this.blogEntryIndex: Inverse{null}, Addr_Set{null} | 2010-07-22 12:56:56

- Month getBlogForMonth(int, int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | month in 1..12 | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | getBlogForYear(...).months.length@878 >= 1 | 2010-07-22 12:56:56
+ | presumption | getBlogForYear(...).months@878 != null | 2010-07-22 12:56:56
+ | presumption | month <= getBlogForYear(...).months.length@878 | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Year getBlogForNextYear(Year)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | pre | year != null | 2010-07-22 12:56:56
+ | pre | year.year <= 232-2 | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).months[...]) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | post | new Month[](init#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).blog != null | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months == &new Month[](init#1) | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months.length == 12 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).year == year.year + 1 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).year >= -231+1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Year getBlogForPreviousYear(Year)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | pre | year != null | 2010-07-22 12:56:56
+ | pre | year.year >= -231+1 | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).months[...]) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | post | new Month[](init#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).blog != null | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months == &new Month[](init#1) | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months.length == 12 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).year <= 232-2 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).year == year.year - 1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Month getBlogForThisMonth()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:get(...)@888 in 0..11 | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:getInstance(...)@329 != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Year getBlogForThisYear()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:getInstance(...)@329 != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).months[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).year) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | post | new Month[](init#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).blog != null | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months == &new Month[](init#1) | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months.length == 12 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Day getBlogForToday()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.Calendar:getInstance(...)@329 != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- Year getBlogForYear(int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@754 != null | 2010-07-22 12:56:56
+ | post | (soft) return_value != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Day#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).day) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).month) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).publishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day(Month#2).unpublishedBlogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1).length) | 2010-07-22 12:56:56
+ | post | init'ed(new Day[](Month#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Month(init#2).lastDayInMonth) | 2010-07-22 12:56:56
+ | post | init'ed(new Month[](init#1)[...]) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).date) | 2010-07-22 12:56:56
+ | post | init'ed(new Year(getBlogForYear#1).year) | 2010-07-22 12:56:56
+ | post | new Day[](Month#1) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2) num objects in {0, 12} | 2010-07-22 12:56:56
+ | post | new Month(init#2).blog != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).dailyBlogs != null | 2010-07-22 12:56:56
+ | post | new Month(init#2).month == 13 | 2010-07-22 12:56:56
+ | post | new Month(init#2).year != null | 2010-07-22 12:56:56
+ | post | new Month[](init#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new Month[](init#1).length == 12 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).blog != null | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).months == &new Month[](init#1) | 2010-07-22 12:56:56
+ | post | new Year(getBlogForYear#1).year == year | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@753: {1}, {0} | 2010-07-22 12:56:56

- List getBlogListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- List getBlogOwners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.StringTokenizer:nextToken(...)@596 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogOwners#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getBlogOwners#1 ) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@582: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.StringTokenizer:hasMoreTokens(...)@595: {1}, {0} | 2010-07-22 12:56:56

- String getBlogOwnersAsString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getBlogPublishers()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.StringTokenizer:nextToken(...)@624 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogPublishers#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getBlogPublishe rs#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@610: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.StringTokenizer:hasMoreTokens(...)@623: {1}, {0} | 2010-07-22 12:56:56

- String getBlogPublishersAsString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getBlogReaders()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.StringTokenizer:nextToken(...)@680 != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogReaders#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new LinkedList(getBlogReaders# 1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@666: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.StringTokenizer:hasMoreTokens(...)@679: {1}, {0} | 2010-07-22 12:56:56

- String getBlogReadersAsString()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getCategories()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).subCategories) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).subCategories) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56
+ | post | new ArrayList(getCategories#1*) num objects == 1 | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getCategories#1* ) | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56

- Category getCategory(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2*). subCategories) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3*). subCategories) | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56

- CategoryIndex getCategoryIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.categoryIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.categoryIndex | 2010-07-22 12:56:56

- CommentConfirmationStrategy getCommentConfirmationStrategy()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.commentConfirmationStrategy) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.commentConfirmationStrategy | 2010-07-22 12:56:56

- String getCommentConfirmationStrategyName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- List getCommentListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- ContentDecoratorChain getContentDecoratorChain()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.decoratorChain) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.decoratorChain | 2010-07-22 12:56:56

- List getContentDecorators()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- Date getDateOfLastResponse()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.responseIndex.approvedResponses) | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:get(...)@1284 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new Date(getDateOfLastResponse#1) num objects <= 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on clone | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getComments | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getResponse | 2010-07-22 12:56:56
+ | unanalyzed | call on getTrackBack | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Long:parseLong | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on setPersistent | 2010-07-22 12:56:56
+ | test_vector | java.util.List:size(...)@1283: {-231..0}, {1..232-1} | 2010-07-22 12:56:56

- Properties getDefaultProperties()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | new Properties(getDefaultProperties#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Properties(getDefaultPrope rties#1) | 2010-07-22 12:56:56

- Theme getEditableTheme()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.editableTheme) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.editableTheme | 2010-07-22 12:56:56

- String getEmail()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- Collection getEmailAddresses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.Properties:getProperty(...)@549 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- EmailSubscriptionList getEmailSubscriptionList()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.emailSubscriptionList) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.emailSubscriptionList | 2010-07-22 12:56:56

- EventDispatcher getEventDispatcher()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.eventDispatcher) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.eventDispatcher | 2010-07-22 12:56:56

- String getEventDispatcherName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- EventListenerList getEventListenerList()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.eventListenerList) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.eventListenerList | 2010-07-22 12:56:56

- String getFilesDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.root) | 2010-07-22 12:56:56
+ | presumption | init'ed(java.io.File.separator) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56

- String getFirstEmailAddress()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Arrays:asList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.util.Arrays:asList(...)@558: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Collection:isEmpty(...)@568: {1}, {0} | 2010-07-22 12:56:56

- String getHomePage()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- String getId()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.id | 2010-07-22 12:56:56

- Date getLastModified()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex.publishedIndexEntries) | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:get(...)@1270 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new Date(getLastModified#1) num objects == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on clone | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on setPersistent | 2010-07-22 12:56:56
+ | test_vector | java.util.List:size(...)@1269: {-231..0, 2..232-1}, {1} | 2010-07-22 12:56:56

- AbstractLogger getLogger()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.logger) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.logger | 2010-07-22 12:56:56

- String getLoggerName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- String getLuceneAnalyzer()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- List getNewsFeedEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | post | new LinkedList(getNewsFeedEntries#1*) num objects <= 1 | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56

- BlogEntry getNextBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.date) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.id) | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | pre | this.years != null | 2010-07-22 12:56:56
+ | presumption | day.day - day.month.lastDayInMonth@1317 in -232+1..6_442_450_943 | 2010-07-22 12:56:56
+ | presumption | day.day < day.month.dailyBlogs.length@1317 | 2010-07-22 12:56:56
+ | presumption | day.month.dailyBlogs.length@1317 >= 1 | 2010-07-22 12:56:56
+ | presumption | day.month.dailyBlogs@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.month.month@1317 - day.month.year.months. length@1317 in {-Inf..-1, 12..232-1} | 2010-07-22 12:56:56
+ | presumption | day.month.month@1317 >= 0 | 2010-07-22 12:56:56
+ | presumption | day.month.year.blog.years@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.blog@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.months@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.year@1317 <= 232-2 | 2010-07-22 12:56:56
+ | presumption | day.month.year@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.month@1317 != null | 2010-07-22 12:56:56
+ | presumption | day.publishedBlogEntries@1315 != null | 2010-07-22 12:56:56
+ | presumption | day.publishedBlogEntries@1319 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForFirstDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForNextDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForNextYear | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:isEmpty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- int getNumberOfApprovedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.approvedResponses != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex.indexEntries != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfPendingResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.pendingResponses != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfPublishedBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex.publishedIndexEntries != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfRejectedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.rejectedResponses != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.approvedResponses != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.pendingResponses != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex.rejectedResponses != null | 2010-07-22 12:56:56
+ | presumption | java.util.List:size(...)@202 + java.util. List:size(...)@193 + java.util.List:size(...)@211 in -231..232-1 | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- int getNumberOfStaticPages()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.staticPageIndex != null | 2010-07-22 12:56:56
+ | pre | this.staticPageIndex.index != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:size | 2010-07-22 12:56:56

- int getNumberOfUnpublishedBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex.unpublishedIndexEntries != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56

- List getPendingResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.responseIndex.pendingResponses) | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getPendingResponses#1*) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getPendingRespon ses#1*) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56

- PermalinkProvider getPermalinkProvider()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.permalinkProvider) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.permalinkProvider | 2010-07-22 12:56:56

- String getPermalinkProviderName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- PluginProperties getPluginProperties()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.pluginProperties) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.pluginProperties | 2010-07-22 12:56:56

- String getPluginPropertiesFile()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.root) | 2010-07-22 12:56:56
+ | presumption | init'ed(java.io.File.separator) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56

- BlogEntry getPreviousBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.blogEntryIndex.indexEntries) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | (soft) this.years != null | 2010-07-22 12:56:56
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.date) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.id) | 2010-07-22 12:56:56
+ | pre | init'ed(this.blogEntryIndex) | 2010-07-22 12:56:56
+ | presumption | day.day <= day.month.dailyBlogs.length@1294 + 1 | 2010-07-22 12:56:56
+ | presumption | day.month.dailyBlogs.length@1294 >= 1 | 2010-07-22 12:56:56
+ | presumption | day.month.dailyBlogs@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.month.month@1294 <= 13 | 2010-07-22 12:56:56
+ | presumption | day.month.month@1294 <= day.month.year.months. length@1294 + 1 | 2010-07-22 12:56:56
+ | presumption | day.month.year.blog.years@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.blog@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.months.length@1294 in range | 2010-07-22 12:56:56
+ | presumption | day.month.year.months@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.month.year.year@1294 >= -231+1 | 2010-07-22 12:56:56
+ | presumption | day.month.year@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.month@1294 != null | 2010-07-22 12:56:56
+ | presumption | day.publishedBlogEntries@1292 != null | 2010-07-22 12:56:56
+ | presumption | day.publishedBlogEntries@1296 != null | 2010-07-22 12:56:56
+ | presumption | getBlogForFirstMonth(...).dailyBlogs.length@1291 >= 1 | 2010-07-22 12:56:56
+ | presumption | getBlogForFirstMonth(...).dailyBlogs@1291 != null | 2010-07-22 12:56:56
+ | presumption | getBlogForFirstMonth(...).lastDayInMonth@1291 >= 1 | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForPreviousDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForPreviousYear | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Long:parseLong | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:isEmpty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- List getRecentApprovedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.responseIndex.approvedResponses) | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | presumption | getBlogEntry(...).state@1181 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@1179 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | response.blogEntry@1181 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentApprovedResponses#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentApprove dResponses#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on clone | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getComments | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getResponse | 2010-07-22 12:56:56
+ | unanalyzed | call on getTrackBack | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Long:parseLong | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on setPersistent | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1179: {1}, {0} | 2010-07-22 12:56:56

- List getRecentBlogEntries(int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex.indexEntries) | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentBlogEnt ries#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1005: {1}, {0} | 2010-07-22 12:56:56

- List getRecentNewsFeedEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | new LinkedList(getNewsFeedEntries#1*) num objects <= 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on getNewsFeedEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- List getRecentPublishedBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex.publishedIndexEntries) | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentPublishedBlogEntries#2*) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2*) | 2010-07-22 12:56:56
+ | unanalyzed | call on clone | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on loadBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:get | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:put | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Element:getValue | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on setEventsEnabled | 2010-07-22 12:56:56
+ | unanalyzed | call on setPersistent | 2010-07-22 12:56:56

- List getRecentPublishedBlogEntries(int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex.publishedIndexEntries) | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | test_vector | getBlogEntry(...)@1048: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1042: {1}, {0} | 2010-07-22 12:56:56

- List getRecentPublishedBlogEntries(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | this.authorIndex != null | 2010-07-22 12:56:56
+ | pre | this.authorIndex.authors != null | 2010-07-22 12:56:56
+ | presumption | blogEntry.state@1125 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1125 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | this.properties@1125 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | getBlogEntry(...)@1125: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1123: {1}, {0} | 2010-07-22 12:56:56

- List getRecentPublishedBlogEntries(Category)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | category != null | 2010-07-22 12:56:56
+ | pre | init'ed(category.blogEntries) | 2010-07-22 12:56:56
+ | pre | this.categoryIndex != null | 2010-07-22 12:56:56
+ | presumption | blogEntry.state@1096 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1096 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | this.properties@1096 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | getBlogEntry(...)@1096: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1094: {1}, {0} | 2010-07-22 12:56:56

- List getRecentPublishedBlogEntries(Tag)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.tagIndex.blog) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(tag.name) | 2010-07-22 12:56:56
+ | pre | tag != null | 2010-07-22 12:56:56
+ | pre | this.tagIndex != null | 2010-07-22 12:56:56
+ | pre | this.tagIndex.tags != null | 2010-07-22 12:56:56
+ | presumption | blogEntry.state@1154 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1154 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | this.properties@1154 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2) | 2010-07-22 12:56:56
+ | unanalyzed | call on encode | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Integer:parseInt | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:replaceAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.index.IndexedTag | 2010-07-22 12:56:56
+ | test_vector | getBlogEntry(...)@1154: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@1152: {1}, {0} | 2010-07-22 12:56:56

- RefererFilterManager getRefererFilterManager()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.refererFilterManager) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.refererFilterManager | 2010-07-22 12:56:56

- List getRejectedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.responseIndex.rejectedResponses) | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getRejectedResponses#1*) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getRejectedRespo nses#1*) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56

- String getRelativeUrl()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.id) | 2010-07-22 12:56:56
+ | pre | init'ed(net/sourceforge/pebble/domain/BlogManager. instance.multiBlog) | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/BlogManager.instance != null | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | test_vector | net/sourceforge/pebble/domain/BlogManager.instance. multiBlog: {0}, {1} | 2010-07-22 12:56:56

- ResponseIndex getResponseIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.responseIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.responseIndex | 2010-07-22 12:56:56

- Category getRootCategory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.rootCategory | 2010-07-22 12:56:56

- SearchIndex getSearchIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.searchIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.searchIndex | 2010-07-22 12:56:56

- StaticPageIndex getStaticPageIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.staticPageIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.staticPageIndex | 2010-07-22 12:56:56

- List getStringsFromProperty(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | values.length@1845 <= 232-1 | 2010-07-22 12:56:56
+ | presumption | values[i]@1845 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@1844: {0}, {1..232-1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:startsWith(...)@1847: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@175: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- Tag getTag(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | new Tag(getTag#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new Tag(getTag#1) | 2010-07-22 12:56:56
+ | post | return_value.blog != null | 2010-07-22 12:56:56
+ | post | return_value.blog == this | 2010-07-22 12:56:56
+ | post | return_value.name != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:replaceAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56

- TagIndex getTagIndex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.tagIndex) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.tagIndex | 2010-07-22 12:56:56

- List getTags()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.tagIndex.orderedTags) | 2010-07-22 12:56:56
+ | pre | this.tagIndex != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getTags#1*) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getTags#1*) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56

- String getThemeDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.root) | 2010-07-22 12:56:56
+ | presumption | init'ed(java.io.File.separator) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56

- TrackBackConfirmationStrategy getTrackBackConfirmationStrategy()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.trackBackConfirmationStrategy) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.trackBackConfirmationStrategy | 2010-07-22 12:56:56

- String getTrackBackConfirmationStrategyName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- List getTrackBackListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getStringsFromProperty#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getStringsFromPr operty#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56

- List getUnpublishedBlogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.blogEntryIndex.unpublishedIndexEntries ) | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | new ArrayList(getUnpublishedBlogEntries#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == &new ArrayList(getUnpublishedBl ogEntries#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@947: {1}, {0} | 2010-07-22 12:56:56

- String getUrl()

-/+ | 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.id) | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56
+ | presumption | java.lang.String:indexOf(...)@503 <= 232-4 | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@496 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@496 != null | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | test_vector | config.url@496: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56
+ | test_vector | config.virtualHostingEnabled@496: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:length(...)@499: {1.. 232-1}, {0} | 2010-07-22 12:56:56
+ | test_vector | net/sourceforge/pebble/domain/BlogManager.instance. multiBlog: {0}, {1} | 2010-07-22 12:56:56

- Collection getUsersInRole(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_CONTRIBUTOR_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_PUBLISHER_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(net/sourceforge/pebble/Constants.BLOG_ OWNER_ROLE) | 2010-07-22 12:56:56
+ | pre | roleName != null | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogContributors#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogOwners#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogPublishers#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new LinkedList(getBlogReaders#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new LinkedList(getUsersInRole#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | return_value == One-of{&new LinkedList(getBlogO wners#1), &new LinkedList(getBlogPublishers#1), &new LinkedList(getBlogContributors#1), &new LinkedList(getUsersInRole#1), &new LinkedList(getBlogReaders#1)} | 2010-07-22 12:56:56
+ | post | return_value in Addr_Set{&new LinkedList(getUse rsInRole#1),&new LinkedList(getBlogContributors #1),&new LinkedList(getBlogReaders#1),&new LinkedList(getBlogOwners#1),&new LinkedList(getBlogPublishers#1)} | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer:hasMoreTokens | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer:nextToken | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@714: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@716: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@718: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@720: {0}, {1} | 2010-07-22 12:56:56

- List getYears()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.years) | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | post | return_value == this.years | 2010-07-22 12:56:56

- void init()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.categoryDAO != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | init'ed(this.root) | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@199 != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@232 != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@241 != null | 2010-07-22 12:56:56
+ | post | (soft) init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).id) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).parent) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*). subCategories) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2*).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).blog) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).id) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).parent) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*). subCategories) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3*).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new DefaultEventDispatcher(initEventDispatc her#2).eventListenerList) | 2010-07-22 12:56:56
+ | post | init'ed(this.eventDispatcher.eventListenerList) | 2010-07-22 12:56:56
+ | post | init'ed(this.logger) | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | init'ed(this.refererFilterManager.nextId) | 2010-07-22 12:56:56
+ | post | init'ed(this.staticPageIndex.lockAttempts) | 2010-07-22 12:56:56
+ | post | new ArrayList(BlogEntryIndex#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(BlogEntryIndex#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(BlogEntryIndex#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(ContentDecoratorChain#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#4) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(ResponseIndex#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(ResponseIndex#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(ResponseIndex#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(TagIndex#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(getRefererFilters#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(init#5) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(readIndex#1) num objects == 3 | 2010-07-22 12:56:56
+ | post | new ArrayList(recalculateTagRankings#2) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new AuthorIndex(init#11) num objects == 1 | 2010-07-22 12:56:56
+ | post | new BlogEntryIndex(init#7) num objects == 1 | 2010-07-22 12:56:56
+ | post | new CategoryIndex(init#10) num objects == 1 | 2010-07-22 12:56:56
+ | post | new CombinedLogFormatLogger(initLogger#4) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new ContentDecoratorChain(init#13) num objects == 1 | 2010-07-22 12:56:56
+ | post | new DefaultConfirmationStrategy(init#15) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new DefaultConfirmationStrategy(init#17) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new DefaultEventDispatcher(initEventDispatcher#2) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new DefaultPermalinkProvider(init#2) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new EmailSubscriptionList(init#18) num objects == 1 | 2010-07-22 12:56:56
+ | post | new EventListenerList(initEventDispatcher#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(AuthorIndex#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(StaticPageIndex#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new HashMap(TagIndex#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new LinkedList(EmailSubscriptionList#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new PluginProperties(init#4) num objects == 1 | 2010-07-22 12:56:56
+ | post | new Properties(loadProperties#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new RefererFilterManager(init#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ResponseIndex(init#8) num objects == 1 | 2010-07-22 12:56:56
+ | post | new SearchIndex(init#6) num objects == 1 | 2010-07-22 12:56:56
+ | post | new StaticPageIndex(init#12) num objects == 1 | 2010-07-22 12:56:56
+ | post | new TagIndex(init#9) num objects == 1 | 2010-07-22 12:56:56
+ | post | this.authorIndex == &new AuthorIndex(init#11) | 2010-07-22 12:56:56
+ | post | this.authorIndex.authors == &new HashMap(AuthorIndex#1) | 2010-07-22 12:56:56
+ | post | this.authorIndex.blog != null | 2010-07-22 12:56:56
+ | post | this.authorIndex.blog == this | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex == &new BlogEntryIndex(init #7) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.indexEntries == &new ArrayList(BlogEntryIndex#1) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.publishedIndexEntries == &new ArrayList(BlogEntryIndex#2) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.unpublishedIndexEntries == &new ArrayList(BlogEntryIndex#3) | 2010-07-22 12:56:56
+ | post | this.categoryIndex == &new CategoryIndex(init#1 0) | 2010-07-22 12:56:56
+ | post | this.categoryIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.commentConfirmationStrategy != null | 2010-07-22 12:56:56
+ | post | this.decoratorChain == &new ContentDecoratorCha in(init#13) | 2010-07-22 12:56:56
+ | post | this.decoratorChain.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.decoratorChain.decorators == &new ArrayList(ContentDecoratorChain#1) | 2010-07-22 12:56:56
+ | post | this.emailSubscriptionList == &new EmailSubscriptionList(init#18) | 2010-07-22 12:56:56
+ | post | this.emailSubscriptionList.blog == this. authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.emailSubscriptionList.emailAddresses == &new LinkedList(EmailSubscriptionList#1) | 2010-07-22 12:56:56
+ | post | this.eventDispatcher != null | 2010-07-22 12:56:56
+ | post | this.eventListenerList == &new EventListenerLis t(initEventDispatcher#1) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.blogEntryListeners == &new ArrayList(EventListenerList#2) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.blogListeners == &new ArrayList(EventListenerList#1) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.commentListeners == &new ArrayList(EventListenerList#3) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.trackBackListeners == &new ArrayList(EventListenerList#4) | 2010-07-22 12:56:56
+ | post | this.permalinkProvider != null | 2010-07-22 12:56:56
+ | post | this.pluginProperties == &new PluginProperties( init#4) | 2010-07-22 12:56:56
+ | post | this.properties == &new Properties(loadProperti es#1) | 2010-07-22 12:56:56
+ | post | this.refererFilterManager == &new RefererFilterManager(init#3) | 2010-07-22 12:56:56
+ | post | this.refererFilterManager.filters == One-of{&new ArrayList(getRefererFilters#1), undefined} | 2010-07-22 12:56:56
+ | post | this.refererFilterManager.filters in Addr_Set{null,&new ArrayList(getRefererFilters #1)} | 2010-07-22 12:56:56
+ | post | this.refererFilterManager.rootBlog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.responseIndex == &new ResponseIndex(init#8 ) | 2010-07-22 12:56:56
+ | post | this.responseIndex.approvedResponses == &new ArrayList(readIndex#1) | 2010-07-22 12:56:56
+ | post | this.responseIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.responseIndex.pendingResponses == &new ArrayList(readIndex#1) | 2010-07-22 12:56:56
+ | post | this.responseIndex.rejectedResponses == &new ArrayList(readIndex#1) | 2010-07-22 12:56:56
+ | post | this.searchIndex == &new SearchIndex(init#6) | 2010-07-22 12:56:56
+ | post | this.searchIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.staticPageIndex == &new StaticPageIndex(in it#12) | 2010-07-22 12:56:56
+ | post | this.staticPageIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.staticPageIndex.index == &new HashMap(StaticPageIndex#1) | 2010-07-22 12:56:56
+ | post | this.tagIndex == &new TagIndex(init#9) | 2010-07-22 12:56:56
+ | post | this.tagIndex.blog == this.authorIndex.blog | 2010-07-22 12:56:56
+ | post | this.tagIndex.orderedTags == One-of{&new ArrayList(TagIndex#2), &new ArrayList(recalcul ateTagRankings#2)} | 2010-07-22 12:56:56
+ | post | this.tagIndex.orderedTags in Addr_Set{&new ArrayList(TagIndex#2),&new ArrayList(recalcula teTagRankings#2)} | 2010-07-22 12:56:56
+ | post | this.tagIndex.tags == &new HashMap(TagIndex#1) | 2010-07-22 12:56:56
+ | post | this.trackBackConfirmationStrategy != null | 2010-07-22 12:56:56
+ | post | this.years == &new ArrayList(init#5) | 2010-07-22 12:56:56
+ | unanalyzed | call on addBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addPublishedBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addUnpublishedBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on calculateRank | 2010-07-22 12:56:56
+ | unanalyzed | call on encode | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntryListeners | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getConfiguredFactory | 2010-07-22 12:56:56
+ | unanalyzed | call on getContentDecorators | 2010-07-22 12:56:56
+ | unanalyzed | call on getDefaultProperties | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getNumberOfBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on getRefererFilterDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getRefererFilters | 2010-07-22 12:56:56
+ | unanalyzed | call on getStringsFromProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedReader | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedReader:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedReader:readLine | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdirs | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileReader | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:forName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getConstructor | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Long:parseLong | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Math:round | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:replaceAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Throwable:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.reflect.Constructor:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:remove | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:values | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:load | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.regex.Pattern:compile | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. EventDispatcher | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.confirmation. AbstractConfirmationStrategy | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion:printStackTrace | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.decorator. ContentDecoratorSupport | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.event.blogentry. BlogEntryListenerSupport | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.index.IndexedTag | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.logging. CombinedLogFormatLogger | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56

- void initBlogEntryListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList.blogEntryListeners != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@321 != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Throwable:getMessage(...)@344 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@319 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.event.blogentry. BlogEntryListenerSupport | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@319: {1}, {0} | 2010-07-22 12:56:56

- void initBlogListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | (soft) this.eventListenerList.blogListeners != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@303 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@301 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | unanalyzed | call on getStringsFromProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@301: {1}, {0} | 2010-07-22 12:56:56

- void initCommentListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList.commentListeners != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@360 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@358 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | unanalyzed | call on getStringsFromProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@358: {1}, {0} | 2010-07-22 12:56:56

- void initDecorators()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.decoratorChain != null | 2010-07-22 12:56:56
+ | pre | this.decoratorChain.decorators != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@404 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@402 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | unanalyzed | call on getStringsFromProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.decorator. ContentDecoratorSupport | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@402: {1}, {0} | 2010-07-22 12:56:56

- void initEventDispatcher()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@285 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(new DefaultEventDispatcher(initEventDispatc her#2).eventListenerList) | 2010-07-22 12:56:56
+ | post | init'ed(this.eventDispatcher.eventListenerList) | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(EventListenerList#4) num objects == 1 | 2010-07-22 12:56:56
+ | post | new DefaultEventDispatcher(initEventDispatcher#2) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new EventListenerList(initEventDispatcher#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | this.eventDispatcher != null | 2010-07-22 12:56:56
+ | post | this.eventListenerList == &new EventListenerLis t(initEventDispatcher#1) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.blogEntryListeners == &new ArrayList(EventListenerList#2) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.blogListeners == &new ArrayList(EventListenerList#1) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.commentListeners == &new ArrayList(EventListenerList#3) | 2010-07-22 12:56:56
+ | post | this.eventListenerList.trackBackListeners == &new ArrayList(EventListenerList#4) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. EventDispatcher | 2010-07-22 12:56:56

- void initLogger()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@267 != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:getConstructor(...)@268 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.logger) | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | new CombinedLogFormatLogger(initLogger#4) num objects <= 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56

- void initTrackBackListeners()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
+ | pre | (soft) this.messages != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | this.eventListenerList.trackBackListeners != null | 2010-07-22 12:56:56
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Class:forName(...)@381 != null | 2010-07-22 12:56:56
+ | presumption | java.util.Iterator:next(...)@379 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | unanalyzed | call on getStringsFromProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:split | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | test_vector | java.util.Iterator:hasNext(...)@379: {1}, {0} | 2010-07-22 12:56:56

- bool isPrivate()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.Properties:getProperty(...)@1563 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- bool isPublic()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | presumption | java.util.Properties:getProperty(...)@1554 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56

- bool isRichTextEditorForCommentsEnabled()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | this.properties != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equalsIgnoreCase(...)@1822: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.util.Properties:getProperty(...)@175: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- bool isUserInRole(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_CONTRIBUTOR_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_PUBLISHER_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE) | 2010-07-22 12:56:56
+ | pre | (soft) this.properties != null | 2010-07-22 12:56:56
+ | pre | init'ed(net/sourceforge/pebble/Constants.BLOG_ OWNER_ROLE) | 2010-07-22 12:56:56
+ | pre | roleName != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogPublishers | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogReaders | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer:hasMoreTokens | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.StringTokenizer:nextToken | 2010-07-22 12:56:56
+ | test_vector | java.util.Collection:contains(...)@737: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.util.Collection:isEmpty(...)@737: {1}, {0} | 2010-07-22 12:56:56

- - void log(HttpServletRequest, int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- + void log(HttpServletRequest, int)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) this.logger != null | 2010-07-22 12:56:56
+ | pre | request != null | 2010-07-22 12:56:56
+ | presumption | javax.servlet.http.HttpServletRequest:getAttribute( ...)@1493 != null | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:matches(...)@1494: {1}, {0} | 2010-07-22 12:56:56

- void net.sourceforge.pebble.domain.Blog(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.blog) | 2010-07-22 12:56:56
+ | post | init'ed(this.id) | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | init'ed(this.root) | 2010-07-22 12:56:56
+ | post | new LinkedList(AbstractBlog#1) num objects == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56

- net.sourceforge.pebble.domain.Blog__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(log) | 2010-07-22 12:56:56

- void reindex()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | presumption | net/sourceforge/pebble/dao/DAOFactory. configuredFactory.staticPageDAO@1740 != null | 2010-07-22 12:56:56
+ | presumption | net/sourceforge/pebble/dao/DAOFactory. configuredFactory@1740 != null | 2010-07-22 12:56:56
+ | presumption | net/sourceforge/pebble/domain/AbstractBlog. log@1740 != null | 2010-07-22 12:56:56
+ | presumption | net/sourceforge/pebble/domain/BlogManager. instance@1740 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | presumption | this...properties@1740 != null | 2010-07-22 12:56:56
+ | presumption | this.messages@1740 != null | 2010-07-22 12:56:56
+ | presumption | this.searchIndex.blog@1740 != null | 2010-07-22 12:56:56
+ | presumption | this.searchIndex@1740 != null | 2010-07-22 12:56:56
+ | presumption | this.staticPageIndex.blog@1740 != null | 2010-07-22 12:56:56
+ | presumption | this.staticPageIndex.lockAttempts@1740 <= 232-2 | 2010-07-22 12:56:56
+ | presumption | this.staticPageIndex@1740 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | new HashMap(reindex#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | possibly_updated(this.staticPageIndex.index) | 2010-07-22 12:56:56
+ | post | possibly_updated(this.staticPageIndex. lockAttempts) | 2010-07-22 12:56:56
+ | unanalyzed | call on getAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on getContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocalPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getLuceneAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalinkProvider | 2010-07-22 12:56:56
+ | unanalyzed | call on getStaticPageDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on getTruncatedContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getUrl | 2010-07-22 12:56:56
+ | unanalyzed | call on index | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:createNewFile | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:delete | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:forName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on loadStaticPage | 2010-07-22 12:56:56
+ | unanalyzed | call on loadStaticPages | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.DateField:dateTo String | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document:add | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Keyword | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Text | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnIndexed | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnStored | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:close | 2010-07-22 12:56:56

- void reindexBlogEntries()

-/+ | 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...rootCategory) | 2010-07-22 12:56:56
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null | 2010-07-22 12:56:56
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 2010-07-22 12:56:56
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null | 2010-07-22 12:56:56
+ | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/file/FileBlogEntr yDAO.log != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56
+ | pre | (soft) this...properties != null | 2010-07-22 12:56:56
+ | pre | (soft) this...years != null | 2010-07-22 12:56:56
+ | pre | (soft) this.authorIndex.blog != null | 2010-07-22 12:56:56
+ | pre | (soft) this.blogEntryIndex.blog != null | 2010-07-22 12:56:56
+ | pre | (soft) this.responseIndex.blog != null | 2010-07-22 12:56:56
+ | pre | (soft) this.responseIndex.pendingResponses != null | 2010-07-22 12:56:56
+ | pre | (soft) this.responseIndex.rejectedResponses != null | 2010-07-22 12:56:56
+ | pre | (soft) this.tagIndex.blog != null | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/AbstractBlog.log != null | 2010-07-22 12:56:56
+ | pre | this.authorIndex != null | 2010-07-22 12:56:56
+ | pre | this.blogEntryIndex != null | 2010-07-22 12:56:56
+ | pre | this.categoryIndex != null | 2010-07-22 12:56:56
+ | pre | this.categoryIndex.blog != null | 2010-07-22 12:56:56
+ | pre | this.messages != null | 2010-07-22 12:56:56
+ | pre | this.responseIndex != null | 2010-07-22 12:56:56
+ | pre | this.searchIndex != null | 2010-07-22 12:56:56
+ | pre | this.searchIndex.blog != null | 2010-07-22 12:56:56
+ | pre | this.tagIndex != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Object:getClass(...)@1763 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(removeAllBlogEntries#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | new ArrayList(clear#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(clear#2) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(clear#3) num objects == 1 | 2010-07-22 12:56:56
+ | post | new ArrayList(recalculateTagRankings#2) num objects <= 1 | 2010-07-22 12:56:56
+ | post | new HashMap(clear#1) num objects == 1 | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-22 12:56:56
+ | post | this.authorIndex.authors == &new HashMap(clear#1) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.indexEntries == &new ArrayList(clear#1) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.publishedIndexEntries == &new ArrayList(clear#2) | 2010-07-22 12:56:56
+ | post | this.blogEntryIndex.unpublishedIndexEntries == &new ArrayList(clear#3) | 2010-07-22 12:56:56
+ | post | this.responseIndex.approvedResponses == &new ArrayList(clear#1) | 2010-07-22 12:56:56
+ | post | this.responseIndex.pendingResponses == &new ArrayList(clear#2) | 2010-07-22 12:56:56
+ | post | this.responseIndex.rejectedResponses == &new ArrayList(clear#3) | 2010-07-22 12:56:56
+ | post | this.tagIndex.orderedTags == One-of{old this.tagIndex.orderedTags, &new ArrayList(recalculateTagRankings#2)} | 2010-07-22 12:56:56
+ | post | this.tagIndex.tags == &new HashMap(clear#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on addBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addPublishedBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addUnpublishedBlogEntry | 2010-07-22 12:56:56
+ | unanalyzed | call on calculateRank | 2010-07-22 12:56:56
+ | unanalyzed | call on encode | 2010-07-22 12:56:56
+ | unanalyzed | call on getAllTags | 2010-07-22 12:56:56
+ | unanalyzed | call on getAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForDay | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogForMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getComments | 2010-07-22 12:56:56
+ | unanalyzed | call on getContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on getExcerpt | 2010-07-22 12:56:56
+ | unanalyzed | call on getGuid | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocalPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on getLuceneAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | unanalyzed | call on getNumberOfBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalinkProvider | 2010-07-22 12:56:56
+ | unanalyzed | call on getResponses | 2010-07-22 12:56:56
+ | unanalyzed | call on getRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getState | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on getTrackBacks | 2010-07-22 12:56:56
+ | unanalyzed | call on getTruncatedContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getUrl | 2010-07-22 12:56:56
+ | unanalyzed | call on getYear | 2010-07-22 12:56:56
+ | unanalyzed | call on isApproved | 2010-07-22 12:56:56
+ | unanalyzed | call on isPending | 2010-07-22 12:56:56
+ | unanalyzed | call on isPublished | 2010-07-22 12:56:56
+ | unanalyzed | call on isRejected | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.beans.PropertyChangeSupport | 2010-07-22 12:56:56
+ | unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 2010-07-22 12:56:56
+ | unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdirs | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:forName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.IllegalArgumentException | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Math:round | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:replaceAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:trim | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.text.SimpleDateFormat | 2010-07-22 12:56:56
+ | unanalyzed | call on java.text.SimpleDateFormat:setTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getActualMaximum | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:set | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Calendar:setTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:reverse | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:sort | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date:getTime | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.EventObject | 2010-07-22 15:04:21
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashSet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:addAll | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:remove | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Locale | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:values | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.TimeZone:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on javax.xml.parsers.SAXParser:parse | 2010-07-22 12:56:56
+ | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce | 2010-07-22 12:56:56
+ | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser | 2010-07-22 12:56:56
+ | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware | 2010-07-22 12:56:56
+ | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 15:04:21
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Month | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.index.IndexedTag | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.DateField:dateTo String | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document:add | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Keyword | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Text | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnIndexed | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnStored | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on org.xml.sax.helpers.DefaultHandler | 2010-07-22 12:56:56
+ | unanalyzed | call on removeAllBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on setDate | 2010-07-22 12:56:56
+ | unanalyzed | call on setState | 2010-07-22 12:56:56
+ | unanalyzed | call on writeIndex | 2010-07-22 12:56:56

- void reindexStaticPages()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog) | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.staticPageDAO != null | 2010-07-22 12:56:56
+ | pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null | 2010-07-22 12:56:56
+ | pre | (soft) this...properties != null | 2010-07-22 12:56:56
+ | pre | (soft) this.searchIndex != null | 2010-07-22 12:56:56
+ | pre | (soft) this.searchIndex.blog != null | 2010-07-22 12:56:56
+ | pre | (soft) this.staticPageIndex != null | 2010-07-22 12:56:56
+ | pre | (soft) this.staticPageIndex.blog != null | 2010-07-22 12:56:56
+ | pre | (soft) this.staticPageIndex.lockAttempts <= 232-2 | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/AbstractBlog.log != null | 2010-07-22 12:56:56
+ | pre | this.messages != null | 2010-07-22 12:56:56
+ | presumption | java.lang.Object:getClass(...)@1776 != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | init'ed(this.messages) | 2010-07-22 12:56:56
+ | post | init'ed(this.staticPageIndex.lockAttempts) | 2010-07-22 12:56:56
+ | post | new HashMap(reindex#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | this.staticPageIndex.index == One-of{old this.staticPageIndex.index, &new HashMap(reindex#1)} | 2010-07-22 12:56:56
+ | post | this.staticPageIndex.lockAttempts == One-of{old this.staticPageIndex.lockAttempts, old this.staticPageIndex.lockAttempts + 1, 0} | 2010-07-22 12:56:56
+ | unanalyzed | call on getAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on getContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocalPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getLuceneAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalinkProvider | 2010-07-22 12:56:56
+ | unanalyzed | call on getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on getTruncatedContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getUrl | 2010-07-22 12:56:56
+ | unanalyzed | call on index | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:createNewFile | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:delete | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:forName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on loadStaticPage | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.DateField:dateTo String | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document:add | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Keyword | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Text | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnIndexed | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnStored | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:close | 2010-07-22 12:56:56

- void removeCategory(Category)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) category.id != null | 2010-07-22 12:56:56
+ | pre | (soft) init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | pre | category != null | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#1) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new ArrayList(Category#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#2).tagsAsList) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3) num objects) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).blogEntries) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).name) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tags) | 2010-07-22 12:56:56
+ | post | init'ed(new Category(getCategory#3).tagsAsList) | 2010-07-22 12:56:56
+ | post | possibly_updated(category.parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#2). subCategories) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).blog) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3).id) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3). parent) | 2010-07-22 12:56:56
+ | post | possibly_updated(new Category(getCategory#3). subCategories) | 2010-07-22 12:56:56
+ | unanalyzed | call on addCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on addSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getParent | 2010-07-22 12:56:56
+ | unanalyzed | call on getSubCategories | 2010-07-22 12:56:56
+ | unanalyzed | call on isRootCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:startsWith | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collections:unmodifiableList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:contains | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:remove | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Category | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on removeSubCategory | 2010-07-22 12:56:56
+ | unanalyzed | call on setBlog | 2010-07-22 12:56:56

- void setEditableTheme(Theme)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.editableTheme) | 2010-07-22 12:56:56
+ | post | this.editableTheme == editableTheme | 2010-07-22 12:56:56

- void setId(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.id) | 2010-07-22 12:56:56
+ | post | this.id == id | 2010-07-22 12:56:56

- void setPermalinkProvider(PermalinkProvider)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | provider != null | 2010-07-22 12:56:56
+ | post | this.permalinkProvider != null | 2010-07-22 12:56:56
+ | post | this.permalinkProvider == provider | 2010-07-22 12:56:56

- void setRootCategory(Category)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | post | init'ed(this.rootCategory) | 2010-07-22 12:56:56
+ | post | this.rootCategory == category | 2010-07-22 12:56:56

- void start()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | init'ed(this.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | pre | init'ed(this.root) | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/Theme.log != null | 2010-07-22 12:56:56
+ | pre | this.editableTheme != null | 2010-07-22 12:56:56
+ | pre | this.editableTheme.blog != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher.eventListenerList. blogListeners != null | 2010-07-22 12:56:56
+ | pre | this.logger != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | post | new HashMap(reindex#1) num objects <= 1 | 2010-07-22 12:56:56
+ | post | possibly_updated(this.messages) | 2010-07-22 12:56:56
+ | post | possibly_updated(this.staticPageIndex.index) | 2010-07-22 12:56:56
+ | post | possibly_updated(this.staticPageIndex. lockAttempts) | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStarted | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStopped | 2010-07-22 12:56:56
+ | unanalyzed | call on copy | 2010-07-22 12:56:56
+ | unanalyzed | call on getAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getAuthor | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogListeners | 2010-07-22 12:56:56
+ | unanalyzed | call on getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on getContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on getEventListenerList | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on getLocalPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getLuceneAnalyzer | 2010-07-22 12:56:56
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on getPermalinkProvider | 2010-07-22 12:56:56
+ | unanalyzed | call on getStaticPageDAO | 2010-07-22 12:56:56
+ | unanalyzed | call on getTitle | 2010-07-22 12:56:56
+ | unanalyzed | call on getTruncatedContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getType | 2010-07-22 12:56:56
+ | unanalyzed | call on getUrl | 2010-07-22 12:56:56
+ | unanalyzed | call on index | 2010-07-22 12:56:56
+ | unanalyzed | call on isVetoed | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:createNewFile | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:delete | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:isDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdir | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:renameTo | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:forName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:newInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Object:getClass | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.ArrayList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Collection:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Date | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.EventObject | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:add | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:subList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:put | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:cancel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:schedule | 2010-07-22 12:56:56
+ | unanalyzed | call on loadStaticPage | 2010-07-22 12:56:56
+ | unanalyzed | call on loadStaticPages | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:transformHTML | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.DateField:dateTo String | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Document:add | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Keyword | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:Text | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnIndexed | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.document.Field:UnStored | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.lucene.index.IndexWriter:close | 2010-07-22 12:56:56
+ | unanalyzed | call on reindexBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on reindexStaticPages | 2010-07-22 12:56:56
+ | test_vector | java.io.File:exists(...)@1575: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.io.File:exists(...)@1581: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.io.File:exists(...)@1586: {1}, {0} | 2010-07-22 12:56:56
+ | test_vector | java.io.File:exists(...)@1591: {1}, {0} | 2010-07-22 12:56:56

- void stop()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(this.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | init'ed(this.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | init'ed(this.id) | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/Theme.log != null | 2010-07-22 12:56:56
+ | pre | this.editableTheme != null | 2010-07-22 12:56:56
+ | pre | this.editableTheme.blog != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | this.eventDispatcher.eventListenerList. blogListeners != null | 2010-07-22 12:56:56
+ | pre | this.logger != null | 2010-07-22 12:56:56
+ | presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStarted | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStopped | 2010-07-22 12:56:56
+ | unanalyzed | call on copy | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogListeners | 2010-07-22 12:56:56
+ | unanalyzed | call on getEventListenerList | 2010-07-22 12:56:56
+ | unanalyzed | call on getType | 2010-07-22 12:56:56
+ | unanalyzed | call on isVetoed | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:getName | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:isDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdir | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:renameTo | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.EventObject | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:cancel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:schedule | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56