Re: [gobo-eiffel-develop] Conversion from DT_TIME_ZONE to DT_FIXED_OFFSET_TIME_ZONE

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
>>>>>>"Eric" == Eric Bezault <er...@go...> writes:
>>>>>
> 
>     Eric> Colin Paul Adams wrote:
>     >>>>>>> "Eric" == Eric Bezault <er...@go...> writes:
>     >>>>>>
>     Eric> Colin Paul Adams wrote:
>     >> >> Is it OK to add is/as_fixed_offset to DT_TIME_ZONE, so as to
>     >> be >> able to access feature fixed_offset without an assignment
>     >> >> attempt?
>     Eric> It depends on what you want to use it for.  In the
>     Eric> DT_ZONED_DATE_TIME you can get the fixed_offset using:
>     Eric> time_zone.offset (date_time)
>     >> But then I need to supply a date-time.
> 
>     Eric> That's the `date_time' of the DT_ZONED_DATE_TIME.
> 
> Fine, if it's a zoned date-time, but not if it's a zoned date (which
> it is).

    create my_date_time.make_from_date (d1.date)
    assert ("+00:00 is UTC", d1.time_zone.offset (my_date_time).hour = 0)

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com