| method | void blogEntryResponseAdded(Response) |
| pre | response != null |
| presumption | java.util.regex.Pattern:compile(...)@55 != null |
| presumption | java.util.regex.Pattern:matcher(...)@74 != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@52 != null |
| test_vector | java.util.regex.Matcher:find(...)@76: {1}, {0} |
| pre | (soft) response.spamScore <= 232-2 |
| pre | (soft) response.blogEntry != null |
| pre | (soft) response.blogEntry.blog.pluginProperties != null |
| pre | (soft) response.blogEntry.blog != null |
| pre | (soft) init'ed(response.body) |
| pre | (soft) init'ed(response.excerpt) |
| pre | (soft) init'ed(response.title) |
| post | response.spamScore == One-of{old response. spamScore, old response.spamScore + 1} |
| unanalyzed | call on getBlogEntry |
| post | (soft) init'ed(response.spamScore) |
| post | response.state == One-of{old response.state, &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3)} |
| unanalyzed | call on areEventsEnabled |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on setState |
| unanalyzed | call on net.sourceforge.pebble.domain. Response:setState |
| unanalyzed | call on getState |
| 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 (...)@88: {0}, {1} |