vize_l2 0.516.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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

//! Explicit historical codecs for published extension contracts.
//!
//! Current dumps never select these codecs from their input text.

/// The frozen tree grammar used by the published `s2-page@1` contract.
pub mod v1 {
    use core::fmt;

    use vize_l0::dump::{Dump, Error, Mode};

    use crate::dump::{Page as CurrentPage, parse, print};

    /// A published version1 wire page over the unchanged owned L2 tree.
    ///
    /// This wrapper has no artifact-key producer. Current dumps and keys
    /// always use [`CurrentPage`]'s version2 grammar.
    #[derive(Debug, Clone, Default, PartialEq, Eq)]
    pub struct Page(CurrentPage);

    impl Page {
        /// Select the historical wire writer without copying the tree.
        /// Runtime slots objects retain the old generic directive record;
        /// reading that wire grants only its legacy view, not the typed op.
        #[must_use]
        pub fn from_current(page: CurrentPage) -> Self {
            Self(page)
        }

        /// Recover the accepted legacy tree. New typed slots objects are
        /// projected to the historical generic record by this codec.
        #[must_use]
        pub fn into_current(self) -> CurrentPage {
            self.0
        }
    }

    impl Dump for Page {
        fn print<W: fmt::Write>(&self, w: &mut W, mode: Mode) -> fmt::Result {
            print::print(&self.0, w, print::Style::historical_v1(mode))
        }

        fn parse(input: &str) -> Result<Self, Error> {
            parse::parse_historical_v1(input).map(Self)
        }
    }
}