| method | void blogEntryAdded(BlogEntryEvent) |
| pre | event != null |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on net.sourceforge.pebble.webservice. UpdateNotificationPingsClient |
| unanalyzed | call on net.sourceforge.pebble.webservice. UpdateNotificationPingsClient:sendUpdateNotificatio nPing |
| presumption | blogEntry.blog.pluginProperties@57 != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null |
| presumption | blogEntry.blog@57 != null |
| presumption | blogEntry.state@55 != null |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property |
| unanalyzed | call on getBlog |
| unanalyzed | call on getPluginProperties |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |
| unanalyzed | call on java.lang.String:equals |
| method | void blogEntryPublished(BlogEntryEvent) |
| pre | event != null |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on net.sourceforge.pebble.webservice. UpdateNotificationPingsClient |
| unanalyzed | call on net.sourceforge.pebble.webservice. UpdateNotificationPingsClient:sendUpdateNotificatio nPing |
| presumption | getBlogEntry(...).blog.pluginProperties@68 != null |
| presumption | getBlogEntry(...).blog@68 != null |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property |
| presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null |
| unanalyzed | call on getBlog |
| unanalyzed | call on getPluginProperties |
| unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource |