aldrin_parser/error/
invalid_service_version.rs

1use super::Error;
2use crate::ast::{Ident, LitPosInt, ServiceDef};
3use crate::diag::{Diagnostic, DiagnosticKind, Formatted, Formatter};
4use crate::validate::Validate;
5use crate::Parsed;
6
7#[derive(Debug)]
8pub struct InvalidServiceVersion {
9    schema_name: String,
10    ver: LitPosInt,
11    svc_ident: Ident,
12}
13
14impl InvalidServiceVersion {
15    pub(crate) fn validate(service_def: &ServiceDef, validate: &mut Validate) {
16        if service_def.version().value().parse::<u32>().is_ok() {
17            return;
18        }
19
20        validate.add_error(Self {
21            schema_name: validate.schema_name().to_owned(),
22            ver: service_def.version().clone(),
23            svc_ident: service_def.name().clone(),
24        });
25    }
26
27    pub fn version(&self) -> &LitPosInt {
28        &self.ver
29    }
30
31    pub fn service_ident(&self) -> &Ident {
32        &self.svc_ident
33    }
34}
35
36impl Diagnostic for InvalidServiceVersion {
37    fn kind(&self) -> DiagnosticKind {
38        DiagnosticKind::Error
39    }
40
41    fn schema_name(&self) -> &str {
42        &self.schema_name
43    }
44
45    fn format<'a>(&'a self, parsed: &'a Parsed) -> Formatted<'a> {
46        let mut fmt = Formatter::new(
47            self,
48            format!(
49                "invalid version `{}` for service `{}`",
50                self.ver.value(),
51                self.svc_ident.value(),
52            ),
53        );
54
55        if let Some(schema) = parsed.get_schema(&self.schema_name) {
56            fmt.main_block(
57                schema,
58                self.ver.span().from,
59                self.ver.span(),
60                "version defined here",
61            );
62        }
63
64        fmt.note("versions must be u32 values in the range from 0 to 4294967295");
65        fmt.format()
66    }
67}
68
69impl From<InvalidServiceVersion> for Error {
70    fn from(e: InvalidServiceVersion) -> Self {
71        Self::InvalidServiceVersion(e)
72    }
73}
aldrin_parser/error/invalid_service_version.rs

aldrin_parser/error/
invalid_service_version.rs
