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)