method

net.sourceforge.pebble.logging.LogSummary__static_ init

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

method	Date getDate()
pre	init'ed(this.date)
post	return_value == this.date
post	init'ed(return_value)