machine-check-machine 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
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

use syn::visit::Visit;

use crate::into_wir::{Error, Errors};

pub struct AttributeDisallower {
    errors: Vec<Error>,
}

impl AttributeDisallower {
    pub fn new() -> Self {
        Self { errors: Vec::new() }
    }

    pub fn into_result(self) -> Result<(), Errors> {
        Errors::iter_to_result(self.errors)
    }
}

impl Visit<'_> for AttributeDisallower {
    fn visit_attribute(&mut self, attribute: &syn::Attribute) {
        if let syn::Meta::NameValue(meta) = &attribute.meta {
            if meta.path.is_ident("doc") {
                // doc comments are allowed everywhere
                return;
            }
        }

        self.errors.push(Error::unsupported_syn_construct(
            "Attribute here",
            &attribute,
        ));
    }
}