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

//! A Model operand supplies semantic ReadWrite use without an assignment AST.

use super::{ReferenceSink, ReferenceSource, Resolver, Usage};
use crate::lang::js::NativeModelInput;
use crate::resolution::{ResolutionError, ResolutionErrorKind};
use oxc_ast::ast::Expression;
use vize_l0::Span;

pub(in crate::resolution) fn original<'a>(
    input: &NativeModelInput<'a>,
    sink: &mut impl ReferenceSink<'a>,
) -> Result<(), ResolutionError> {
    let expression = input.expression().ok_or(ResolutionError {
        span: Span::new(0, 0),
        kind: ResolutionErrorKind::UnsupportedSyntax,
    })?;
    let source = ReferenceSource::Expression(*expression);
    let fail = |kind| ResolutionError {
        span: Span::new(0, source.length()),
        kind,
    };
    if !input.matches_expression(expression) {
        return Err(fail(ResolutionErrorKind::InvalidSpan));
    }
    let Expression::Identifier(identifier) = expression.ast else {
        return Err(fail(ResolutionErrorKind::UnsupportedSyntax));
    };
    let checkpoint = sink.checkpoint();
    let mut resolver = Resolver::new(source, sink);
    let result = resolver.identifier(identifier, Usage::ReadWrite, false);
    if result.is_err() {
        resolver.sink.rollback(checkpoint);
    }
    result
}