Messages

Last Msg First Msg

method	net.sourceforge.pebble.index.CategoryIndex__ 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.CategoryIndex(Bl og)
pre	blog != null
post	this.blog == blog
post	this.blog != null
unanalyzed	call on addBlogEntry
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 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.String:split
unanalyzed	call on getCategory
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
pre	(soft) init'ed(blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2*) num objects)
post	init'ed(new Category(getCategory#2*).blog)
post	init'ed(new Category(getCategory#2*).blogEntries)
post	init'ed(new Category(getCategory#2*).id)
post	init'ed(new Category(getCategory#2*).name)
post	init'ed(new Category(getCategory#2*).parent)
post	init'ed(new Category(getCategory#2*). subCategories)
post	init'ed(new Category(getCategory#2*).tags)
post	init'ed(new Category(getCategory#2*).tagsAsList)
post	init'ed(new Category(getCategory#3*) num objects)
post	init'ed(new Category(getCategory#3*).blog)
post	init'ed(new Category(getCategory#3*).blogEntries)
post	init'ed(new Category(getCategory#3*).id)
post	init'ed(new Category(getCategory#3*).name)
post	init'ed(new Category(getCategory#3*).parent)
post	init'ed(new Category(getCategory#3*). subCategories)
post	init'ed(new Category(getCategory#3*).tags)
post	init'ed(new Category(getCategory#3*).tagsAsList)
unanalyzed	call on getId
unanalyzed	call on getSubCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:unmodifiableList

