Messages

method | net.sourceforge.pebble.util.RelativeDate__static_ init

method | void net.sourceforge.pebble.util.RelativeDate(long )
post | this.time == time
post | init'ed(this.time)

method | long getDays()
pre | init'ed(this.time)
post | return_value == this.time/86_400_000
post | return_value in -106_751_991_167..213_503_982_334

method | long getHours()
pre | init'ed(this.time)
post | return_value == (this.time%86_400_000)/3_600_000
post | return_value in -23..23

method | long getMinutes()
pre | init'ed(this.time)
post | return_value == ((this.time%86_400_000)%3_600_000)/ 60_000
post | return_value in -59..59

method | long getSeconds()
pre | init'ed(this.time)
post | return_value == (((this.time%86_400_000)%3_600_000) %60_000)/1_000
post | return_value in -59..59