| 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@20 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| 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.util.List:iterator |
| 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 getDate |
| unanalyzed | call on getBlogForDay |
| unanalyzed | call on getId |
| unanalyzed | call on isPublished |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on addPublishedBlogEntry |
| unanalyzed | call on addUnpublishedBlogEntry |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.List:contains |
| presumption | getBlog(...).blogEntryIndex@20 != null |
| presumption | getBlogEntryIndex(...).blog.properties@20 != null |
| presumption | getBlogEntryIndex(...).blog.years@20 != null |
| presumption | getBlogEntryIndex(...).blog@20 != null |
| presumption | getBlogEntryIndex(...).indexEntries@20 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@20 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@20 != null |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on getTimeZone |
| unanalyzed | call on getLocale |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.util.Calendar:get |
| unanalyzed | call on getBlogForMonth |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar |
| unanalyzed | call on java.util.Calendar:set |
| unanalyzed | call on java.util.Calendar:getTime |
| unanalyzed | call on setDate |
| unanalyzed | call on net.sourceforge.pebble.domain.Month |
| unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod |
| unanalyzed | call on getMonth |
| unanalyzed | call on java.util.Calendar:getActualMaximum |
| unanalyzed | call on getYear |
| unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog |
| unanalyzed | call on java.util.ArrayList |
| method | void blogEntryRemoved(BlogEntryEvent) |
| pre | event != null |
| presumption | blogEntry.blog@30 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| 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.util.List:iterator |
| 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 getDate |
| unanalyzed | call on getBlogForDay |
| unanalyzed | call on removeBlogEntry |
| unanalyzed | call on getId |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| presumption | getBlog(...).blogEntryIndex@30 != null |
| presumption | getBlogEntryIndex(...).blog.properties@30 != null |
| presumption | getBlogEntryIndex(...).blog.years@30 != null |
| presumption | getBlogEntryIndex(...).blog@30 != null |
| presumption | getBlogEntryIndex(...).indexEntries@30 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@30 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@30 != null |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on getTimeZone |
| unanalyzed | call on getLocale |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.util.Calendar:get |
| unanalyzed | call on getBlogForMonth |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar |
| unanalyzed | call on java.util.Calendar:set |
| unanalyzed | call on java.util.Calendar:getTime |
| unanalyzed | call on setDate |
| unanalyzed | call on net.sourceforge.pebble.domain.Month |
| unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on getMonth |
| unanalyzed | call on java.util.Calendar:getActualMaximum |
| unanalyzed | call on getYear |
| unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog |
| unanalyzed | call on java.util.ArrayList |
| 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@48 != null |
| presumption | blogEntry.blog@49 != null |
| presumption | blogEntry.state@49 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| 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.util.List:iterator |
| 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 getDate |
| unanalyzed | call on getBlogForDay |
| unanalyzed | call on removeBlogEntry |
| unanalyzed | call on getId |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on isPublished |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on addPublishedBlogEntry |
| unanalyzed | call on addUnpublishedBlogEntry |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.List:contains |
| presumption | getBlog(...).blogEntryIndex@48 != null |
| presumption | getBlog(...).blogEntryIndex@49 != null |
| presumption | getBlogEntryIndex(...).blog.properties@48 != null |
| presumption | getBlogEntryIndex(...).blog.properties@49 != null |
| presumption | getBlogEntryIndex(...).blog.years@48 != null |
| presumption | getBlogEntryIndex(...).blog.years@49 != null |
| presumption | getBlogEntryIndex(...).blog@48 != null |
| presumption | getBlogEntryIndex(...).blog@49 != null |
| presumption | getBlogEntryIndex(...).indexEntries@48 != null |
| presumption | getBlogEntryIndex(...).indexEntries@49 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@48 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@49 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@48 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@49 != null |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on getTimeZone |
| unanalyzed | call on getLocale |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.util.Calendar:get |
| unanalyzed | call on getBlogForMonth |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar |
| unanalyzed | call on java.util.Calendar:set |
| unanalyzed | call on java.util.Calendar:getTime |
| unanalyzed | call on setDate |
| unanalyzed | call on net.sourceforge.pebble.domain.Month |
| unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod |
| unanalyzed | call on getMonth |
| unanalyzed | call on java.util.Calendar:getActualMaximum |
| unanalyzed | call on getYear |
| unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog |
| unanalyzed | call on java.util.ArrayList |
| 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@59 != null |
| presumption | blogEntry.blog@60 != null |
| presumption | blogEntry.state@60 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| 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.util.List:iterator |
| 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 getDate |
| unanalyzed | call on getBlogForDay |
| unanalyzed | call on removeBlogEntry |
| unanalyzed | call on getId |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on isPublished |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on addPublishedBlogEntry |
| unanalyzed | call on addUnpublishedBlogEntry |
| unanalyzed | call on java.util.Collections:sort |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.List:contains |
| presumption | getBlog(...).blogEntryIndex@59 != null |
| presumption | getBlog(...).blogEntryIndex@60 != null |
| presumption | getBlogEntryIndex(...).blog.properties@59 != null |
| presumption | getBlogEntryIndex(...).blog.properties@60 != null |
| presumption | getBlogEntryIndex(...).blog.years@59 != null |
| presumption | getBlogEntryIndex(...).blog.years@60 != null |
| presumption | getBlogEntryIndex(...).blog@59 != null |
| presumption | getBlogEntryIndex(...).blog@60 != null |
| presumption | getBlogEntryIndex(...).indexEntries@59 != null |
| presumption | getBlogEntryIndex(...).indexEntries@60 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@59 != null |
| presumption | getBlogEntryIndex(...).publishedIndexEntries@60 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@59 != null |
| presumption | getBlogEntryIndex(...).unpublishedIndexEntries@60 != null |
| unanalyzed | call on java.util.Properties:getProperty |
| unanalyzed | call on getTimeZone |
| unanalyzed | call on getLocale |
| unanalyzed | call on java.util.Calendar:getInstance |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.util.Calendar:get |
| unanalyzed | call on getBlogForMonth |
| unanalyzed | call on java.util.Calendar:setTime |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on getBlog |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar |
| unanalyzed | call on java.util.Calendar:set |
| unanalyzed | call on java.util.Calendar:getTime |
| unanalyzed | call on setDate |
| unanalyzed | call on net.sourceforge.pebble.domain.Month |
| unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod |
| unanalyzed | call on getMonth |
| unanalyzed | call on java.util.Calendar:getActualMaximum |
| unanalyzed | call on getYear |
| unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog |
| unanalyzed | call on java.util.ArrayList |