2014-08-01 00:24:54 +00:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
//! Temporal quantification.
|
|
|
|
|
2015-07-06 06:20:00 +00:00
|
|
|
#![stable(feature = "time", since = "1.3.0")]
|
2014-11-10 20:27:56 +00:00
|
|
|
|
2015-11-17 01:36:14 +00:00
|
|
|
use error::Error;
|
|
|
|
use fmt;
|
|
|
|
use ops::{Add, Sub};
|
|
|
|
use sys::time;
|
|
|
|
|
2015-11-16 16:54:28 +00:00
|
|
|
#[stable(feature = "time", since = "1.3.0")]
|
2014-08-01 00:24:54 +00:00
|
|
|
pub use self::duration::Duration;
|
|
|
|
|
2015-04-28 18:40:04 +00:00
|
|
|
mod duration;
|
2015-11-17 01:36:14 +00:00
|
|
|
|
2015-11-25 20:45:14 +00:00
|
|
|
/// A measurement of a monotonically increasing clock.
|
2015-11-17 01:36:14 +00:00
|
|
|
///
|
2015-11-25 20:45:39 +00:00
|
|
|
/// Instants are always guaranteed to be greater than any previously measured
|
2015-11-17 01:36:14 +00:00
|
|
|
/// instant when created, and are often useful for tasks such as measuring
|
|
|
|
/// benchmarks or timing how long an operation takes.
|
|
|
|
///
|
|
|
|
/// Note, however, that instants are not guaranteed to be **steady**. In other
|
2015-11-25 20:46:39 +00:00
|
|
|
/// words, each tick of the underlying clock may not be the same length (e.g.
|
2015-11-17 01:36:14 +00:00
|
|
|
/// some seconds may be longer than others). An instant may jump forwards or
|
|
|
|
/// experience time dilation (slow down or speed up), but it will never go
|
|
|
|
/// backwards.
|
|
|
|
///
|
|
|
|
/// Instants are opaque types that can only be compared to one another. There is
|
2015-11-25 20:47:17 +00:00
|
|
|
/// no method to get "the number of seconds" from an instant. Instead, it only
|
|
|
|
/// allows measuring the duration between two instants (or comparing two
|
2015-11-17 01:36:14 +00:00
|
|
|
/// instants).
|
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord)]
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
pub struct Instant(time::Instant);
|
|
|
|
|
|
|
|
/// A measurement of the system clock appropriate for timestamps such as those
|
|
|
|
/// on files on the filesystem.
|
|
|
|
///
|
|
|
|
/// Distinct from the `Instant` type, this time measurement **is not
|
|
|
|
/// monotonic**. This means that you can save a file to the file system, then
|
|
|
|
/// save another file to the file system, **and the second file has a
|
|
|
|
/// `SystemTime` measurement earlier than the second**. In other words, an
|
|
|
|
/// operation that happens after another operation in real time may have an
|
|
|
|
/// earlier `SystemTime`!
|
|
|
|
///
|
|
|
|
/// Consequently, comparing two `SystemTime` instances to learn about the
|
|
|
|
/// duration between them returns a `Result` instead of an infallible `Duration`
|
|
|
|
/// to indicate that this sort of time drift may happen and needs to be handled.
|
|
|
|
///
|
|
|
|
/// Although a `SystemTime` cannot be directly inspected, the `UNIX_EPOCH`
|
|
|
|
/// constant is provided in this module as an anchor in time to learn
|
|
|
|
/// information about a `SystemTime`. By calculating the duration from this
|
2015-11-25 20:46:39 +00:00
|
|
|
/// fixed point in time, a `SystemTime` can be converted to a human-readable time,
|
2015-11-17 01:36:14 +00:00
|
|
|
/// or perhaps some other string representation.
|
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord)]
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
pub struct SystemTime(time::SystemTime);
|
|
|
|
|
|
|
|
/// An error returned from the `duration_from_earlier` method on `SystemTime`,
|
|
|
|
/// used to learn about why how far in the opposite direction a timestamp lies.
|
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
pub struct SystemTimeError(Duration);
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Instant {
|
|
|
|
/// Returns an instant corresponding to "now".
|
|
|
|
pub fn now() -> Instant {
|
|
|
|
Instant(time::Instant::now())
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the amount of time elapsed from another instant to this one.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
|
|
|
/// This function will panic if `earlier` is later than `self`, which should
|
|
|
|
/// only be possible if `earlier` was created after `self`. Because
|
|
|
|
/// `Instant` is monotonic, the only time that this should happen should be
|
|
|
|
/// a bug.
|
|
|
|
pub fn duration_from_earlier(&self, earlier: Instant) -> Duration {
|
|
|
|
self.0.sub_instant(&earlier.0)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the amount of time elapsed since this instant was created.
|
|
|
|
///
|
|
|
|
/// # Panics
|
|
|
|
///
|
2015-11-25 20:50:47 +00:00
|
|
|
/// This function may panic if the current time is earlier than this
|
|
|
|
/// instant, which is something that can happen if an `Instant` is
|
|
|
|
/// produced synthetically.
|
2015-11-17 01:36:14 +00:00
|
|
|
pub fn elapsed(&self) -> Duration {
|
|
|
|
Instant::now().duration_from_earlier(*self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Add<Duration> for Instant {
|
|
|
|
type Output = Instant;
|
|
|
|
|
|
|
|
fn add(self, other: Duration) -> Instant {
|
|
|
|
Instant(self.0.add_duration(&other))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Sub<Duration> for Instant {
|
|
|
|
type Output = Instant;
|
|
|
|
|
|
|
|
fn sub(self, other: Duration) -> Instant {
|
|
|
|
Instant(self.0.sub_duration(&other))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl fmt::Debug for Instant {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
self.0.fmt(f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl SystemTime {
|
|
|
|
/// Returns the system time corresponding to "now".
|
|
|
|
pub fn now() -> SystemTime {
|
|
|
|
SystemTime(time::SystemTime::now())
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the amount of time elapsed from an earlier point in time.
|
|
|
|
///
|
|
|
|
/// This function may fail because measurements taken earlier are not
|
|
|
|
/// guaranteed to always be before later measurements (due to anomalies such
|
|
|
|
/// as the system clock being adjusted either forwards or backwards).
|
|
|
|
///
|
2015-11-25 20:51:01 +00:00
|
|
|
/// If successful, `Ok(Duration)` is returned where the duration represents
|
2015-11-17 01:36:14 +00:00
|
|
|
/// the amount of time elapsed from the specified measurement to this one.
|
|
|
|
///
|
|
|
|
/// Returns an `Err` if `earlier` is later than `self`, and the error
|
|
|
|
/// contains how far from `self` the time is.
|
|
|
|
pub fn duration_from_earlier(&self, earlier: SystemTime)
|
|
|
|
-> Result<Duration, SystemTimeError> {
|
|
|
|
self.0.sub_time(&earlier.0).map_err(SystemTimeError)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the amount of time elapsed since this system time was created.
|
|
|
|
///
|
|
|
|
/// This function may fail as the underlying system clock is susceptible to
|
|
|
|
/// drift and updates (e.g. the system clock could go backwards), so this
|
|
|
|
/// function may not always succeed. If successful, `Ok(duration)` is
|
|
|
|
/// returned where the duration represents the amount of time elapsed from
|
|
|
|
/// this time measurement to the current time.
|
|
|
|
///
|
|
|
|
/// Returns an `Err` if `self` is later than the current system time, and
|
|
|
|
/// the error contains how far from the current system time `self` is.
|
|
|
|
pub fn elapsed(&self) -> Result<Duration, SystemTimeError> {
|
|
|
|
SystemTime::now().duration_from_earlier(*self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Add<Duration> for SystemTime {
|
|
|
|
type Output = SystemTime;
|
|
|
|
|
|
|
|
fn add(self, dur: Duration) -> SystemTime {
|
|
|
|
SystemTime(self.0.add_duration(&dur))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Sub<Duration> for SystemTime {
|
|
|
|
type Output = SystemTime;
|
|
|
|
|
|
|
|
fn sub(self, dur: Duration) -> SystemTime {
|
|
|
|
SystemTime(self.0.sub_duration(&dur))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl fmt::Debug for SystemTime {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
self.0.fmt(f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// An anchor in time which can be used to create new `SystemTime` instances or
|
|
|
|
/// learn about where in time a `SystemTime` lies.
|
|
|
|
///
|
|
|
|
/// This constant is defined to be "1970-01-01 00:00:00 UTC" on all systems with
|
|
|
|
/// respect to the system clock. Using `duration_from_earlier` on an existing
|
|
|
|
/// `SystemTime` instance can tell how far away from this point in time a
|
|
|
|
/// measurement lies, and using `UNIX_EPOCH + duration` can be used to create a
|
|
|
|
/// `SystemTime` instance to represent another fixed point in time.
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
pub const UNIX_EPOCH: SystemTime = SystemTime(time::UNIX_EPOCH);
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl SystemTimeError {
|
|
|
|
/// Returns the positive duration which represents how far forward the
|
|
|
|
/// second system time was from the first.
|
|
|
|
///
|
|
|
|
/// A `SystemTimeError` is returned from the `duration_from_earlier`
|
2015-11-25 20:52:12 +00:00
|
|
|
/// operation whenever the second system time represents a point later
|
|
|
|
/// in time than the `self` of the method call.
|
2015-11-17 01:36:14 +00:00
|
|
|
pub fn duration(&self) -> Duration {
|
|
|
|
self.0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl Error for SystemTimeError {
|
|
|
|
fn description(&self) -> &str { "other time was not earlier than self" }
|
|
|
|
}
|
|
|
|
|
|
|
|
#[unstable(feature = "time2", reason = "recently added", issue = "29866")]
|
|
|
|
impl fmt::Display for SystemTimeError {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
write!(f, "second time provided was later than self")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::{Instant, SystemTime, Duration, UNIX_EPOCH};
|
|
|
|
|
2015-11-23 22:51:45 +00:00
|
|
|
macro_rules! assert_almost_eq {
|
|
|
|
($a:expr, $b:expr) => ({
|
|
|
|
let (a, b) = ($a, $b);
|
|
|
|
if a != b {
|
|
|
|
let (a, b) = if a > b {(a, b)} else {(b, a)};
|
2015-11-30 18:53:20 +00:00
|
|
|
assert!(a - Duration::new(0, 100) <= b);
|
2015-11-23 22:51:45 +00:00
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2015-11-17 01:36:14 +00:00
|
|
|
#[test]
|
|
|
|
fn instant_monotonic() {
|
|
|
|
let a = Instant::now();
|
|
|
|
let b = Instant::now();
|
|
|
|
assert!(b >= a);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn instant_elapsed() {
|
|
|
|
let a = Instant::now();
|
|
|
|
a.elapsed();
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn instant_math() {
|
|
|
|
let a = Instant::now();
|
|
|
|
let b = Instant::now();
|
|
|
|
let dur = b.duration_from_earlier(a);
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(b - dur, a);
|
|
|
|
assert_almost_eq!(a + dur, b);
|
2015-11-17 01:36:14 +00:00
|
|
|
|
|
|
|
let second = Duration::new(1, 0);
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(a - second + second, a);
|
2015-11-17 01:36:14 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[should_panic]
|
|
|
|
fn instant_duration_panic() {
|
|
|
|
let a = Instant::now();
|
|
|
|
(a - Duration::new(1, 0)).duration_from_earlier(a);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn system_time_math() {
|
|
|
|
let a = SystemTime::now();
|
|
|
|
let b = SystemTime::now();
|
|
|
|
match b.duration_from_earlier(a) {
|
|
|
|
Ok(dur) if dur == Duration::new(0, 0) => {
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(a, b);
|
2015-11-17 01:36:14 +00:00
|
|
|
}
|
|
|
|
Ok(dur) => {
|
|
|
|
assert!(b > a);
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(b - dur, a);
|
|
|
|
assert_almost_eq!(a + dur, b);
|
2015-11-17 01:36:14 +00:00
|
|
|
}
|
|
|
|
Err(dur) => {
|
|
|
|
let dur = dur.duration();
|
|
|
|
assert!(a > b);
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(b + dur, a);
|
|
|
|
assert_almost_eq!(b - dur, a);
|
2015-11-17 01:36:14 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let second = Duration::new(1, 0);
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(a.duration_from_earlier(a - second).unwrap(), second);
|
|
|
|
assert_almost_eq!(a.duration_from_earlier(a + second).unwrap_err()
|
|
|
|
.duration(), second);
|
2015-11-17 01:36:14 +00:00
|
|
|
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(a - second + second, a);
|
2015-11-17 01:36:14 +00:00
|
|
|
|
|
|
|
let eighty_years = second * 60 * 60 * 24 * 365 * 80;
|
2015-11-23 22:51:45 +00:00
|
|
|
assert_almost_eq!(a - eighty_years + eighty_years, a);
|
|
|
|
assert_almost_eq!(a - (eighty_years * 10) + (eighty_years * 10), a);
|
2015-11-17 01:36:14 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn system_time_elapsed() {
|
|
|
|
let a = SystemTime::now();
|
|
|
|
drop(a.elapsed());
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn since_epoch() {
|
|
|
|
let ts = SystemTime::now();
|
|
|
|
let a = ts.duration_from_earlier(UNIX_EPOCH).unwrap();
|
|
|
|
let b = ts.duration_from_earlier(UNIX_EPOCH - Duration::new(1, 0)).unwrap();
|
|
|
|
assert!(b > a);
|
|
|
|
assert_eq!(b - a, Duration::new(1, 0));
|
|
|
|
|
|
|
|
// let's assume that we're all running computers later than 2000
|
|
|
|
let thirty_years = Duration::new(1, 0) * 60 * 60 * 24 * 365 * 30;
|
|
|
|
assert!(a > thirty_years);
|
|
|
|
|
|
|
|
// let's assume that we're all running computers earlier than 2090.
|
|
|
|
// Should give us ~70 years to fix this!
|
|
|
|
let hundred_twenty_years = thirty_years * 4;
|
|
|
|
assert!(a < hundred_twenty_years);
|
|
|
|
}
|
|
|
|
}
|