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 <= 2³²-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.. 2³²-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 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.. 2³²-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 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 <= 2³²-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

click for all messages in this file 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.. 2³²-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 <= 2³²-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: {-2³¹..0}, {1..2³²-1}
pre	init'ed(response.ipAddress)
test_vector	response.ipAddress: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

click for all messages in this file warning

unused assignment unused assignment into ipAddresses

Prev Msg Next Msg