2014-04-01 17:14:57 +00:00
|
|
|
// This is a part of rust-chrono.
|
2015-01-04 06:08:19 +00:00
|
|
|
// Copyright (c) 2014-2015, Kang Seonghoon.
|
2014-04-01 17:14:57 +00:00
|
|
|
// See README.md and LICENSE.txt for details.
|
|
|
|
|
2014-03-28 11:38:11 +00:00
|
|
|
/*!
|
2015-01-12 17:03:12 +00:00
|
|
|
* ISO 8601 calendar date with time zone.
|
2014-03-28 11:38:11 +00:00
|
|
|
*/
|
|
|
|
|
2014-11-19 01:59:32 +00:00
|
|
|
use std::{fmt, hash};
|
2015-01-03 22:45:07 +00:00
|
|
|
use std::cmp::Ordering;
|
|
|
|
use std::ops::{Add, Sub};
|
2014-07-29 07:14:46 +00:00
|
|
|
|
|
|
|
use {Weekday, Datelike};
|
2014-03-29 19:52:37 +00:00
|
|
|
use duration::Duration;
|
2015-01-12 17:03:12 +00:00
|
|
|
use offset::{TimeZone, Offset};
|
2015-01-12 16:33:53 +00:00
|
|
|
use offset::utc::UTC;
|
2014-07-29 07:14:46 +00:00
|
|
|
use naive;
|
|
|
|
use naive::date::NaiveDate;
|
|
|
|
use naive::time::NaiveTime;
|
|
|
|
use datetime::DateTime;
|
2015-02-14 03:33:12 +00:00
|
|
|
use format::{Item, DelayedFormat, StrftimeItems};
|
2014-03-28 11:38:11 +00:00
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
/// ISO 8601 calendar date with time zone.
|
2015-01-03 22:45:07 +00:00
|
|
|
#[derive(Clone)]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub struct Date<Tz: TimeZone> {
|
2014-07-29 06:55:40 +00:00
|
|
|
date: NaiveDate,
|
2015-01-12 17:03:12 +00:00
|
|
|
offset: Tz::Offset,
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// The minimum possible `Date`.
|
2014-10-11 15:50:37 +00:00
|
|
|
pub const MIN: Date<UTC> = Date { date: naive::date::MIN, offset: UTC };
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The maximum possible `Date`.
|
2014-10-11 15:50:37 +00:00
|
|
|
pub const MAX: Date<UTC> = Date { date: naive::date::MAX, offset: UTC };
|
2014-07-29 06:41:07 +00:00
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Date<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
/// Makes a new `Date` with given *UTC* date and offset.
|
2015-01-12 17:03:12 +00:00
|
|
|
/// The local date should be constructed via the `TimeZone` trait.
|
2015-01-12 16:33:53 +00:00
|
|
|
//
|
|
|
|
// note: this constructor is purposedly not named to `new` to discourage the direct usage.
|
2014-07-29 06:41:07 +00:00
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn from_utc(date: NaiveDate, offset: Tz::Offset) -> Date<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
Date { date: date, offset: offset }
|
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date and given `NaiveTime`.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Fails on invalid datetime.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_time(&self, time: NaiveTime) -> Option<DateTime<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
let localdt = self.naive_local().and_time(time);
|
|
|
|
self.timezone().from_local_datetime(&localdt).single()
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute and second.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Fails on invalid hour, minute and/or second.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_hms(&self, hour: u32, min: u32, sec: u32) -> DateTime<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.and_hms_opt(hour, min, sec).expect("invalid time")
|
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute and second.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Returns `None` on invalid hour, minute and/or second.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_hms_opt(&self, hour: u32, min: u32, sec: u32) -> Option<DateTime<Tz>> {
|
2014-07-29 06:55:40 +00:00
|
|
|
NaiveTime::from_hms_opt(hour, min, sec).and_then(|time| self.and_time(time))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and millisecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The millisecond part can exceed 1,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Fails on invalid hour, minute, second and/or millisecond.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_hms_milli(&self, hour: u32, min: u32, sec: u32, milli: u32) -> DateTime<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.and_hms_milli_opt(hour, min, sec, milli).expect("invalid time")
|
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and millisecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The millisecond part can exceed 1,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Returns `None` on invalid hour, minute, second and/or millisecond.
|
|
|
|
#[inline]
|
|
|
|
pub fn and_hms_milli_opt(&self, hour: u32, min: u32, sec: u32,
|
2015-01-12 17:03:12 +00:00
|
|
|
milli: u32) -> Option<DateTime<Tz>> {
|
2014-07-29 06:55:40 +00:00
|
|
|
NaiveTime::from_hms_milli_opt(hour, min, sec, milli).and_then(|time| self.and_time(time))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and microsecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The microsecond part can exceed 1,000,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Fails on invalid hour, minute, second and/or microsecond.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_hms_micro(&self, hour: u32, min: u32, sec: u32, micro: u32) -> DateTime<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.and_hms_micro_opt(hour, min, sec, micro).expect("invalid time")
|
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and microsecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The microsecond part can exceed 1,000,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Returns `None` on invalid hour, minute, second and/or microsecond.
|
|
|
|
#[inline]
|
|
|
|
pub fn and_hms_micro_opt(&self, hour: u32, min: u32, sec: u32,
|
2015-01-12 17:03:12 +00:00
|
|
|
micro: u32) -> Option<DateTime<Tz>> {
|
2014-07-29 06:55:40 +00:00
|
|
|
NaiveTime::from_hms_micro_opt(hour, min, sec, micro).and_then(|time| self.and_time(time))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and nanosecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The nanosecond part can exceed 1,000,000,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Fails on invalid hour, minute, second and/or nanosecond.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn and_hms_nano(&self, hour: u32, min: u32, sec: u32, nano: u32) -> DateTime<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.and_hms_nano_opt(hour, min, sec, nano).expect("invalid time")
|
|
|
|
}
|
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
/// Makes a new `DateTime` from the current date, hour, minute, second and nanosecond.
|
2014-07-29 06:41:07 +00:00
|
|
|
/// The nanosecond part can exceed 1,000,000,000 in order to represent the leap second.
|
|
|
|
/// The offset in the current date is preserved.
|
|
|
|
///
|
|
|
|
/// Returns `None` on invalid hour, minute, second and/or nanosecond.
|
|
|
|
#[inline]
|
|
|
|
pub fn and_hms_nano_opt(&self, hour: u32, min: u32, sec: u32,
|
2015-01-12 17:03:12 +00:00
|
|
|
nano: u32) -> Option<DateTime<Tz>> {
|
2014-07-29 06:55:40 +00:00
|
|
|
NaiveTime::from_hms_nano_opt(hour, min, sec, nano).and_then(|time| self.and_time(time))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Makes a new `Date` for the next date.
|
|
|
|
///
|
|
|
|
/// Fails when `self` is the last representable date.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn succ(&self) -> Date<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.succ_opt().expect("out of bound")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Makes a new `Date` for the next date.
|
|
|
|
///
|
|
|
|
/// Returns `None` when `self` is the last representable date.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn succ_opt(&self) -> Option<Date<Tz>> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.date.succ_opt().map(|date| Date::from_utc(date, self.offset.clone()))
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Makes a new `Date` for the prior date.
|
|
|
|
///
|
|
|
|
/// Fails when `self` is the first representable date.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn pred(&self) -> Date<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.pred_opt().expect("out of bound")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Makes a new `Date` for the prior date.
|
|
|
|
///
|
|
|
|
/// Returns `None` when `self` is the first representable date.
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn pred_opt(&self) -> Option<Date<Tz>> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.date.pred_opt().map(|date| Date::from_utc(date, self.offset.clone()))
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
/// Retrieves an associated offset from UTC.
|
2014-08-29 09:14:08 +00:00
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn offset<'a>(&'a self) -> &'a Tz::Offset {
|
2014-08-29 09:14:08 +00:00
|
|
|
&self.offset
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
/// Retrieves an associated time zone.
|
2015-01-12 16:33:53 +00:00
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn timezone(&self) -> Tz {
|
|
|
|
TimeZone::from_offset(&self.offset)
|
2015-01-12 16:33:53 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
/// Changes the associated time zone.
|
2014-11-28 14:53:22 +00:00
|
|
|
/// This does not change the actual `Date` (but will change the string representation).
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
pub fn with_timezone<Tz2: TimeZone>(&self, tz: &Tz2) -> Date<Tz2> {
|
2015-01-12 16:33:53 +00:00
|
|
|
tz.from_utc_date(&self.date)
|
2014-11-28 14:53:22 +00:00
|
|
|
}
|
|
|
|
|
2015-01-28 17:31:18 +00:00
|
|
|
/// Adds given `Duration` to the current date.
|
|
|
|
///
|
|
|
|
/// Returns `None` when it will result in overflow.
|
|
|
|
#[inline]
|
2015-02-18 16:48:29 +00:00
|
|
|
pub fn checked_add(self, rhs: Duration) -> Option<Date<Tz>> {
|
2015-01-28 17:31:18 +00:00
|
|
|
let date = try_opt!(self.date.checked_add(rhs));
|
|
|
|
Some(Date { date: date, offset: self.offset })
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Subtracts given `Duration` from the current date.
|
|
|
|
///
|
|
|
|
/// Returns `None` when it will result in overflow.
|
|
|
|
#[inline]
|
2015-02-18 16:48:29 +00:00
|
|
|
pub fn checked_sub(self, rhs: Duration) -> Option<Date<Tz>> {
|
2015-01-28 17:31:18 +00:00
|
|
|
let date = try_opt!(self.date.checked_sub(rhs));
|
|
|
|
Some(Date { date: date, offset: self.offset })
|
|
|
|
}
|
|
|
|
|
2015-01-12 16:33:53 +00:00
|
|
|
/// Returns a view to the naive UTC date.
|
|
|
|
#[inline]
|
|
|
|
pub fn naive_utc(&self) -> NaiveDate {
|
|
|
|
self.date
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns a view to the naive local date.
|
|
|
|
#[inline]
|
|
|
|
pub fn naive_local(&self) -> NaiveDate {
|
|
|
|
self.date + self.offset.local_minus_utc()
|
2015-01-09 18:27:24 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-12 16:33:53 +00:00
|
|
|
/// Maps the local date to other date with given conversion function.
|
2015-01-12 17:03:12 +00:00
|
|
|
fn map_local<Tz: TimeZone, F>(d: &Date<Tz>, mut f: F) -> Option<Date<Tz>>
|
2015-01-12 16:33:53 +00:00
|
|
|
where F: FnMut(NaiveDate) -> Option<NaiveDate> {
|
|
|
|
f(d.naive_local()).and_then(|date| d.timezone().from_local_date(&date).single())
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Date<Tz> where Tz::Offset: fmt::Display {
|
2015-02-14 03:33:12 +00:00
|
|
|
/// Formats the date with the specified formatting items.
|
|
|
|
#[inline]
|
2015-02-21 09:14:09 +00:00
|
|
|
pub fn format_with_items<'a, I>(&self, items: I) -> DelayedFormat<I>
|
2015-02-14 03:33:12 +00:00
|
|
|
where I: Iterator<Item=Item<'a>> + Clone {
|
2015-02-18 16:48:29 +00:00
|
|
|
DelayedFormat::new_with_offset(Some(self.naive_local()), None, &self.offset, items)
|
2015-02-14 03:33:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Formats the date with the specified format string.
|
2015-01-26 12:14:50 +00:00
|
|
|
/// See the `format::strftime` module on the supported escape sequences.
|
2014-07-31 19:08:19 +00:00
|
|
|
#[inline]
|
2015-02-21 09:14:09 +00:00
|
|
|
pub fn format<'a>(&self, fmt: &'a str) -> DelayedFormat<StrftimeItems<'a>> {
|
2015-02-14 03:33:12 +00:00
|
|
|
self.format_with_items(StrftimeItems::new(fmt))
|
2014-07-31 19:08:19 +00:00
|
|
|
}
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Datelike for Date<Tz> {
|
2015-01-12 16:33:53 +00:00
|
|
|
#[inline] fn year(&self) -> i32 { self.naive_local().year() }
|
|
|
|
#[inline] fn month(&self) -> u32 { self.naive_local().month() }
|
|
|
|
#[inline] fn month0(&self) -> u32 { self.naive_local().month0() }
|
|
|
|
#[inline] fn day(&self) -> u32 { self.naive_local().day() }
|
|
|
|
#[inline] fn day0(&self) -> u32 { self.naive_local().day0() }
|
|
|
|
#[inline] fn ordinal(&self) -> u32 { self.naive_local().ordinal() }
|
|
|
|
#[inline] fn ordinal0(&self) -> u32 { self.naive_local().ordinal0() }
|
|
|
|
#[inline] fn weekday(&self) -> Weekday { self.naive_local().weekday() }
|
|
|
|
#[inline] fn isoweekdate(&self) -> (i32, u32, Weekday) { self.naive_local().isoweekdate() }
|
2014-07-29 06:41:07 +00:00
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_year(&self, year: i32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_year(year))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_month(&self, month: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_month(month))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_month0(&self, month0: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_month0(month0))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_day(&self, day: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_day(day))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_day0(&self, day0: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_day0(day0))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_ordinal(&self, ordinal: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_ordinal(ordinal))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn with_ordinal0(&self, ordinal0: u32) -> Option<Date<Tz>> {
|
2015-01-12 16:33:53 +00:00
|
|
|
map_local(self, |date| date.with_ordinal0(ordinal0))
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone, Tz2: TimeZone> PartialEq<Date<Tz2>> for Date<Tz> {
|
|
|
|
fn eq(&self, other: &Date<Tz2>) -> bool { self.date == other.date }
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Eq for Date<Tz> {
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> PartialOrd for Date<Tz> {
|
|
|
|
fn partial_cmp(&self, other: &Date<Tz>) -> Option<Ordering> {
|
2014-07-29 06:41:07 +00:00
|
|
|
self.date.partial_cmp(&other.date)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Ord for Date<Tz> {
|
|
|
|
fn cmp(&self, other: &Date<Tz>) -> Ordering { self.date.cmp(&other.date) }
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-02-21 09:14:09 +00:00
|
|
|
impl<Tz: TimeZone> hash::Hash for Date<Tz> {
|
|
|
|
fn hash<H: hash::Hasher>(&self, state: &mut H) { self.date.hash(state) }
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Add<Duration> for Date<Tz> {
|
|
|
|
type Output = Date<Tz>;
|
2015-01-05 09:31:15 +00:00
|
|
|
|
2015-01-28 17:31:18 +00:00
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn add(self, rhs: Duration) -> Date<Tz> {
|
2015-01-28 17:31:18 +00:00
|
|
|
self.checked_add(rhs).expect("`Date + Duration` overflowed")
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone, Tz2: TimeZone> Sub<Date<Tz2>> for Date<Tz> {
|
2015-01-05 09:31:15 +00:00
|
|
|
type Output = Duration;
|
|
|
|
|
2015-01-28 17:31:18 +00:00
|
|
|
#[inline]
|
2015-01-12 17:03:12 +00:00
|
|
|
fn sub(self, rhs: Date<Tz2>) -> Duration { self.date - rhs.date }
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> Sub<Duration> for Date<Tz> {
|
|
|
|
type Output = Date<Tz>;
|
2015-01-05 09:31:15 +00:00
|
|
|
|
2014-11-28 14:53:22 +00:00
|
|
|
#[inline]
|
2015-02-18 16:48:29 +00:00
|
|
|
fn sub(self, rhs: Duration) -> Date<Tz> {
|
2015-01-28 17:31:18 +00:00
|
|
|
self.checked_sub(rhs).expect("`Date - Duration` overflowed")
|
|
|
|
}
|
2014-11-28 14:53:22 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> fmt::Debug for Date<Tz> {
|
2015-01-09 18:27:24 +00:00
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2015-01-12 16:33:53 +00:00
|
|
|
write!(f, "{:?}{:?}", self.naive_local(), self.offset)
|
2015-01-09 18:27:24 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl<Tz: TimeZone> fmt::Display for Date<Tz> where Tz::Offset: fmt::Display {
|
2014-07-29 06:41:07 +00:00
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2015-01-12 16:33:53 +00:00
|
|
|
write!(f, "{}{}", self.naive_local(), self.offset)
|
2014-07-29 06:41:07 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-13 12:53:53 +00:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use std::fmt;
|
|
|
|
|
|
|
|
use duration::Duration;
|
|
|
|
use naive::date::NaiveDate;
|
|
|
|
use naive::datetime::NaiveDateTime;
|
2015-01-12 17:03:12 +00:00
|
|
|
use offset::{TimeZone, Offset, LocalResult};
|
2014-12-13 12:53:53 +00:00
|
|
|
|
2015-01-03 22:45:07 +00:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq)]
|
2014-12-13 12:53:53 +00:00
|
|
|
struct UTC1y; // same to UTC but with an offset of 365 days
|
|
|
|
|
2015-01-12 16:33:53 +00:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq)]
|
|
|
|
struct OneYear;
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl TimeZone for UTC1y {
|
|
|
|
type Offset = OneYear;
|
2014-12-13 12:53:53 +00:00
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
fn from_offset(_offset: &OneYear) -> UTC1y { UTC1y }
|
2014-12-13 12:53:53 +00:00
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
fn offset_from_local_date(&self, _local: &NaiveDate) -> LocalResult<OneYear> {
|
2015-01-12 16:33:53 +00:00
|
|
|
LocalResult::Single(OneYear)
|
2014-12-13 12:53:53 +00:00
|
|
|
}
|
2015-01-12 17:03:12 +00:00
|
|
|
fn offset_from_local_datetime(&self, _local: &NaiveDateTime) -> LocalResult<OneYear> {
|
2015-01-12 16:33:53 +00:00
|
|
|
LocalResult::Single(OneYear)
|
2014-12-13 12:53:53 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
fn offset_from_utc_date(&self, _utc: &NaiveDate) -> OneYear { OneYear }
|
|
|
|
fn offset_from_utc_datetime(&self, _utc: &NaiveDateTime) -> OneYear { OneYear }
|
2015-01-12 16:33:53 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 17:03:12 +00:00
|
|
|
impl Offset for OneYear {
|
2015-01-12 16:33:53 +00:00
|
|
|
fn local_minus_utc(&self) -> Duration { Duration::days(365) }
|
2014-12-13 12:53:53 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 16:33:53 +00:00
|
|
|
impl fmt::Debug for OneYear {
|
2014-12-13 12:53:53 +00:00
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { write!(f, "+8760:00") }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_date_weird_offset() {
|
2015-01-09 18:27:24 +00:00
|
|
|
assert_eq!(format!("{:?}", UTC1y.ymd(2012, 2, 29)),
|
2014-12-13 12:53:53 +00:00
|
|
|
"2012-02-29+8760:00".to_string());
|
2015-01-09 18:27:24 +00:00
|
|
|
assert_eq!(format!("{:?}", UTC1y.ymd(2012, 2, 29).and_hms(5, 6, 7)),
|
2014-12-13 12:53:53 +00:00
|
|
|
"2012-02-29T05:06:07+8760:00".to_string());
|
2015-01-09 18:27:24 +00:00
|
|
|
assert_eq!(format!("{:?}", UTC1y.ymd(2012, 3, 4)),
|
2014-12-13 12:53:53 +00:00
|
|
|
"2012-03-04+8760:00".to_string());
|
2015-01-09 18:27:24 +00:00
|
|
|
assert_eq!(format!("{:?}", UTC1y.ymd(2012, 3, 4).and_hms(5, 6, 7)),
|
2014-12-13 12:53:53 +00:00
|
|
|
"2012-03-04T05:06:07+8760:00".to_string());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|