method

net.sourceforge.pebble.logging.LogSummaryItem__ static_init

method	void net.sourceforge.pebble.logging. LogSummaryItem(Blog, Date, int)
post	this.blog == blog
post	init'ed(this.blog)
post	this.date == date
post	init'ed(this.date)
post	this.totalRequests == totalRequests
post	init'ed(this.totalRequests)

method	int getTotalRequests()
pre	init'ed(this.totalRequests)
post	return_value == this.totalRequests
post	init'ed(return_value)