Messages

method | net.sourceforge.pebble.domain.ResponseManager__ static_init

method | void net.sourceforge.pebble.domain. ResponseManager(Blog)
post | this.approvedResponses == &new TreeSet(Response Manager#5)
post | this.blog == blog
post | init'ed(this.blog)
post | this.pendingResponses == &new TreeSet(ResponseM anager#7)
post | this.recentComments == &new TreeSet(ResponseMan ager#1)
post | this.recentTrackBacks == &new TreeSet(ResponseM anager#3)
post | this.rejectedResponses == &new TreeSet(Response Manager#9)
post | new TreeSet(ResponseManager#1) num objects == 1
post | new TreeSet(ResponseManager#3) num objects == 1
post | new TreeSet(ResponseManager#5) num objects == 1
post | new TreeSet(ResponseManager#7) num objects == 1
post | new TreeSet(ResponseManager#9) num objects == 1

method | Collection getRecentComments()
pre | init'ed(this.recentComments)
post | return_value == this.recentComments
post | init'ed(return_value)

method | Collection getRecentTrackBacks()
pre | init'ed(this.recentTrackBacks)
post | return_value == this.recentTrackBacks
post | init'ed(return_value)

method | Collection getRecentResponses()
pre | init'ed(this.approvedResponses)
post | return_value == &new ArrayList(getRecentRespons es#1)
post | new ArrayList(getRecentResponses#1) num objects == 1

method | int getNumberOfApprovedResponses()
pre | this.approvedResponses != null
post | init'ed(return_value)

method | Collection getPendingResponses()
pre | init'ed(this.pendingResponses)
post | return_value == &new ArrayList(getPendingRespon ses#1)
post | new ArrayList(getPendingResponses#1) num objects == 1

method | int getNumberOfPendingResponses()
pre | this.pendingResponses != null
post | init'ed(return_value)

method | Collection getRejectedResponses()
pre | init'ed(this.rejectedResponses)
post | return_value == &new ArrayList(getRejectedRespo nses#1)
post | new ArrayList(getRejectedResponses#1) num objects == 1

method | int getNumberOfRejectedResponses()
pre | this.rejectedResponses != null
post | init'ed(return_value)

method | void addRecentComment(Comment)
pre | comment != null
pre | comment.state != null
pre | (soft) init'ed(comment.state.name)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre | (soft) this.approvedResponses != null
pre | (soft) this.pendingResponses != null
pre | (soft) this.recentComments != null
pre | (soft) this.rejectedResponses != null
unanalyzed | call on getState
unanalyzed | call on java.lang.String:equals

method | void removeRecentComment(Comment)
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentComments != null
pre | this.rejectedResponses != null

method | void addRecentTrackBack(TrackBack)
pre | trackBack != null
pre | trackBack.state != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre | (soft) this.approvedResponses != null
pre | (soft) this.pendingResponses != null
pre | (soft) this.recentTrackBacks != null
pre | (soft) this.rejectedResponses != null
pre | (soft) init'ed(trackBack.state.name)
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void removeRecentTrackBack(TrackBack)
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentTrackBacks != null
pre | this.rejectedResponses != null

method | void commentAdded(CommentEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre | (soft) this.approvedResponses != null
pre | (soft) this.pendingResponses != null
pre | (soft) this.recentComments != null
pre | (soft) this.rejectedResponses != null
presumption | getComment(...).state@224 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void commentRemoved(CommentEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentComments != null
pre | this.rejectedResponses != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource

method | void commentApproved(CommentEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentComments != null
pre | this.rejectedResponses != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getComment(...).state@243 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void commentRejected(CommentEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentComments != null
pre | this.rejectedResponses != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getComment(...).state@253 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void trackBackAdded(TrackBackEvent)
pre | event != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre | (soft) this.approvedResponses != null
pre | (soft) this.pendingResponses != null
pre | (soft) this.recentTrackBacks != null
pre | (soft) this.rejectedResponses != null
presumption | getTrackBack(...).state@262 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on getState

method | void trackBackRemoved(TrackBackEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentTrackBacks != null
pre | this.rejectedResponses != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource

method | void trackBackApproved(TrackBackEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentTrackBacks != null
pre | this.rejectedResponses != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getTrackBack(...).state@281 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on getState

method | void trackBackRejected(TrackBackEvent)
pre | event != null
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.recentTrackBacks != null
pre | this.rejectedResponses != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getTrackBack(...).state@291 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on getState

method | int getNumberOfResponses()
pre | this.approvedResponses != null
pre | this.pendingResponses != null
pre | this.rejectedResponses != null
presumption | java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 in -232..6_442_450_943
presumption | java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 in -231..232-1
post | (soft) init'ed(return_value)