method	void clear()
pre	this.blog != null
presumption	java.util.Iterator:next(...)@70 != null
post	init'ed(new ArrayList(removeAllBlogEntries#1) num objects)
unanalyzed	call on getCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getBlogEntries
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 getId
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.ArrayList
test_vector	java.util.Iterator:hasNext(...)@70: {1}, {0}
pre	init'ed(this.blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2) num objects)
post	possibly_updated(new Category(getCategory#2).blog)
post	init'ed(new Category(getCategory#2).blogEntries)
post	possibly_updated(new Category(getCategory#2).id)
post	init'ed(new Category(getCategory#2).name)
post	possibly_updated(new Category(getCategory#2). parent)
post	possibly_updated(new Category(getCategory#2). subCategories)
post	init'ed(new Category(getCategory#2).tags)
post	init'ed(new Category(getCategory#2).tagsAsList)
post	init'ed(new Category(getCategory#3) num objects)
post	possibly_updated(new Category(getCategory#3).blog)
post	init'ed(new Category(getCategory#3).blogEntries)
post	possibly_updated(new Category(getCategory#3).id)
post	init'ed(new Category(getCategory#3).name)
post	possibly_updated(new Category(getCategory#3). parent)
post	possibly_updated(new Category(getCategory#3). subCategories)
post	init'ed(new Category(getCategory#3).tags)
post	init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on getSubCategories
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Collections:unmodifiableList

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
presumption	blogEntry.state@83 != null
presumption	category.blogEntries@85 != null
presumption	java.util.Iterator:next(...)@83 != null
presumption	java.util.Iterator:next(...)@85 != null
unanalyzed	call on addBlogEntry
unanalyzed	call on getCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getBlogEntries
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 getId
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.lang.String:equals
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@85: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2) num objects)
post	possibly_updated(new Category(getCategory#2).blog)
post	init'ed(new Category(getCategory#2).blogEntries)
post	possibly_updated(new Category(getCategory#2).id)
post	init'ed(new Category(getCategory#2).name)
post	possibly_updated(new Category(getCategory#2). parent)
post	init'ed(new Category(getCategory#2).subCategories)
post	init'ed(new Category(getCategory#2).tags)
post	init'ed(new Category(getCategory#2).tagsAsList)
post	init'ed(new Category(getCategory#3) num objects)
post	possibly_updated(new Category(getCategory#3).blog)
post	init'ed(new Category(getCategory#3).blogEntries)
post	possibly_updated(new Category(getCategory#3).id)
post	init'ed(new Category(getCategory#3).name)
post	possibly_updated(new Category(getCategory#3). parent)
post	init'ed(new Category(getCategory#3).subCategories)
post	init'ed(new Category(getCategory#3).tags)
post	init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed	call on getSubCategories
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:unmodifiableList

method	void index(BlogEntry)
pre	blogEntry != null
pre	blogEntry.state != null
pre	(soft) init'ed(blogEntry.categories)
pre	(soft) init'ed(blogEntry.id)
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.blog != null
presumption	category.blogEntries@101 != null
presumption	java.util.Iterator:next(...)@101 != null
unanalyzed	call on addBlogEntry
unanalyzed	call on getCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getBlogEntries
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 getId
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.lang.String:equals
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@101: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2) num objects)
post	possibly_updated(new Category(getCategory#2).blog)
post	init'ed(new Category(getCategory#2).blogEntries)
post	possibly_updated(new Category(getCategory#2).id)
post	init'ed(new Category(getCategory#2).name)
post	possibly_updated(new Category(getCategory#2). parent)
post	init'ed(new Category(getCategory#2).subCategories)
post	init'ed(new Category(getCategory#2).tags)
post	init'ed(new Category(getCategory#2).tagsAsList)
post	init'ed(new Category(getCategory#3) num objects)
post	possibly_updated(new Category(getCategory#3).blog)
post	init'ed(new Category(getCategory#3).blogEntries)
post	possibly_updated(new Category(getCategory#3).id)
post	init'ed(new Category(getCategory#3).name)
post	possibly_updated(new Category(getCategory#3). parent)
post	init'ed(new Category(getCategory#3).subCategories)
post	init'ed(new Category(getCategory#3).tags)
post	init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed	call on getSubCategories
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:unmodifiableList

method	void unindex(BlogEntry)
pre	this.blog != null
pre	(soft) blogEntry != null
pre	(soft) init'ed(blogEntry.id)
presumption	category.blogEntries@115 != null
presumption	java.util.Iterator:next(...)@115 != null
unanalyzed	call on getCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on removeBlogEntry
unanalyzed	call on getBlogEntries
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 getId
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.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@115: {1}, {0}
pre	init'ed(this.blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2) num objects)
post	possibly_updated(new Category(getCategory#2).blog)
post	init'ed(new Category(getCategory#2).blogEntries)
post	possibly_updated(new Category(getCategory#2).id)
post	init'ed(new Category(getCategory#2).name)
post	possibly_updated(new Category(getCategory#2). parent)
post	possibly_updated(new Category(getCategory#2). subCategories)
post	init'ed(new Category(getCategory#2).tags)
post	init'ed(new Category(getCategory#2).tagsAsList)
post	init'ed(new Category(getCategory#3) num objects)
post	possibly_updated(new Category(getCategory#3).blog)
post	init'ed(new Category(getCategory#3).blogEntries)
post	possibly_updated(new Category(getCategory#3).id)
post	init'ed(new Category(getCategory#3).name)
post	possibly_updated(new Category(getCategory#3). parent)
post	possibly_updated(new Category(getCategory#3). subCategories)
post	init'ed(new Category(getCategory#3).tags)
post	init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on getSubCategories
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Collections:unmodifiableList

method	void readIndex()
pre	this.blog != null
presumption	blogEntries.length@136 <= 2³²-1
presumption	org.apache.commons.logging.LogFactory:getLog(... )@52 != null
presumption	tuple.length@132 >= 1
unanalyzed	call on addBlogEntry
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
test_vector	java.io.File:exists(...)@127: {0}, {1}
test_vector	tuple.length@132: {1}, {2..+Inf}
test_vector	tuple[1]@132: Addr_Set{null}, Inverse{null}
pre	(soft) init'ed(this.blog.rootCategory)
presumption	category...blogEntries@133 != null
presumption	category.blogEntries@133 != null
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2*) num objects)
post	init'ed(new Category(getCategory#2*).blog)
post	init'ed(new Category(getCategory#2*).blogEntries)
post	init'ed(new Category(getCategory#2*).id)
post	init'ed(new Category(getCategory#2*).name)
post	init'ed(new Category(getCategory#2*).parent)
post	init'ed(new Category(getCategory#2*). subCategories)
post	init'ed(new Category(getCategory#2*).tags)
post	init'ed(new Category(getCategory#2*).tagsAsList)
post	init'ed(new Category(getCategory#3*) num objects)
post	init'ed(new Category(getCategory#3*).blog)
post	init'ed(new Category(getCategory#3*).blogEntries)
post	init'ed(new Category(getCategory#3*).id)
post	init'ed(new Category(getCategory#3*).name)
post	init'ed(new Category(getCategory#3*).parent)
post	init'ed(new Category(getCategory#3*). subCategories)
post	init'ed(new Category(getCategory#3*).tags)
post	init'ed(new Category(getCategory#3*).tagsAsList)
unanalyzed	call on getId
unanalyzed	call on getSubCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:unmodifiableList

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 category != null

Prev Msg Next Msg

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

method	void writeIndex()
pre	(soft) this.blog != null
presumption	java.util.Iterator:next(...)@160 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@52 != null
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@160: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@163: {1}, {0}
pre	(soft) init'ed(this.blog.rootCategory)
post	init'ed(new ArrayList(Category#1) num objects)
post	init'ed(new ArrayList(Category#2) num objects)
post	init'ed(new ArrayList(Category#3) num objects)
post	init'ed(new Category(getCategory#2) num objects)
post	possibly_updated(new Category(getCategory#2).blog)
post	init'ed(new Category(getCategory#2).blogEntries)
post	possibly_updated(new Category(getCategory#2).id)
post	init'ed(new Category(getCategory#2).name)
post	possibly_updated(new Category(getCategory#2). parent)
post	init'ed(new Category(getCategory#2).subCategories)
post	init'ed(new Category(getCategory#2).tags)
post	init'ed(new Category(getCategory#2).tagsAsList)
post	init'ed(new Category(getCategory#3) num objects)
post	possibly_updated(new Category(getCategory#3).blog)
post	init'ed(new Category(getCategory#3).blogEntries)
post	possibly_updated(new Category(getCategory#3).id)
post	init'ed(new Category(getCategory#3).name)
post	possibly_updated(new Category(getCategory#3). parent)
post	init'ed(new Category(getCategory#3).subCategories)
post	init'ed(new Category(getCategory#3).tags)
post	init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed	call on getId
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on getSubCategories
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getCategory
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on net.sourceforge.pebble.domain.Category
unanalyzed	call on addCategory
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on setBlog
unanalyzed	call on isRootCategory
unanalyzed	call on addSubCategory
unanalyzed	call on getCategories
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Collections:unmodifiableList

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	List getRecentBlogEntries(Category)
pre	category != null
pre	init'ed(category.blogEntries)
post	return_value == &new ArrayList(getRecentBlogEnt ries#1)
post	new ArrayList(getRecentBlogEntries#1) num objects == 1
unanalyzed	call on java.util.ArrayList