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

//! Check whole original setup eligibility before entering the original cursor.

use super::{
    NativeRouteState, NativeSetupIssue, NativeSetupIssueKind, NativeTemplateIssue,
    NativeTemplateOwner,
};
use crate::lang::js::{NativeTemplateIssueKind, NativeTemplateWalk};

impl<'a> NativeTemplateOwner<'a> {
    /// Begin the existing sole native root cursor only after this original
    /// normally owned setup and its completed declaration unit match. This is
    /// not a whole descriptor envelope or output capability. The ordinary
    /// diagnostic `begin()` retains its existing separate contract.
    pub fn begin_setup(&mut self) -> Result<NativeTemplateWalk<'_, 'a>, NativeTemplateIssue> {
        let span = self.selected.component().block().span();
        if !matches!(self.state, NativeRouteState::Scripts) {
            return self.refuse(span, NativeTemplateIssueKind::Interrupted);
        }
        self.state = NativeRouteState::Interrupted;
        if let Err(issue) = ready(self) {
            return self.refuse(issue.span, NativeTemplateIssueKind::SetupPolicy(issue.kind));
        }
        self.state = NativeRouteState::Scripts;
        self.begin()
    }
}
fn ready(owner: &NativeTemplateOwner<'_>) -> Result<(), NativeSetupIssue> {
    let span = owner
        .selected()
        .setup()
        .map_or(owner.selected().component().block().span(), |script| {
            script.block().span()
        });
    let reject = |kind| NativeSetupIssue { span, kind };
    let syntax = owner
        .retained_setup()
        .ok_or_else(|| reject(NativeSetupIssueKind::MissingOwner))?;
    let joined = super::identity::checked(
        owner.selected(),
        syntax,
        &owner.producer.builder.facts.units,
        &owner.producer.builder.facts.scopes,
        owner.producer.builder.source,
    )?;
    if owner.setup != Some(joined.unit.id) {
        return Err(reject(NativeSetupIssueKind::MissingUnit));
    }
    Ok(())
}