| 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.blog.rootCategory@20 != null |
| presumption | blogEntry.state@19 != null |
| presumption | blogEntry.state@20 != null |
| presumption | blogEntry.tagsAsList@20 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on encode |
| presumption | getBlog(...).tagIndex@20 != null |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on net.sourceforge.pebble.index.IndexedTag |
| unanalyzed | call on java.util.Map:put |
| presumption | getTagIndex(...).blog@20 != null |
| unanalyzed | call on writeIndex |
| presumption | getTagIndex(...).tags@20 != null |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getId |
| unanalyzed | call on recalculateTagRankings |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getBlogEntries |
| unanalyzed | call on java.util.Map:size |
| unanalyzed | call on getNumberOfBlogEntries |
| unanalyzed | call on java.lang.Math:round |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on calculateRank |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Collections:sort |
| 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 isPublished |
| unanalyzed | call on getAllTags |
| 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.lang.String:trim |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.List:addAll |
| method | void blogEntryRemoved(BlogEntryEvent) |
| pre | event != null |
| presumption | blogEntry.blog@31 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on encode |
| presumption | getBlog(...).tagIndex@31 != null |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on net.sourceforge.pebble.index.IndexedTag |
| presumption | getTagIndex(...).blog@31 != null |
| unanalyzed | call on java.util.Map:put |
| presumption | getTagIndex(...).tags@31 != null |
| unanalyzed | call on writeIndex |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getId |
| unanalyzed | call on removeBlogEntry |
| unanalyzed | call on recalculateTagRankings |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getBlogEntries |
| unanalyzed | call on java.util.Map:size |
| unanalyzed | call on getNumberOfBlogEntries |
| unanalyzed | call on java.lang.Math:round |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on calculateRank |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Collections:sort |
| 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:trim |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:size |
| 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@43 != null |
| presumption | blogEntry.blog@52 != null |
| presumption | blogEntry.state@41 != null |
| presumption | blogEntry.state@52 != null |
| presumption | blogEntry.tagsAsList@52 != null |
| presumption | blogEntry.blog.rootCategory@52 != null |
| presumption | java.beans.PropertyChangeEvent:getPropertyName(... )@48 != null |
| presumption | java.util.Iterator:next(...)@47 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on encode |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on net.sourceforge.pebble.index.IndexedTag |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on writeIndex |
| presumption | getBlog(...).tagIndex@43 != null |
| unanalyzed | call on java.util.Map:values |
| presumption | getBlog(...).tagIndex@52 != null |
| unanalyzed | call on java.util.Collection:iterator |
| presumption | getTagIndex(...).blog@43 != null |
| unanalyzed | call on getName |
| presumption | getTagIndex(...).blog@52 != null |
| unanalyzed | call on getId |
| presumption | getTagIndex(...).tags@43 != null |
| unanalyzed | call on removeBlogEntry |
| presumption | getTagIndex(...).tags@52 != null |
| unanalyzed | call on recalculateTagRankings |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getBlogEntries |
| unanalyzed | call on java.util.Map:size |
| unanalyzed | call on getNumberOfBlogEntries |
| unanalyzed | call on java.lang.Math:round |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on calculateRank |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Collections:sort |
| 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 isPublished |
| unanalyzed | call on getAllTags |
| 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.lang.String:trim |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.List:addAll |
| test_vector | java.lang.String:equals(...)@51: {1}, {0} |
| test_vector | java.lang.String:equals(...)@51: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@46: {1}, {0} |
| 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@65 != null |
| presumption | blogEntry.state@65 != null |
| presumption | blogEntry.tagsAsList@65 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on encode |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on net.sourceforge.pebble.index.IndexedTag |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on writeIndex |
| presumption | blogEntry.blog.rootCategory@65 != null |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getId |
| presumption | getBlog(...).tagIndex@65 != null |
| unanalyzed | call on recalculateTagRankings |
| unanalyzed | call on java.util.List:iterator |
| presumption | getTagIndex(...).blog@65 != null |
| unanalyzed | call on getBlogEntries |
| unanalyzed | call on java.util.Map:size |
| presumption | getTagIndex(...).tags@65 != null |
| unanalyzed | call on getNumberOfBlogEntries |
| unanalyzed | call on java.lang.Math:round |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on calculateRank |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Collections:sort |
| 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 isPublished |
| unanalyzed | call on getAllTags |
| 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.lang.String:trim |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on getRootCategory |
| unanalyzed | call on java.util.List:addAll |
| method | void blogEntryUnpublished(BlogEntryEvent) |
| pre | event != null |
| presumption | blogEntry.blog@75 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on encode |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on net.sourceforge.pebble.index.IndexedTag |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on writeIndex |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on getName |
| unanalyzed | call on getId |
| unanalyzed | call on removeBlogEntry |
| unanalyzed | call on recalculateTagRankings |
| unanalyzed | call on java.util.List:iterator |
| presumption | getBlog(...).tagIndex@75 != null |
| unanalyzed | call on getBlogEntries |
| presumption | getTagIndex(...).blog@75 != null |
| unanalyzed | call on java.util.Map:size |
| presumption | getTagIndex(...).tags@75 != null |
| unanalyzed | call on getNumberOfBlogEntries |
| unanalyzed | call on java.lang.Math:round |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on calculateRank |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Collections:sort |
| 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:trim |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.List:size |