ipaddresslistener.java

ipaddresslistener.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

String addIpAddress(Response, String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(response.ipAddress)	2010-07-16 16:14:15
U	pre	(soft) response != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on getIpAddress	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:split	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@164: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	list: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void blogEntryResponseAdded(Response)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(response.title)	2010-07-16 16:14:15
U	pre	(soft) response.spamScore <= 2³²-2	2010-07-16 16:14:15
U	pre	init'ed(response.ipAddress)	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	org.apache.commons.logging.LogFactory:getLog(... )@52 != 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 + 1, old response.spamScore}	2010-07-16 16:14:15
U	post	response.state == One-of{&net.sourceforge. pebble.domain.State__static_init.new State(State__static_init#3), old response.state}	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
U	unanalyzed	call on getIpAddress	2010-07-16 16:14:15
+	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:split	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:getProperty	2010-07-22 12:56:56
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

void blogEntryResponseApproved(Response)

-/+	Kind	Annotation Text	Date
+	pre	(soft) response.blogEntry.blog.pluginProperties != null	2010-07-22 12:56:56
U	pre	init'ed(response.ipAddress)	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
U	unanalyzed	call on getIpAddress	2010-07-16 16:14:15
-	unanalyzed	call on getPluginPropertiesFile	2010-07-16 16:59:22
U	unanalyzed	call on isListed	2010-07-16 16:14:15
-	unanalyzed	call on java.io.FileOutputStream	2010-07-22 12:56:56
-	unanalyzed	call on java.io.FileOutputStream:close	2010-07-22 12:56:56
-	unanalyzed	call on java.io.FileOutputStream:flush	2010-07-22 12:56:56
-	unanalyzed	call on java.io.IOException:getMessage	2010-07-22 12:56:56
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:split	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.lang.String:valueOf	2010-07-16 16:14:15
-	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 12:56:56
-	unanalyzed	call on java.util.Properties:setProperty	2010-07-22 12:56:56
-	unanalyzed	call on java.util.Properties:store	2010-07-22 12:56:56
-	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-22 12:56:56
U	test_vector	java.lang.String:length(...)@88: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	response.ipAddress: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void blogEntryResponseRejected(Response)

-/+	Kind	Annotation Text	Date
+	pre	(soft) response.blogEntry.blog.pluginProperties != null	2010-07-22 12:56:56
U	pre	init'ed(response.ipAddress)	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
U	unanalyzed	call on getIpAddress	2010-07-16 16:14:15
-	unanalyzed	call on getPluginPropertiesFile	2010-07-16 16:59:22
U	unanalyzed	call on isListed	2010-07-16 16:14:15
-	unanalyzed	call on java.io.FileOutputStream	2010-07-22 12:56:56
-	unanalyzed	call on java.io.FileOutputStream:close	2010-07-22 12:56:56
-	unanalyzed	call on java.io.FileOutputStream:flush	2010-07-22 12:56:56
-	unanalyzed	call on java.io.IOException:getMessage	2010-07-22 12:56:56
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:split	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.lang.String:valueOf	2010-07-16 16:14:15
-	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 12:56:56
-	unanalyzed	call on java.util.Properties:setProperty	2010-07-22 12:56:56
-	unanalyzed	call on java.util.Properties:store	2010-07-22 12:56:56
-	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-22 12:56:56
U	test_vector	java.lang.String:length(...)@111: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	response.ipAddress: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

bool isListed(Response, String)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(response.ipAddress)	2010-07-16 16:14:15
U	pre	response != null	2010-07-16 16:14:15
U	presumption	ipAddresses.length@142 <= 2³²-1	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@148: {0}, {1}	2010-07-16 16:14:15
U	test_vector	list: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	response.ipAddress: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

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

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.event.response.IpAddressListener__static_init

-/+	Kind	Annotation Text	Date
U	post	init'ed(log)	2010-07-16 16:14:15

String removeIpAddress(Response, String)

-/+	Kind	Annotation Text	Date
U	pre	init'ed(response.ipAddress)	2010-07-16 16:14:15
U	pre	response != null	2010-07-16 16:14:15
U	presumption	ipAddresses.length@187 <= 2³²-1	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@194: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.StringBuffer:length(...)@195: {-2³¹..0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	list: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	response.ipAddress: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15