prusti-specs 0.1.9

Internal Prusti crate for parsing specifications
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

//! Parsing of `#[extern_spec]` attributed structures

pub mod impls;
pub mod mods;
pub mod traits;
pub mod functions;
pub mod foreign_mods;
mod common;

#[derive(Debug, Clone, Copy)]
pub enum ExternSpecKind {
    InherentImpl,
    TraitImpl,
    Trait,
    Method,
}

impl ExternSpecKind {
    const INHERENT_IMPL_IDENT: &'static str = "inherent_impl";
    const TRAIT_IMPL_IDENT: &'static str = "trait_impl";
    const TRAIT_IDENT: &'static str = "trait";
    const METHOD_IDENT: &'static str = "method";
}

impl TryFrom<String> for ExternSpecKind {
    type Error = String;

    fn try_from(string: String) -> Result<Self, Self::Error> {
        match string.as_str() {
            Self::INHERENT_IMPL_IDENT => Ok(Self::InherentImpl),
            Self::TRAIT_IMPL_IDENT => Ok(Self::TraitImpl),
            Self::TRAIT_IDENT => Ok(Self::Trait),
            Self::METHOD_IDENT => Ok(Self::Method),
            _ => Err(string),
        }
    }
}

impl From<ExternSpecKind> for String {
    fn from(spec_type: ExternSpecKind) -> Self {
        String::from(match spec_type {
            ExternSpecKind::InherentImpl => ExternSpecKind::INHERENT_IMPL_IDENT,
            ExternSpecKind::TraitImpl => ExternSpecKind::TRAIT_IMPL_IDENT,
            ExternSpecKind::Trait => ExternSpecKind::TRAIT_IDENT,
            ExternSpecKind::Method => ExternSpecKind::METHOD_IDENT,
        })
    }
}