vize_l2 0.512.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

//! Distinct original alias and collection coordinates borrowed from one Joint owner.

use oxc_ast::ast::{Expression, FormalParameter};
use oxc_span::GetSpan;
use vize_l0::Span;
use vize_l1::embed::{
    SourceError,
    syntax::{AdmittedDenseForHead, NativeForHead, RetainedExpression, RetainedSlotParams},
};

use super::ReferenceSource;

/// Only an original two-observation capability may establish this source.
/// This remains a short whole-owner borrow, never a public AST/source tuple.
pub(crate) struct ForReferenceSource<'h, 'a> {
    head: AdmittedDenseForHead<'h, 'a>,
    aliases: &'h RetainedSlotParams<'a>,
    collection: &'h RetainedExpression<'a>,
}

impl<'h, 'a> ForReferenceSource<'h, 'a> {
    pub(crate) fn checked(owner: &'h NativeForHead<'a>) -> Option<Self> {
        Some(Self {
            head: owner.admitted_dense()?,
            aliases: owner.aliases()?.ok()?,
            collection: owner.collection()?.ok()?,
        })
    }
    pub(crate) fn aliases(&self) -> &'a [FormalParameter<'a>] {
        self.head.aliases().parameters().items.as_slice()
    }
    pub(crate) fn collection(&self) -> &'a Expression<'a> {
        self.head.collection().expression()
    }
    /// Mint the collection namespace only from this complete original head.
    pub(in crate::resolution) fn collection_source(&self) -> Option<ReferenceSource<'a>> {
        let source = self.collection.source().text();
        let ast = self.collection().span();
        let decoded = self.collection_decoded_span(ast).ok()?;
        // This admitted family has one direct original Identifier occupying
        // the complete collection window. Derive its real wrapper geometry
        // through the retained owner; no caller chooses AST/source/prefix.
        if decoded != Span::new(0, u32::try_from(source.len()).ok()?) {
            return None;
        }
        Some(ReferenceSource::ForCollection {
            source,
            prefix: ast.start.checked_sub(decoded.start)?,
        })
    }
    pub(crate) fn alias_decoded_span(&self, span: oxc_span::Span) -> Result<Span, SourceError> {
        self.aliases.decoded_span(span)
    }
    pub(crate) fn alias_authored_span(&self, span: oxc_span::Span) -> Result<Span, SourceError> {
        self.aliases.authored_span(span)
    }
    pub(crate) fn collection_decoded_span(
        &self,
        span: oxc_span::Span,
    ) -> Result<Span, SourceError> {
        self.collection.decoded_span(span)
    }
    pub(crate) fn collection_authored_span(
        &self,
        span: oxc_span::Span,
    ) -> Result<Span, SourceError> {
        self.collection.authored_span(span)
    }
}