vize_l3 0.607.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

//! Private policies specialize the existing complete occurrence check.

use super::VueReadKind;
use vize_l2::{
    file::{BindingRef, DeclarationKind, vue::VueExposure},
    resolution::{Occurrence, Usage},
};

pub(in crate::decision) trait FileReads<'owner, 'arena> {
    const RECORD: bool;
    const NATIVE_SETUP: bool = false;
    const ORIGINAL_FOR: bool = false;
    fn classify(
        &self,
        occurrence: &Occurrence<'arena>,
        binding: BindingRef<'owner, 'arena>,
    ) -> Option<VueReadKind>;
}

pub(in crate::decision) struct NoReads;

impl<'owner, 'arena> FileReads<'owner, 'arena> for NoReads {
    const RECORD: bool = false;
    fn classify(
        &self,
        _: &Occurrence<'arena>,
        _: BindingRef<'owner, 'arena>,
    ) -> Option<VueReadKind> {
        None
    }
}

pub(super) struct ExposureReads<'view, 'owner, 'descriptor, 'program, 'arena>(
    pub(super) &'view VueExposure<'owner, 'descriptor, 'program, 'arena>,
);

impl<'owner, 'arena> FileReads<'owner, 'arena> for ExposureReads<'_, 'owner, '_, '_, 'arena> {
    const RECORD: bool = true;
    fn classify(
        &self,
        occurrence: &Occurrence<'arena>,
        binding: BindingRef<'owner, 'arena>,
    ) -> Option<VueReadKind> {
        if occurrence.usage != Usage::Read || self.0.binding(binding).is_err() {
            return None;
        }
        let declaration = binding.declaration()?;
        match declaration.kind {
            DeclarationKind::Const if declaration.initializer.is_primitive() => {
                Some(VueReadKind::SetupConst)
            }
            DeclarationKind::Let | DeclarationKind::Var => Some(VueReadKind::SetupLet),
            _ => None,
        }
    }
}