Messages

Last Msg First Msg

method | void net.sourceforge.pebble.event.response. ContentSpamListener()

method | net.sourceforge.pebble.event.response. ContentSpamListener__static_init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void blogEntryResponseAdded(Response)
pre | response != null
presumption | java.lang.Integer:parseInt(...)@85 <= 232-2
presumption | org.apache.commons.logging.LogFactory:getLog(... )@53 != null
presumption | regexes.length@77 <= 232-1
presumption | regexes[...] != null
presumption | regexes[...]@77 != null
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.util.regex.Pattern:compile
unanalyzed | call on java.util.regex.Pattern:matcher
unanalyzed | call on java.util.regex.Matcher:find
pre | response.blogEntry.blog.pluginProperties != null
pre | response.blogEntry != null
pre | response.blogEntry.blog != null
pre | init'ed(response.title)
pre | (soft) response.spamScore <= 232-5
pre | (soft) init'ed(response.author)
pre | (soft) init'ed(response.blogName)
pre | (soft) init'ed(response.body)
pre | (soft) init'ed(response.excerpt)
pre | (soft) init'ed(response.url)
pre | (soft) init'ed(response.website)
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...
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 getBlogEntry
unanalyzed | call on areEventsEnabled
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
test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@74: Addr_Set{null}, Inverse{null}
test_vector | net.sourceforge.pebble.PluginProperties:hasProperty (...)@83: {0}, {1}
unanalyzed | call on java.util.EventObject

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

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into regexes

Prev Msg Next Msg

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

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

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on String getSourceName()

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on String getSourceLink()

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on String getContent()

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

method | bool contentWithinThreshold(String, String[], int)
pre | (soft) regexes != null
pre | (soft) regexes.length <= 232-1
pre | (soft) regexes[...] != null
pre | (soft) threshold <= 232-2
presumption | java.util.regex.Pattern:compile(...)@122 != null
presumption | java.util.regex.Pattern:matcher(...)@123 != null
post | init'ed(return_value)
test_vector | content: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@116: {1.. 232-1}, {0}
test_vector | java.util.regex.Matcher:find(...)@124: {1}, {0}