2016-02-01 15:22:42 +01:00
|
|
|
//! Diff misc.
|
|
|
|
|
2016-01-14 21:24:16 +01:00
|
|
|
use common::*;
|
|
|
|
|
|
|
|
#[derive(Debug,Clone,PartialEq,Eq)]
|
|
|
|
/// Diff type for specifying a change (or not).
|
|
|
|
pub enum Diff<T> where T: Eq {
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Same,
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Born(T),
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Changed(T, T),
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Died(T),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> Diff<T> where T: Eq {
|
|
|
|
/// Construct new object with given `pre` and `post`.
|
|
|
|
pub fn new(pre: T, post: T) -> Self { if pre == post { Diff::Same } else { Diff::Changed(pre, post) } }
|
|
|
|
|
|
|
|
/// Get the before value, if there is one.
|
2016-01-19 12:14:29 +01:00
|
|
|
pub fn pre(&self) -> Option<&T> { match *self { Diff::Died(ref x) | Diff::Changed(ref x, _) => Some(x), _ => None } }
|
2016-01-14 21:24:16 +01:00
|
|
|
|
|
|
|
/// Get the after value, if there is one.
|
2016-01-19 12:14:29 +01:00
|
|
|
pub fn post(&self) -> Option<&T> { match *self { Diff::Born(ref x) | Diff::Changed(_, ref x) => Some(x), _ => None } }
|
2016-01-14 21:24:16 +01:00
|
|
|
|
|
|
|
/// Determine whether there was a change or not.
|
2016-01-19 12:14:29 +01:00
|
|
|
pub fn is_same(&self) -> bool { match *self { Diff::Same => true, _ => false }}
|
2016-01-14 21:24:16 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(PartialEq,Eq,Clone,Copy)]
|
|
|
|
/// Boolean type for clean/dirty status.
|
|
|
|
pub enum Filth {
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Clean,
|
2016-01-19 17:02:01 +01:00
|
|
|
/// TODO [Gav Wood] Please document me
|
2016-01-14 21:24:16 +01:00
|
|
|
Dirty,
|
|
|
|
}
|