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 <= 232-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

+ |
| 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