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