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 <= 2³²-2
presumption	org.apache.commons.logging.LogFactory:getLog(... )@53 != null
presumption	regexes.length@77 <= 2³²-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 <= 2³²-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

click for all messages in this file 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 <= 2³²-1
pre	(soft) regexes[...] != null
pre	(soft) threshold <= 2³²-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.. 2³²-1}, {0}
test_vector	java.util.regex.Matcher:find(...)@124: {1}, {0}