Messages

method | net.sourceforge.pebble.index.AuthorIndexListener__ static_init

method | void net.sourceforge.pebble.index.AuthorIndexListe ner()

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@51 != null
presumption | blogEntry.state@51 != null
presumption | getAuthorIndex(...).authors@51 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
presumption | getAuthorIndex(...).blog@51 != null
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
presumption | getBlog(...).authorIndex@51 != null
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getAuthor
unanalyzed | call on getId
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.List:add
unanalyzed | call on isPublished
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals

method | void blogEntryRemoved(BlogEntryEvent)
pre | event != null
presumption | blogEntry.blog@61 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
presumption | getAuthorIndex(...).authors@61 != null
unanalyzed | call on java.io.File
presumption | getAuthorIndex(...).blog@61 != null
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
presumption | getBlog(...).authorIndex@61 != null
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getAuthor
unanalyzed | call on getId
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on java.util.Map:remove
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource

method | void blogEntryChanged(BlogEntryEvent)

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@79 != null
presumption | blogEntry.blog@80 != null
presumption | blogEntry.state@80 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on java.util.Map:get
presumption | getAuthorIndex(...).authors@79 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
presumption | getAuthorIndex(...).authors@80 != null
unanalyzed | call on java.io.File
presumption | getAuthorIndex(...).blog@79 != null
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
presumption | getAuthorIndex(...).blog@80 != null
unanalyzed | call on java.io.BufferedWriter
presumption | getBlog(...).authorIndex@79 != null
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
presumption | getBlog(...).authorIndex@80 != null
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getAuthor
unanalyzed | call on getId
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on java.util.Map:remove
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.List:add
unanalyzed | call on isPublished
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals

method | void blogEntryUnpublished(BlogEntryEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
presumption | blogEntry.blog@90 != null
presumption | blogEntry.blog@91 != null
presumption | blogEntry.state@91 != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
presumption | getAuthorIndex(...).authors@90 != null
unanalyzed | call on java.io.File
presumption | getAuthorIndex(...).authors@91 != null
unanalyzed | call on org.apache.commons.logging.Log:error
presumption | getAuthorIndex(...).blog@90 != null
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
presumption | getAuthorIndex(...).blog@91 != null
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
presumption | getBlog(...).authorIndex@90 != null
presumption | getBlog(...).authorIndex@91 != null
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getAuthor
unanalyzed | call on getId
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on java.util.Map:remove
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.List:add
unanalyzed | call on isPublished
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.lang.String:equals