Messages

method

net.sourceforge.pebble.logging.LogSummaryContainer __static_init

method	void net.sourceforge.pebble.logging. LogSummaryContainer(Blog, Date, List)
post	this.blog == blog
post	init'ed(this.blog)
post	this.date == date
post	init'ed(this.date)
post	this.logSummaries == logSummaries
post	init'ed(this.logSummaries)

method	int getTotalRequests()
pre	this.logSummaries != null
presumption	java.util.Iterator:next(...)@69 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTotalRequests
test_vector	java.util.Iterator:hasNext(...)@68: {1}, {0}

info method not available -- call on int getTotalRequests()

method	List getLogSummaries()
pre	init'ed(this.logSummaries)
post	return_value == this.logSummaries
post	init'ed(return_value)