Struct NativeSelectedSetup 

pub struct NativeSelectedSetup<'owner, 'arena> { /* private fields */ }

Same selected owner, whole original syntax, and actual completed unit row. Only the existing sole declaration walk certifies bounded setup eligibility. The whole descriptor envelope and output policy remain separate obligations.

use vize_l2::lang::js::NativeSelectedSetup;
fn forge() { let _ = NativeSelectedSetup { unit: 1 }; }

use vize_l2::lang::js::NativeSelectedSetup;
fn copy(view: NativeSelectedSetup<'_, '_>) { let _ = view.clone(); }

use vize_l2::lang::js::NativeTemplateFile;
fn discard(owner: NativeTemplateFile<'_>) {
    let setup = owner.setup().unwrap();
    drop(owner);
    let _ = setup.program();
}

use vize_l2::lang::js::NativeTemplateFile;
fn separate(owner: &mut NativeTemplateFile<'_>) { owner.retained_setup.take(); }

A caller cannot replace the real Program with a foreign parse:

use vize_l1::embed::syntax::NativeSyntax;
use vize_l2::lang::js::NativeTemplateFile;
fn pair<'a>(owner: &NativeTemplateFile<'a>, foreign: NativeSyntax<'a>) {
    let _ = owner.setup(foreign);
}

The Program borrow cannot outlive the normally retained owner:

use oxc_ast::ast::Program;
use vize_l2::lang::js::NativeTemplateFile;
fn escape<'a>(owner: NativeTemplateFile<'a>) -> &'a Program<'a> {
    owner.retained_setup().unwrap().program().unwrap()
}

Implementations

impl<'owner, 'arena> NativeSelectedSetup<'owner, 'arena>

pub fn source(&self) -> SourceBlock<'arena>

pub fn binding( &self, binding: BindingRef<'owner, 'arena>, ) -> Result<BindingRef<'owner, 'arena>, ExposureIssue>

The argument must be an actual same-File direct setup Value declaration. Equal local IDs, names or spans do not authorize a foreign row.

pub fn bindings(&self) -> impl Iterator<Item = BindingRef<'owner, 'arena>> + '_

Original declaration order from this actual unit and root scope only.

pub fn type_annotations( &self, ) -> impl Iterator<Item = SetupAnnotation<'owner, 'arena>> + '_

Original source order, using only annotation rows from the sole walk.

impl<'owner, 'arena> NativeSelectedSetup<'owner, 'arena>

pub fn owner(&self) -> &'owner NativeTemplateFile<'arena>

pub fn syntax(&self) -> &'owner NativeSyntax<'arena>

pub fn selected(&self) -> &NativeScriptSelection<'owner, 'arena>

pub fn program(&self) -> &AdmittedProgram<'owner, 'arena>

pub fn unit(&self) -> ScriptUnitId

pub fn unit_record(&self) -> &'owner ScriptUnit

pub fn scope(&self) -> ScopeId

pub fn file(&self) -> &'owner FileArtifact<'arena>