device-driver-mir 2.0.0

Internal compiler crate for the device-driver toolkit
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
54
55
56
57
58
59
60
61
62

use std::collections::HashSet;

use convert_case::Casing;

use crate::{
    model::{LendingIterator, Manifest, Object, Unique, UniqueId},
    passes::{Assumption, Pass},
};
use device_driver_diagnostics::{
    Diagnostics, DynError,
    errors::{DeviceNameNotPascal, InvalidIdentifier},
};

pub struct DeviceNameIsPascal;

impl Pass for DeviceNameIsPascal {
    const ASSUMPTIONS_MADE: &[Assumption] = &[];
    const ASSUMPTIONS_RELEASED: &[Assumption] = &[];

    fn run_pass(
        manifest: &mut Manifest,
        diagnostics: &mut Diagnostics,
    ) -> Result<HashSet<UniqueId>, DynError> {
        let mut removals = HashSet::new();

        let mut iter = manifest.iter_objects_with_config_mut();
        while let Some((object, _)) = iter.next() {
            let Object::Device(device) = object else {
                continue;
            };

            let lenient_pascal_boundaries =
                convert_case::Boundary::defaults_from("aA:AAa:_:-: :a1:A1:1A");
            let lenient_pascal_case = convert_case::Case::Custom {
                boundaries: &lenient_pascal_boundaries,
                pattern: convert_case::Pattern::Capital,
                delimiter: "",
            };

            if let Err(e) = device
                .name
                .apply_boundaries(&lenient_pascal_boundaries)
                .check_validity()
            {
                diagnostics.add(InvalidIdentifier::new(e, device.name.span));
                removals.insert(device.id());
                continue;
            }

            let converted_driver_name = &device.name.original().to_case(lenient_pascal_case);

            if device.name.value.original() != converted_driver_name {
                diagnostics.add(DeviceNameNotPascal {
                    device_name: device.name.span,
                    suggestion: converted_driver_name.clone(),
                });
            }
        }

        Ok(removals)
    }
}