| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) init'ed(response.author) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(response.blogName) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(response.body) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(response.excerpt) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(response.url) | 2010-07-16 16:14:15 |
| U |
pre | (soft) init'ed(response.website) | 2010-07-16 16:14:15 |
| U |
pre | (soft) response.spamScore <= 232-5 | 2010-07-16 16:14:15 |
| U |
pre | init'ed(response.title) | 2010-07-16 16:14:15 |
| U |
pre | response != null | 2010-07-16 16:14:15 |
| U |
pre | response.blogEntry != null | 2010-07-16 16:14:15 |
| U |
pre | response.blogEntry.blog != null | 2010-07-16 16:14:15 |
| + | pre | response.blogEntry.blog.pluginProperties != null | 2010-07-22 12:56:56 |
| U |
presumption | java.lang.Integer:parseInt(...)@85 <= 232-2 | 2010-07-16 16:14:15 |
| U |
presumption | org.apache.commons.logging.LogFactory:getLog(... )@53 != null | 2010-07-16 16:14:15 |
| U |
presumption | regexes.length@77 <= 232-1 | 2010-07-16 16:14:15 |
| U |
presumption | regexes[...] != null | 2010-07-16 16:14:15 |
| U |
presumption | regexes[...]@77 != null | 2010-07-16 16:14:15 |
| U |
post | (soft) init'ed(response.spamScore) | 2010-07-16 16:14:15 |
| U |
post | response.spamScore == One-of{old response. spamScore, old response.spamScore + 1, One-of{old response.spamScore, old response.spamScore + 1} + 1, One-of{old response.spamScore, old response.spamScore + 1, One-of{old response.spamScore, old response... | 2010-07-16 16:14:15 |
| U |
post | response.state == One-of{old response.state, &net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3)} | 2010-07-16 16:14:15 |
| + | unanalyzed | call on areEventsEnabled | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getBlogEntry | 2010-07-22 12:56:56 |
| + | unanalyzed | call on getState | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on isApproved | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on isRejected | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.lang.String:trim | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15 |
| - | unanalyzed | call on java.util.Properties:containsKey | 2010-07-22 12:56:56 |
| - | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56 |
| U |
unanalyzed | call on java.util.regex.Matcher:find | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.regex.Pattern:compile | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on java.util.regex.Pattern:matcher | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on net.sourceforge.pebble.domain. Response:setState | 2010-07-16 16:14:15 |
| U |
unanalyzed | call on setState | 2010-07-16 16:14:15 |
| - | test_vector | java.util.Properties:containsKey(...)@132: {0}, {1} | 2010-07-22 12:56:56 |
| - | test_vector | java.util.Properties:getProperty(...)@142: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56 |
| + | test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@74: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56 |
| + | test_vector | net.sourceforge.pebble.PluginProperties:hasProperty (...)@83: {0}, {1} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| U |
pre | (soft) regexes != null | 2010-07-16 16:14:15 |
| U |
pre | (soft) regexes.length <= 232-1 | 2010-07-16 16:14:15 |
| U |
pre | (soft) regexes[...] != null | 2010-07-16 16:14:15 |
| U |
pre | (soft) threshold <= 232-2 | 2010-07-16 16:14:15 |
| U |
presumption | java.util.regex.Pattern:compile(...)@122 != null | 2010-07-16 16:14:15 |
| U |
presumption | java.util.regex.Pattern:matcher(...)@123 != null | 2010-07-16 16:14:15 |
| U |
post | init'ed(return_value) | 2010-07-16 16:14:15 |
| U |
test_vector | content: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15 |
| U |
test_vector | java.lang.String:length(...)@116: {1.. 232-1}, {0} | 2010-07-16 16:14:15 |
| U |
test_vector | java.util.regex.Matcher:find(...)@124: {1}, {0} | 2010-07-16 16:14:15 |