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