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