Messages

method | net.sourceforge.pebble.index.CategoryIndexListener __static_init

method | void net.sourceforge.pebble.index.CategoryIndexLis tener()

method | void blogEntryAdded(BlogEntryEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
presumption | blogEntry.blog@20 != null
presumption | blogEntry.state@19 != null
presumption | blogEntry.state@20 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on isPublished
unanalyzed | call on getId
unanalyzed | call on writeIndex
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 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.Set:iterator
unanalyzed | call on addBlogEntry
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.ArrayList
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
presumption | getBlog(...).categoryIndex@20 != null
presumption | getCategoryIndex(...).blog@20 != 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 | 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 blogEntryRemoved(BlogEntryEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
presumption | blogEntry.blog@32 != null
presumption | blogEntry.state@31 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on getId
unanalyzed | call on writeIndex
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 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 net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.ArrayList
presumption | getBlog(...).categoryIndex@32 != null
presumption | getCategoryIndex(...).blog@32 != 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 | 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 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:add
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.Collections:unmodifiableList

method | void blogEntryChanged(BlogEntryEvent)
pre | event != null
pre | (soft) event.propertyChangeEvents != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
presumption | blogEntry.blog@45 != null
presumption | blogEntry.blog@54 != null
presumption | blogEntry.state@43 != null
presumption | blogEntry.state@54 != null
presumption | java.beans.PropertyChangeEvent:getPropertyName(... )@50 != null
presumption | java.util.Iterator:next(...)@49 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on isPublished
unanalyzed | call on getId
unanalyzed | call on writeIndex
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 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.Set:iterator
unanalyzed | call on addBlogEntry
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.ArrayList
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
test_vector | java.lang.String:equals(...)@53: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@48: {1}, {0}
presumption | getBlog(...).categoryIndex@45 != null
presumption | getBlog(...).categoryIndex@54 != null
presumption | getCategoryIndex(...).blog@45 != null
presumption | getCategoryIndex(...).blog@54 != 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 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 blogEntryPublished(BlogEntryEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
presumption | blogEntry.blog@67 != null
presumption | blogEntry.state@67 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on isPublished
unanalyzed | call on getId
unanalyzed | call on writeIndex
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 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.Set:iterator
unanalyzed | call on addBlogEntry
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.ArrayList
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
presumption | getBlog(...).categoryIndex@67 != null
presumption | getCategoryIndex(...).blog@67 != 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 | 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 blogEntryUnpublished(BlogEntryEvent)
pre | event != null
presumption | blogEntry.blog@77 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on getId
unanalyzed | call on writeIndex
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 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 net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.ArrayList
presumption | getBlog(...).categoryIndex@77 != null
presumption | getCategoryIndex(...).blog@77 != 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 | 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 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:add
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.Collections:unmodifiableList