## 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.. 232-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 <= 232-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.. 232-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.. 232-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 <= 232-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 <= 232-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: {-231..0}, {1..232-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