use std::fmt::{self, Debug, Display, Formatter};
use std::hash::Hash;
use std::ops::AddAssign;
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]
#[repr(u8)]
pub enum Validity {
Valid = 1,
SealIssues = 0xFF,
Invalid = 0,
}
impl Display for Validity {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
match self {
Validity::Valid => f.write_str("valid"),
Validity::SealIssues => f.write_str("unresolved seal issues"),
Validity::Invalid => f.write_str("invalid"),
}
}
}
#[cfg(not(feature = "serde"))]
pub trait ValidationLog: Clone + Eq + Hash + Debug + Display {}
#[cfg(feature = "serde")]
pub trait ValidationLog:
Clone + Eq + Hash + Debug + Display + serde::Serialize + for<'de> serde::Deserialize<'de>
{
}
pub trait SealIssue: ValidationLog + std::error::Error {
type Seal;
fn seal(&self) -> &Self::Seal;
}
pub trait ValidationFailure: ValidationLog + std::error::Error {}
pub trait ValidationReport {
type SealIssue: SealIssue;
type Failure: ValidationFailure;
#[cfg(not(feature = "serde"))]
type Warning: Clone + Eq + Hash + Debug + Display;
#[cfg(feature = "serde")]
type Warning: Clone
+ Eq
+ Hash
+ Debug
+ Display
+ serde::Serialize
+ for<'de> serde::Deserialize<'de>;
#[cfg(not(feature = "serde"))]
type Info: Clone + Eq + Hash + Debug + Display;
#[cfg(feature = "serde")]
type Info: Clone
+ Eq
+ Hash
+ Debug
+ Display
+ serde::Serialize
+ for<'de> serde::Deserialize<'de>;
}
#[derive(Clone, PartialEq, Eq, Hash, Debug, Default)]
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
pub struct Status<R>
where R: ValidationReport
{
pub seal_issues: Vec<R::SealIssue>,
pub failures: Vec<R::Failure>,
pub warnings: Vec<R::Warning>,
pub info: Vec<R::Info>,
}
impl<R> AddAssign for Status<R>
where R: ValidationReport
{
fn add_assign(&mut self, rhs: Self) {
self.seal_issues.extend(rhs.seal_issues);
self.failures.extend(rhs.failures);
self.warnings.extend(rhs.warnings);
self.info.extend(rhs.info);
}
}
impl<R> FromIterator<R::Failure> for Status<R>
where R: ValidationReport
{
fn from_iter<T: IntoIterator<Item = R::Failure>>(iter: T) -> Self {
Status {
seal_issues: vec![],
failures: iter.into_iter().collect(),
warnings: vec![],
info: vec![],
}
}
}
impl<R> Status<R>
where R: ValidationReport
{
pub fn new() -> Self {
Status {
seal_issues: vec![],
failures: vec![],
warnings: vec![],
info: vec![],
}
}
pub fn from_failure(failure: R::Failure) -> Self {
Status {
seal_issues: vec![],
failures: vec![failure],
warnings: vec![],
info: vec![],
}
}
pub fn add_seal_issue(&mut self, seal_issue: R::SealIssue) -> &Self {
self.seal_issues.push(seal_issue);
self
}
pub fn add_failure(&mut self, failure: R::Failure) -> &Self {
self.failures.push(failure);
self
}
pub fn add_warning(&mut self, warning: R::Warning) -> &Self {
self.warnings.push(warning);
self
}
pub fn add_info(&mut self, info: R::Info) -> &Self {
self.info.push(info);
self
}
pub fn validity(&self) -> Validity {
if !self.failures.is_empty() {
Validity::Invalid
} else if !self.seal_issues.is_empty() {
Validity::SealIssues
} else {
Validity::Valid
}
}
}
pub trait ClientSideValidate<'client_data>: ClientData<'client_data>
where Self::ValidationItem: 'client_data
{
type ValidationItem: ClientData<'client_data, ValidationReport = Self::ValidationReport>;
type ValidationIter: Iterator<Item = &'client_data Self::ValidationItem>;
fn client_side_validate<Resolver>(
&'client_data self,
resolver: &'client_data mut Resolver,
) -> Status<Self::ValidationReport>
where
Resolver: SealResolver<
<<<Self as ClientData<'client_data>>::ValidationReport as ValidationReport>::SealIssue as SealIssue>::Seal,
Error = <<Self as ClientData<'client_data>>::ValidationReport as ValidationReport>::SealIssue,
>,
{
let mut status = Status::new();
status += self.validate_internal_consistency();
for item in self.validation_iter() {
for seal in item.single_use_seals() {
let _ = resolver
.resolve_trust(seal)
.map_err(|issue| status.add_seal_issue(issue));
}
status += item.validate_internal_consistency();
}
status
}
fn validation_iter(&'client_data self) -> Self::ValidationIter;
}
pub trait ClientData<'client_data>
where Self: 'client_data
{
type ValidationReport: ValidationReport;
type SealIterator: Iterator<Item = &'client_data <<Self::ValidationReport as ValidationReport>::SealIssue as SealIssue>::Seal>;
fn single_use_seals(&'client_data self) -> Self::SealIterator;
fn validate_internal_consistency(&'client_data self) -> Status<Self::ValidationReport>;
}
pub trait SealResolver<Seal> {
type Error: SealIssue<Seal = Seal>;
fn resolve_trust(&mut self, seal: &Seal) -> Result<(), Self::Error>;
}