method

net.sourceforge.pebble.domain.TimePeriod__static_ init

method	void net.sourceforge.pebble.domain. TimePeriod(Blog)
post	this.blog == blog
post	init'ed(this.blog)

method	Blog getBlog()
pre	init'ed(this.blog)
post	return_value == this.blog
post	init'ed(return_value)

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

method	void setDate(Date)
post	this.date == d
post	init'ed(this.date)