Messages

Last Msg First Msg

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

method | net.sourceforge.pebble.event.response. IpAddressListener__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 | org.apache.commons.logging.LogFactory:getLog(... )@52 != null
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
pre | response.blogEntry.blog.pluginProperties != null
pre | response.blogEntry != null
pre | response.blogEntry.blog != null
pre | init'ed(response.ipAddress)
pre | (soft) response.spamScore <= 232-2
pre | (soft) init'ed(response.title)
post | response.spamScore == One-of{old response. spamScore + 1, old response.spamScore}
post | (soft) init'ed(response.spamScore)
unanalyzed | call on getBlogEntry
post | response.state == One-of{&net.sourceforge. pebble.domain.State__static_init.new State(State__static_init#3), old response.state}
unanalyzed | call on getIpAddress
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 isApproved
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on getState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent
unanalyzed | call on isRejected
unanalyzed | call on java.util.EventObject

| 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:info(Object)

| 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:info(Object)

method | void blogEntryResponseApproved(Response)
pre | response != null
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:valueOf
test_vector | java.lang.String:length(...)@88: {1.. 232-1}, {0}
pre | (soft) response.blogEntry.blog.pluginProperties != null
pre | response.blogEntry != null
pre | response.blogEntry.blog != null
pre | init'ed(response.ipAddress)
unanalyzed | call on getIpAddress
unanalyzed | call on isListed
test_vector | response.ipAddress: Addr_Set{null}, Inverse{null}

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

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

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

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

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

method | void blogEntryResponseRejected(Response)
pre | response != null
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:valueOf
test_vector | java.lang.String:length(...)@111: {1.. 232-1}, {0}
pre | (soft) response.blogEntry.blog.pluginProperties != null
pre | response.blogEntry != null
pre | response.blogEntry.blog != null
pre | init'ed(response.ipAddress)
unanalyzed | call on getIpAddress
unanalyzed | call on isListed
test_vector | response.ipAddress: Addr_Set{null}, Inverse{null}

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

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

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

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

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

method | bool isListed(Response, String)
pre | response != null
presumption | ipAddresses.length@142 <= 232-1
post | init'ed(return_value)
test_vector | list: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equals(...)@148: {0}, {1}
pre | init'ed(response.ipAddress)
test_vector | response.ipAddress: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into ipAddresses

Prev Msg Next Msg

method | String addIpAddress(Response, String)
post | init'ed(return_value)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
test_vector | list: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:length(...)@164: {1.. 232-1}, {0}
pre | (soft) response != null
pre | (soft) init'ed(response.ipAddress)
unanalyzed | call on getIpAddress

method | String removeIpAddress(Response, String)
pre | response != null
presumption | ipAddresses.length@187 <= 232-1
post | init'ed(return_value)
test_vector | list: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equals(...)@194: {1}, {0}
test_vector | java.lang.StringBuffer:length(...)@195: {-231..0}, {1..232-1}
pre | init'ed(response.ipAddress)
test_vector | response.ipAddress: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

| warning
| unused assignment | unused assignment into ipAddresses

Prev Msg Next Msg