method net.sourceforge.pebble.logging.LogSummaryContainer __static_init










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










method int getTotalRequests()
prethis.logSummaries != null
presumptionjava.util.Iterator:next(...)@69 != null
postinit'ed(return_value)
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getTotalRequests
test_vectorjava.util.Iterator:hasNext(...)@68: {1}, {0}









  infomethod not available-- call on int getTotalRequests()











method List getLogSummaries()
preinit'ed(this.logSummaries)
postreturn_value == this.logSummaries
postinit'ed(return_value)