Messages

method | net.sourceforge.pebble.event.blogentry. XmlRpcNotificationListener__static_init

method | void net.sourceforge.pebble.event.blogentry. XmlRpcNotificationListener()

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

method | void sendNotification(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog.pluginProperties != null
test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@78: Addr_Set{null}, Inverse{null}
pre | blogEntry.blog != null

| info | method not available | -- call on String net.sourceforge.pebble. PluginProperties:getProperty(String)

| info | method not available | -- call on void net.sourceforge.pebble.webservice. UpdateNotificationPingsClient()

| info | method not available | -- call on void net.sourceforge.pebble.webservice. UpdateNotificationPingsClient:sendUpdateNotificatio nPing(Blog, String[])