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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

use syn::{
    punctuated::Punctuated, Block, FnArg, Generics, Ident, ImplItemFn, ImplItemType, ReturnType,
    Signature, Stmt, Type, Visibility,
};

pub fn create_impl_item_fn(
    ident: Ident,
    parameters: Vec<FnArg>,
    return_type: Option<Type>,
    stmts: Vec<Stmt>,
) -> ImplItemFn {
    let return_type = match return_type {
        Some(return_type) => ReturnType::Type(Default::default(), Box::new(return_type)),
        None => ReturnType::Default,
    };

    ImplItemFn {
        attrs: vec![],
        vis: syn::Visibility::Inherited,
        defaultness: None,
        sig: Signature {
            constness: None,
            asyncness: None,
            unsafety: None,
            abi: None,
            fn_token: Default::default(),
            ident,
            generics: Default::default(),
            paren_token: Default::default(),
            inputs: Punctuated::from_iter(parameters),
            variadic: None,
            output: return_type,
        },
        block: Block {
            brace_token: Default::default(),
            stmts,
        },
    }
}

pub fn create_impl_item_type(ident: Ident, ty: Type) -> ImplItemType {
    ImplItemType {
        attrs: vec![],
        vis: Visibility::Inherited,
        defaultness: None,
        type_token: Default::default(),
        ident,
        generics: Generics::default(),
        eq_token: Default::default(),
        ty,
        semi_token: Default::default(),
    }
}