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

mod item_impl;

use machine_check_common::iir::description::IDescription;
use syn::Item;

use crate::Error;

use self::item_impl::process_item_impl;

pub fn process_items(
    items: &mut Vec<Item>,
    panic_messages: &[String],
    iir: IDescription,
) -> Result<(), Error> {
    let mut added_items = Vec::new();
    for item in items.iter_mut() {
        match item {
            syn::Item::Impl(ref mut item_impl) => {
                // add concrete traits for inputs, states, and machines
                added_items.extend(process_item_impl(item_impl, panic_messages, &iir)?);
            }
            syn::Item::Struct(_) | syn::Item::Use(_) => {
                // do nothing
            }
            _ => panic!("Unexpected item type"),
        }
    }
    items.extend(added_items);
    Ok(())
}