Messages

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)