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 -2³²..6_442_450_943
presumption	java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 + java.util.SortedSet:size(...)@298 in -2³¹..2³²-1
post	(soft) init'ed(return_value)