Skip to content

Observation

[Source]

Resolved local fields for a (zone, instant) pair: local date and time-of-day, offset from UTC, zone abbreviation, and DST flag.

Produced by every _TzData.observation_at(...) call and cached on ZonedDateTime so its accessors don't re-query tzdata. The shape was chosen to match what zdump emits per transition record, which makes it convenient as the comparison surface in our differential tests against zdump.

class val Observation

Constructors

create

[Source]

new val create(
  local_date': Date val,
  local_tod': TimeOfDay val,
  offset_sec': I32 val,
  abbreviation': String val,
  is_dst': Bool val)
: Observation val^

Parameters

Returns


Public Functions

local_date

[Source]

fun val local_date()
: Date val

Returns


local_tod

[Source]

fun val local_tod()
: TimeOfDay val

Returns


offset_sec

[Source]

fun val offset_sec()
: I32 val

Returns


abbreviation

[Source]

fun val abbreviation()
: String val

Returns


is_dst

[Source]

fun val is_dst()
: Bool val

Returns