| method | void blogEntryResponseAdded(Response) |
| pre | response != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@49 != null |
| pre | response.blogEntry != null |
| pre | response.blogEntry.blog.pluginProperties != null |
| pre | response.blogEntry.blog != null |
| pre | init'ed(response.spamScore) |
| unanalyzed | call on getBlogEntry |
| pre | (soft) init'ed(response.title) |
| post | response.state == One-of{old response.state, &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2)} |
| unanalyzed | call on areEventsEnabled |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on setState |
| unanalyzed | call on getState |
| unanalyzed | call on net.sourceforge.pebble.domain. Response:setState |
| unanalyzed | call on isApproved |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| unanalyzed | call on isRejected |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.EventObject |
| test_vector | net.sourceforge.pebble.PluginProperties:hasProperty (...)@74: {0}, {1} |
