Messages

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