Messages

Last Msg First Msg

method | net.sourceforge.pebble.index.BlogEntryIndex__ static_init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void net.sourceforge.pebble.index.BlogEntryIndex(B log)
pre | blog != null
post | this.blog == blog
post | this.blog != null
post | this.indexEntries == &new ArrayList(BlogEntryIn dex#1)
post | this.publishedIndexEntries == &new ArrayList(BlogEntryIndex#2)
post | this.unpublishedIndexEntries == &new ArrayList(BlogEntryIndex#3)
post | new ArrayList(BlogEntryIndex#1) num objects == 1
post | new ArrayList(BlogEntryIndex#2) num objects == 1
post | new ArrayList(BlogEntryIndex#3) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.List:add
unanalyzed | call on addPublishedBlogEntry
unanalyzed | call on addUnpublishedBlogEntry
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.Date
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:contains
pre | (soft) blog.properties != null
pre | (soft) blog.years != null
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | void clear()
pre | (soft) this.blog != null
post | this.indexEntries == &new ArrayList(clear#1)
post | this.publishedIndexEntries == &new ArrayList(clear#2)
post | this.unpublishedIndexEntries == &new ArrayList(clear#3)
post | new ArrayList(clear#1) num objects == 1
post | new ArrayList(clear#2) num objects == 1
post | new ArrayList(clear#3) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on org.apache.commons.logging.Log:error

method | void index(Collection)
pre | blogEntries != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) this.blog != null
pre | (soft) this.indexEntries != null
pre | (soft) this.publishedIndexEntries != null
pre | (soft) this.unpublishedIndexEntries != null
presumption | blogEntry.state@52 != null
presumption | java.util.Iterator:next(...)@52 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
test_vector | java.util.Iterator:hasNext(...)@52: {1}, {0}
pre | (soft) this.blog.properties != null
pre | (soft) this.blog.years != null
presumption | day.blogEntries@53 != null
presumption | day.publishedBlogEntries@53 != null
presumption | day.unpublishedBlogEntries@53 != null
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

method | void index(BlogEntry)
pre | blogEntry != null
pre | init'ed(blogEntry.date)
pre | init'ed(blogEntry.id)
pre | blogEntry.state != null
pre | this.blog != null
pre | this.indexEntries != null
pre | (soft) init'ed(blogEntry.state.name)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) this.publishedIndexEntries != null
pre | (soft) this.unpublishedIndexEntries != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
pre | this.blog.properties != null
pre | this.blog.years != null
presumption | day.blogEntries@78 != null
presumption | day.publishedBlogEntries@78 != null
presumption | day.unpublishedBlogEntries@78 != null
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

method | void unindex(BlogEntry)
pre | blogEntry != null
pre | init'ed(blogEntry.date)
pre | init'ed(blogEntry.id)
pre | this.blog != null
pre | this.indexEntries != null
pre | this.publishedIndexEntries != null
pre | this.unpublishedIndexEntries != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.util.List:remove
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
pre | this.blog.properties != null
pre | this.blog.years != null
presumption | day.blogEntries@101 != null
presumption | day.publishedBlogEntries@101 != null
presumption | day.unpublishedBlogEntries@101 != null
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.removeBlogEntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.removeBlogEntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.removeBlogEntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

method | void readIndex(bool)
pre | this.blog != null
pre | (soft) this.indexEntries != null
pre | (soft) this.publishedIndexEntries != null
pre | (soft) this.unpublishedIndexEntries != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@20 != null
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
test_vector | published: {0}, {1}
test_vector | java.io.File:exists(...)@123: {0}, {1}
pre | (soft) this.blog.properties != null
pre | (soft) this.blog.years != null
presumption | day.blogEntries@132 != null
presumption | day.publishedBlogEntries@132 != null
presumption | day.unpublishedBlogEntries@132 != null
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.publishedBlogEntries != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.unpublishedBlogEntries != null

Prev Msg Next Msg

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | void writeIndex(bool)
pre | (soft) this.blog != null
pre | (soft) this.publishedIndexEntries != null
pre | (soft) this.unpublishedIndexEntries != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@20 != null
test_vector | published: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@175: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | int getNumberOfBlogEntries()
pre | this.indexEntries != null
post | init'ed(return_value)

method | int getNumberOfPublishedBlogEntries()
pre | this.publishedIndexEntries != null
post | init'ed(return_value)

method | int getNumberOfUnpublishedBlogEntries()
pre | this.unpublishedIndexEntries != null
post | init'ed(return_value)

method | List getBlogEntries()
pre | init'ed(this.indexEntries)
post | return_value == &new ArrayList(getBlogEntries#1 )
post | new ArrayList(getBlogEntries#1) num objects == 1

method | List getPublishedBlogEntries()
pre | init'ed(this.publishedIndexEntries)
post | return_value == &new ArrayList(getPublishedBlog Entries#1)
post | new ArrayList(getPublishedBlogEntries#1) num objects == 1

method | List getUnpublishedBlogEntries()
pre | init'ed(this.unpublishedIndexEntries)
post | return_value == &new ArrayList(getUnpublishedBl ogEntries#1)
post | new ArrayList(getUnpublishedBlogEntries#1) num objects == 1