vize_l2 0.525.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
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

//! Borrowed facts let the genuine File retain its normal input across callbacks.

use alloc::boxed::Box;
use oxc_ast::ast::{Expression, FormalParameter};
use vize_l0::Span;
use vize_l1::embed::{EmbedSource, Grammar, syntax::ForHeadPart};

use super::{Facts, ForResolution, ForResolutionError, ForResolutionErrorKind, resolve};
use crate::lang::js::NativeForInput;
use crate::resolution::{BindingLookup, ResolutionErrorKind};

/// Private and move-only: caller facts/root tuples cannot construct this packet.
/// Its consuming join independently checks the whole original source and roots.
#[derive(Debug)]
pub(crate) struct ResolvedForFacts<'a> {
    aliases: &'a [FormalParameter<'a>],
    collection: &'a Expression<'a>,
    sources: [EmbedSource<'a>; 3],
    grammar: Grammar,
    name_span: Span,
    parts: Facts<'a>,
}

impl<'a> ResolvedForFacts<'a> {
    pub(crate) fn join(
        self,
        input: NativeForInput<'a>,
    ) -> Result<ForResolution<'a>, Box<NativeForInput<'a>>> {
        let Some(sources) = sources(&input) else {
            return Err(Box::new(input));
        };
        if !core::ptr::eq(self.aliases, input.aliases())
            || !core::ptr::eq(self.collection, input.collection())
            || self.grammar != input.operand().syntax().grammar()
            || self.name_span != input.operand().name_span()
            || !self
                .sources
                .into_iter()
                .zip(sources)
                .all(|(left, right)| same_source(left, right))
        {
            return Err(Box::new(input));
        }
        let (collection, collection_authored, value, key) = self.parts;
        Ok(ForResolution {
            input,
            collection,
            collection_authored,
            value: value.fact,
            key: key.as_ref().map(|key| key.fact),
            value_parameter: value.parameter,
            key_parameter: key.map(|key| key.parameter),
        })
    }
}

pub(crate) fn resolve_for_facts<'a>(
    input: &NativeForInput<'a>,
    enclosing: &impl BindingLookup,
) -> Result<ResolvedForFacts<'a>, ForResolutionError> {
    let parts = resolve(input, enclosing)?;
    Ok(ResolvedForFacts {
        aliases: input.aliases(),
        collection: input.collection(),
        sources: sources(input).ok_or_else(invalid_source)?,
        grammar: input.operand().syntax().grammar(),
        name_span: input.operand().name_span(),
        parts,
    })
}

fn sources<'a>(input: &NativeForInput<'a>) -> Option<[EmbedSource<'a>; 3]> {
    let syntax = input.operand().syntax();
    Some([
        syntax.source(),
        syntax.aliases()?.ok()?.source(),
        syntax.collection()?.ok()?.source(),
    ])
}

fn same_source(left: EmbedSource<'_>, right: EmbedSource<'_>) -> bool {
    core::ptr::eq(left.authored_root(), right.authored_root())
        && core::ptr::eq(left.text(), right.text())
        && left.span() == right.span()
        && match (left.decode_map(), right.decode_map()) {
            (None, None) => true,
            (Some(left), Some(right)) => core::ptr::eq(left.segments(), right.segments()),
            _ => false,
        }
}

pub(super) fn invalid_source() -> ForResolutionError {
    ForResolutionError {
        part: ForHeadPart::Collection,
        span: Span::new(0, 0),
        kind: ForResolutionErrorKind::Reference(ResolutionErrorKind::InvalidSpan),
    }
}