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

//! Coordinate metadata transfer from the original short admission only.

use crate::expr::JsExpr;
use crate::expr::js::{JsCoordinateError, JsCoordinates, JsSegment};
use vize_l0::Vec;
use vize_l1::embed::DecodeSegmentKind;
use vize_l1::markup::NativeInterpolationView;

pub(super) fn retain<'a>(
    original: &NativeInterpolationView<'_, 'a>,
) -> Result<&'a JsExpr<'a>, JsCoordinateError> {
    let selected = original.selected();
    let allocator = selected.component().allocator();
    let file = selected.component().block().root_source();
    let syntax = original.operand().syntax();
    let ast = original
        .expression()
        .ok_or(JsCoordinateError::OutsideExpression)?
        .expression();
    let source = syntax.source();
    if !core::ptr::eq(file, source.authored_root()) {
        return Err(JsCoordinateError::InvalidIdentity);
    }
    let mut segments = Vec::new_in(&allocator);
    if let Some(map) = source.decode_map() {
        for segment in map.segments() {
            segments.push(JsSegment {
                decoded: segment.decoded(),
                authored: segment.authored(),
                entity: segment.kind() == DecodeSegmentKind::Entity,
            });
        }
    }
    let coordinates = JsCoordinates::checked(
        file,
        source.text(),
        source.span(),
        syntax.parser_prefix(),
        segments.into_boxed_slice().into_arena_slice(),
    )?;
    JsExpr::from_retained_in(allocator, ast, source.text(), source.span(), coordinates)
}