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

- void addRecentComment(Comment)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(comment.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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | (soft) this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.recentComments != null | 2010-07-16 16:14:15
U | pre | (soft) this.rejectedResponses != null | 2010-07-16 16:14:15
U | pre | comment != null | 2010-07-16 16:14:15
U | pre | comment.state != null | 2010-07-16 16:14:15
+ | unanalyzed | call on getState | 2010-07-22 12:56:56
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15

- void addRecentTrackBack(TrackBack)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(trackBack.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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | (soft) this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | (soft) this.rejectedResponses != null | 2010-07-16 16:14:15
U | pre | trackBack != null | 2010-07-16 16:14:15
U | pre | trackBack.state != null | 2010-07-16 16:14:15
+ | unanalyzed | call on getState | 2010-07-22 12:56:56
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15

- void commentAdded(CommentEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | (soft) this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.recentComments != null | 2010-07-16 16:14:15
U | pre | (soft) this.rejectedResponses != null | 2010-07-16 16:14:15
U | pre | event != null | 2010-07-16 16:14:15
U | presumption | getComment(...).state@224 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource | 2010-07-16 16:14:15

- void commentApproved(CommentEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentComments != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | presumption | getComment(...).state@243 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource | 2010-07-16 16:14:15

- void commentRejected(CommentEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentComments != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | presumption | getComment(...).state@253 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource | 2010-07-16 16:14:15

- void commentRemoved(CommentEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentComments != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource | 2010-07-16 16:14:15

- int getNumberOfApprovedResponses()

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

- int getNumberOfPendingResponses()

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

- int getNumberOfRejectedResponses()

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

- int getNumberOfResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | presumption | java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 in -231..232-1 | 2010-07-16 16:14:15
U | presumption | java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 in -232..6_442_450_943 | 2010-07-16 16:14:15
U | post | (soft) init'ed(return_value) | 2010-07-16 16:14:15

- Collection getPendingResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.pendingResponses) | 2010-07-16 16:14:15
U | post | new ArrayList(getPendingResponses#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getPendingRespon ses#1) | 2010-07-16 16:14:15

- Collection getRecentComments()

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

- Collection getRecentResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.approvedResponses) | 2010-07-16 16:14:15
U | post | new ArrayList(getRecentResponses#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getRecentRespons es#1) | 2010-07-16 16:14:15

- Collection getRecentTrackBacks()

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

- Collection getRejectedResponses()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.rejectedResponses) | 2010-07-16 16:14:15
U | post | new ArrayList(getRejectedResponses#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getRejectedRespo nses#1) | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.ResponseManager(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.blog) | 2010-07-16 16:14:15
U | post | new TreeSet(ResponseManager#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new TreeSet(ResponseManager#3) num objects == 1 | 2010-07-16 16:14:15
U | post | new TreeSet(ResponseManager#5) num objects == 1 | 2010-07-16 16:14:15
U | post | new TreeSet(ResponseManager#7) num objects == 1 | 2010-07-16 16:14:15
U | post | new TreeSet(ResponseManager#9) num objects == 1 | 2010-07-16 16:14:15
U | post | this.approvedResponses == &new TreeSet(Response Manager#5) | 2010-07-16 16:14:15
U | post | this.blog == blog | 2010-07-16 16:14:15
U | post | this.pendingResponses == &new TreeSet(ResponseM anager#7) | 2010-07-16 16:14:15
U | post | this.recentComments == &new TreeSet(ResponseMan ager#1) | 2010-07-16 16:14:15
U | post | this.recentTrackBacks == &new TreeSet(ResponseM anager#3) | 2010-07-16 16:14:15
U | post | this.rejectedResponses == &new TreeSet(Response Manager#9) | 2010-07-16 16:14:15

- net.sourceforge.pebble.domain.ResponseManager__static_init

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

- void removeRecentComment(Comment)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentComments != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15

- void removeRecentTrackBack(TrackBack)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15

- void trackBackAdded(TrackBackEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | (soft) this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | (soft) this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | (soft) this.rejectedResponses != null | 2010-07-16 16:14:15
U | pre | event != null | 2010-07-16 16:14:15
U | presumption | getTrackBack(...).state@262 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource | 2010-07-16 16:14:15

- void trackBackApproved(TrackBackEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | presumption | getTrackBack(...).state@281 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource | 2010-07-16 16:14:15

- void trackBackRejected(TrackBackEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
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 | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null | 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 | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | presumption | getTrackBack(...).state@291 != null | 2010-07-16 16:14:15
U | presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null | 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 isPending | 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.SortedSet:add | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource | 2010-07-16 16:14:15

- void trackBackRemoved(TrackBackEvent)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | event != null | 2010-07-16 16:14:15
U | pre | this.approvedResponses != null | 2010-07-16 16:14:15
U | pre | this.pendingResponses != null | 2010-07-16 16:14:15
U | pre | this.recentTrackBacks != null | 2010-07-16 16:14:15
U | pre | this.rejectedResponses != null | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.SortedSet:remove | 2010-07-16 16:14:15
U | unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource | 2010-07-16 16:14:15