vize_l3 0.596.0

L3 - the Davinci reactivity IR (codename Impeto): flat scheduled ops with explicit state and effect edges
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

//! Violation codes and records shared by every verifier check.

use core::fmt;

use vize_l0::{Span, String};

/// Which invariant a [`Violation`] reports.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ViolationCode {
    DuplicateId,
    RootRegion,
    OpRegion,
    EdgeEndpoint,
    RegionResolution,
    RegionNesting,
    EffectScope,
    ScheduledOrder,
    Operand,
    Placement,
}

impl ViolationCode {
    /// Every invariant code, in declaration order; catalog coverage checks this list.
    pub const ALL: [Self; 10] = [
        Self::DuplicateId,
        Self::RootRegion,
        Self::OpRegion,
        Self::EdgeEndpoint,
        Self::RegionResolution,
        Self::RegionNesting,
        Self::EffectScope,
        Self::ScheduledOrder,
        Self::Operand,
        Self::Placement,
    ];

    /// Stable rendering code.
    #[must_use]
    pub const fn as_str(self) -> &'static str {
        match self {
            Self::DuplicateId => "L3V001",
            Self::RootRegion => "L3V002",
            Self::OpRegion => "L3V003",
            Self::EdgeEndpoint => "L3V004",
            Self::RegionResolution => "L3V005",
            Self::RegionNesting => "L3V006",
            Self::EffectScope => "L3V007",
            Self::ScheduledOrder => "L3V008",
            Self::Operand => "L3V009",
            Self::Placement => "L3V010",
        }
    }
}

/// One rejected invariant.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct Violation {
    pub code: ViolationCode,
    pub span: Span,
    pub message: String,
}

impl fmt::Display for Violation {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            f,
            "{} @{}:{} {}",
            self.code.as_str(),
            self.span.start,
            self.span.end,
            self.message
        )
    }
}

const _: () = assert!(size_of::<ViolationCode>() == 1);
#[cfg(target_pointer_width = "64")]
const _: () = assert!(size_of::<Violation>() == 40);