## response.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

- BlogEntry getBlogEntry()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.blogEntry) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.blogEntry | 2010-07-16 16:14:15

- Date getDate()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.date) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.date | 2010-07-16 16:14:15

- String getGuid()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogEntry != null | 2010-07-16 16:14:15
U | pre | this.date != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date:getTime | 2010-07-16 16:14:15

- long getId()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.date != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- String getIpAddress()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.ipAddress) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.ipAddress | 2010-07-16 16:14:15

- int getSpamScore()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.spamScore) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.spamScore | 2010-07-16 16:14:15

- String getTitle()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.title) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.title | 2010-07-16 16:14:15

- void incrementSpamScore()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.spamScore <= 232-2 | 2010-07-16 16:14:15
U | post | this.spamScore == old this.spamScore + 1 | 2010-07-16 16:14:15
U | post | this.spamScore >= -231+1 | 2010-07-16 16:14:15

- bool isApproved()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.state.name) | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null | 2010-07-16 16:14:15
U | pre | this.state != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15

- bool isPending()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.state.name) | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null | 2010-07-16 16:14:15
U | pre | this.state != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15

- bool isRejected()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(this.state.name) | 2010-07-16 16:14:15
U | pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 2010-07-16 16:14:15
U | pre | this.state != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.Response()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | post | new ArrayList(Content#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new PropertyChangeSupport(Content#2) num objects == 1 | 2010-07-16 16:14:15
U | post | this.events == &new ArrayList(Content#1) | 2010-07-16 16:14:15
U | post | this.propertyChangeEvents == &new ArrayList(Content#3) | 2010-07-16 16:14:15
U | post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2) | 2010-07-16 16:14:15
U | post | this.spamScore == 0 | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.ArrayList | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.Response(String, String, Date, State, BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | blogEntry != null | 2010-07-16 16:14:15
U | post | init'ed(this.date) | 2010-07-16 16:14:15
U | post | init'ed(this.eventsEnabled) | 2010-07-16 16:14:15
U | post | init'ed(this.ipAddress) | 2010-07-16 16:14:15
U | post | init'ed(this.spamScore) | 2010-07-16 16:14:15
U | post | new ArrayList(Content#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new ArrayList(Content#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new PropertyChangeSupport(Content#2) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(this.state) | 2010-07-16 16:14:15
U | post | possibly_updated(this.title) | 2010-07-16 16:14:15
U | post | this.blogEntry != null | 2010-07-16 16:14:15
U | post | this.blogEntry == blogEntry | 2010-07-16 16:14:15
U | post | this.events == &new ArrayList(Content#1) | 2010-07-16 16:14:15
U | post | this.ipAddress == One-of{null, ipAddress} | 2010-07-16 16:14:15
U | post | this.propertyChangeEvents == &new ArrayList(Content#3) | 2010-07-16 16:14:15
U | post | this.propertyChangeSupport == &new PropertyChangeSupport(Content#2) | 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
+ | 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.beans.PropertyChangeSupport | 2010-07-16 16:14:15
U | unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener | 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.util.ArrayList | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Calendar:getTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Calendar:setTime | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Date | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.EventObject | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar | 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. BlogEntry:getBlog | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 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 net.sourceforge.pebble.util. StringUtils:transformHTML | 2010-07-16 16:14:15
+ | unanalyzed | call on setState | 2010-07-22 12:56:56

- net.sourceforge.pebble.domain.Response__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- void setApproved()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | this.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#1), old this.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
+ | 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.util.EventObject | 2010-07-16 16:14:15
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
+ | unanalyzed | call on setState | 2010-07-22 12:56:56

- void setBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.blogEntry) | 2010-07-16 16:14:15
U | post | this.blogEntry == blogEntry | 2010-07-16 16:14:15

- void setDate(Date)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogEntry != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@185 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@185 != null | 2010-07-16 16:14:15
U | post | init'ed(this.date) | 2010-07-16 16:14:15
U | test_vector | date: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15

- void setIpAddress(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.ipAddress) | 2010-07-16 16:14:15
U | post | this.ipAddress == One-of{null, ipAddress} | 2010-07-16 16:14:15
U | test_vector | ipAddress: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@159: {1.. 232-1}, {0} | 2010-07-16 16:14:15

- void setPending()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | this.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#3), old this.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
+ | 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.util.EventObject | 2010-07-16 16:14:15
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
+ | unanalyzed | call on setState | 2010-07-22 12:56:56

- void setRejected()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | this.state == One-of{&net.sourceforge.pebble. domain.State__static_init.new State(State__static_i nit#2), old this.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
+ | 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.util.EventObject | 2010-07-16 16:14:15
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
+ | unanalyzed | call on setState | 2010-07-22 12:56:56

- void setTitle(String)

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