Observation¶
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.
Constructors¶
create¶
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¶
- local_date': Date val
- local_tod': TimeOfDay val
- offset_sec': I32 val
- abbreviation': String val
- is_dst': Bool val
Returns¶
- Observation val^
Public Functions¶
local_date¶
Returns¶
- Date val
local_tod¶
Returns¶
- TimeOfDay val
offset_sec¶
Returns¶
- I32 val
abbreviation¶
Returns¶
- String val
is_dst¶
Returns¶
- Bool val