src/Pure/General/date.scala
changeset 65733 45b8446a8b52
parent 65021 da8ae577d171
child 69980 f2e3adfd916f
     1.1 --- a/src/Pure/General/date.scala	Fri May 05 18:15:53 2017 +0200
     1.2 +++ b/src/Pure/General/date.scala	Fri May 05 18:32:18 2017 +0200
     1.3 @@ -93,6 +93,7 @@
     1.4    def to(zone: ZoneId): Date = new Date(rep.withZoneSameInstant(zone))
     1.5    def to_utc: Date = to(ZoneId.of("UTC"))
     1.6  
     1.7 +  def unix_epoch: Long = rep.toEpochSecond
     1.8    def instant: Instant = Instant.from(rep)
     1.9    def time: Time = Time.instant(instant)
    1.10    def timezone: ZoneId = rep.getZone