use alloc::string::{String, ToString};
use core::{fmt, str::FromStr};
use miden_assembly_syntax::debuginfo::Span;
#[cfg(feature = "serde")]
use serde::{Deserialize, Serialize};
use super::*;
use crate::Word;
#[derive(Debug, Clone)]
pub enum VersionRequirement {
Semantic(Span<VersionReq>),
Digest(Span<Word>),
Exact(Version),
}
impl VersionRequirement {
pub fn is_semantic_version(&self) -> bool {
matches!(self, Self::Semantic(_))
}
pub fn is_digest(&self) -> bool {
matches!(self, Self::Digest(_))
}
pub fn is_exact(&self) -> bool {
matches!(self, Self::Exact(_))
}
}
impl Eq for VersionRequirement {}
impl PartialEq for VersionRequirement {
fn eq(&self, other: &Self) -> bool {
match (self, other) {
(Self::Exact(l), Self::Exact(r)) => l == r,
(Self::Digest(l), Self::Digest(r)) => l.into_inner() == r.into_inner(),
(Self::Semantic(l), Self::Semantic(r)) => l == r,
(Self::Semantic(_) | Self::Exact(_), Self::Digest(_))
| (Self::Semantic(_), Self::Exact(_))
| (Self::Digest(_), Self::Semantic(_) | Self::Exact(_))
| (Self::Exact(_), Self::Semantic(_)) => false,
}
}
}
impl fmt::Display for VersionRequirement {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
match self {
Self::Semantic(v) => fmt::Display::fmt(v, f),
Self::Digest(word) => fmt::Display::fmt(word, f),
Self::Exact(version) => {
assert!(
version.digest.is_some(),
"exact requirements must include an artifact digest"
);
write!(f, "{version}")
},
}
}
}
impl FromStr for VersionRequirement {
type Err = String;
fn from_str(value: &str) -> Result<Self, Self::Err> {
if value == "*" {
return Ok(Self::from(VersionReq::STAR));
}
if let Some((version, digest)) = value.split_once('#') {
let version = version.parse::<SemVer>().map_err(|error| error.to_string())?;
let digest = Word::parse(digest).map_err(ToString::to_string)?;
return Ok(Self::Exact(Version::new(version, digest)));
}
if let Ok(digest) = Word::parse(value) {
return Ok(Self::from(digest));
}
VersionReq::from_str(value).map(Self::from).map_err(|error| error.to_string())
}
}
#[cfg(feature = "serde")]
impl Serialize for VersionRequirement {
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where
S: serde::Serializer,
{
serializer.serialize_str(&self.to_string())
}
}
#[cfg(feature = "serde")]
impl<'de> Deserialize<'de> for VersionRequirement {
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where
D: serde::Deserializer<'de>,
{
let value = <String as Deserialize>::deserialize(deserializer)?;
value.parse().map_err(serde::de::Error::custom)
}
}
impl From<VersionReq> for VersionRequirement {
fn from(version: VersionReq) -> Self {
Self::Semantic(Span::unknown(version))
}
}
impl From<Word> for VersionRequirement {
fn from(digest: Word) -> Self {
Self::Digest(Span::unknown(digest))
}
}
impl From<Version> for VersionRequirement {
fn from(value: Version) -> Self {
if value.digest.is_none() {
Self::Semantic(Span::unknown(format!("={}", value.version).parse().unwrap()))
} else {
Self::Exact(value)
}
}
}