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

+

click for all messages in this file medium

null dereference check might fail: requires day != null

+

medium

precondition failure net/sourceforge/pebble/domain/Day.addPublishedBlogE ntry: this.blogEntries != null

+

click for all messages in this file 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

+

click for all messages in this file medium

null dereference check might fail: requires day != null

+

medium

precondition failure net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null

+

click for all messages in this file 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

+

click for all messages in this file medium

null dereference check might fail: requires day != null

+

medium

precondition failure net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null

+

click for all messages in this file 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

+

click for all messages in this file medium

null dereference check might fail: requires day != null

+

medium

precondition failure net/sourceforge/pebble/domain/Day.removeBlogEntry: this.blogEntries != null

+

click for all messages in this file 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()

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires day != null

+

medium

precondition failure net/sourceforge/pebble/domain/Day.addUnpublishedBlo gEntry: this.blogEntries != null

+

click for all messages in this file 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 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