Skip to main content

nu_protocol/engine/
state_working_set.rs

1use crate::{
2    BlockId, Category, CompileError, Config, DeclId, FileId, GetSpan, Module, ModuleId, OverlayId,
3    ParseError, ParseWarning, ResolvedImportPattern, ResolvedSpan, Signature, Span, SpanId, Type,
4    Value, VarId, VirtualPathId,
5    ast::Block,
6    engine::{
7        CachedFile, Command, CommandType, EngineState, OverlayFrame, ScopeBindings, StateDelta,
8        Variable, VirtualPath, Visibility, description::build_desc,
9    },
10};
11use core::panic;
12use std::{
13    collections::{HashMap, HashSet},
14    path::{Path, PathBuf},
15    sync::Arc,
16};
17
18#[cfg(feature = "plugin")]
19use crate::{PluginIdentity, PluginRegistryItem, RegisteredPlugin};
20
21/// A temporary extension to the global state. This handles bridging between the global state and the
22/// additional declarations and scope changes that are not yet part of the global scope.
23///
24/// This working set is created by the parser as a way of handling declarations and scope changes that
25/// may later be merged or dropped (and not merged) depending on the needs of the code calling the parser.
26pub struct StateWorkingSet<'a> {
27    pub permanent_state: &'a EngineState,
28    pub delta: StateDelta,
29    pub files: FileStack,
30    /// Whether or not predeclarations are searched when looking up a command (used with aliases)
31    pub search_predecls: bool,
32    pub parse_errors: Vec<ParseError>,
33    pub parse_warnings: Vec<ParseWarning>,
34    pub compile_errors: Vec<CompileError>,
35}
36
37impl<'a> StateWorkingSet<'a> {
38    pub fn new(permanent_state: &'a EngineState) -> Self {
39        // Initialize the file stack with the top-level file.
40        let files = if let Some(file) = permanent_state.file.clone() {
41            FileStack::with_file(file)
42        } else {
43            FileStack::new()
44        };
45
46        Self {
47            delta: StateDelta::new(permanent_state),
48            permanent_state,
49            files,
50            search_predecls: true,
51            parse_errors: vec![],
52            parse_warnings: vec![],
53            compile_errors: vec![],
54        }
55    }
56
57    pub fn permanent(&self) -> &EngineState {
58        self.permanent_state
59    }
60
61    pub fn error(&mut self, parse_error: ParseError) {
62        self.parse_errors.push(parse_error)
63    }
64
65    pub fn warning(&mut self, parse_warning: ParseWarning) {
66        self.parse_warnings.push(parse_warning)
67    }
68
69    pub fn num_files(&self) -> usize {
70        self.delta.num_files() + self.permanent_state.num_files()
71    }
72
73    pub fn num_virtual_paths(&self) -> usize {
74        self.delta.num_virtual_paths() + self.permanent_state.num_virtual_paths()
75    }
76
77    pub fn num_vars(&self) -> usize {
78        self.delta.num_vars() + self.permanent_state.num_vars()
79    }
80
81    pub fn num_decls(&self) -> usize {
82        self.delta.num_decls() + self.permanent_state.num_decls()
83    }
84
85    pub fn num_blocks(&self) -> usize {
86        self.delta.num_blocks() + self.permanent_state.num_blocks()
87    }
88
89    pub fn num_modules(&self) -> usize {
90        self.delta.num_modules() + self.permanent_state.num_modules()
91    }
92
93    pub fn unique_overlay_names(&self) -> HashSet<&[u8]> {
94        let mut names: HashSet<&[u8]> = self.permanent_state.active_overlay_names(&[]).collect();
95
96        for scope_frame in self.delta.scope.iter().rev() {
97            for overlay_id in scope_frame.active_overlays.iter().rev() {
98                let (overlay_name, _) = scope_frame
99                    .overlays
100                    .get(overlay_id.get())
101                    .expect("internal error: missing overlay");
102
103                names.insert(overlay_name);
104                names.retain(|n| !scope_frame.removed_overlays.iter().any(|m| n == m));
105            }
106        }
107
108        names
109    }
110
111    pub fn num_overlays(&self) -> usize {
112        self.unique_overlay_names().len()
113    }
114
115    pub fn add_decl(&mut self, decl: Box<dyn Command>) -> DeclId {
116        let name = decl.name().as_bytes().to_vec();
117
118        self.delta.decls.push(decl);
119        let decl_id = self.num_decls() - 1;
120        let decl_id = DeclId::new(decl_id);
121
122        self.last_overlay_mut().insert_decl(name, decl_id);
123
124        decl_id
125    }
126
127    pub fn use_decls(&mut self, decls: Vec<(Vec<u8>, DeclId)>) {
128        let overlay_frame = self.last_overlay_mut();
129
130        for (name, decl_id) in decls {
131            overlay_frame.insert_decl(name, decl_id);
132            overlay_frame.visibility.use_decl_id(&decl_id);
133        }
134    }
135
136    pub fn use_modules(&mut self, modules: Vec<(Vec<u8>, ModuleId)>) {
137        let overlay_frame = self.last_overlay_mut();
138
139        for (name, module_id) in modules {
140            overlay_frame.insert_module(name, module_id);
141            // overlay_frame.visibility.use_module_id(&module_id);  // TODO: Add hiding modules
142        }
143    }
144
145    pub fn use_variables(&mut self, variables: Vec<(Vec<u8>, VarId)>) {
146        for (name, var_id) in variables {
147            self.insert_variable_into_scope(name, var_id);
148        }
149    }
150
151    pub fn add_predecl(&mut self, decl: Box<dyn Command>) -> Option<DeclId> {
152        let name = decl.name().as_bytes().to_vec();
153
154        self.delta.decls.push(decl);
155        let decl_id = self.num_decls() - 1;
156        let decl_id = DeclId::new(decl_id);
157
158        self.delta
159            .last_scope_frame_mut()
160            .predecls
161            .insert(name, decl_id)
162    }
163
164    #[cfg(feature = "plugin")]
165    pub fn find_or_create_plugin(
166        &mut self,
167        identity: &PluginIdentity,
168        make: impl FnOnce() -> Arc<dyn RegisteredPlugin>,
169    ) -> Arc<dyn RegisteredPlugin> {
170        // Check in delta first, then permanent_state
171        if let Some(plugin) = self
172            .delta
173            .plugins
174            .iter()
175            .chain(self.permanent_state.plugins())
176            .find(|p| p.identity() == identity)
177        {
178            plugin.clone()
179        } else {
180            let plugin = make();
181            self.delta.plugins.push(plugin.clone());
182            plugin
183        }
184    }
185
186    #[cfg(feature = "plugin")]
187    pub fn update_plugin_registry(&mut self, item: PluginRegistryItem) {
188        self.delta.plugin_registry_items.push(item);
189    }
190
191    pub fn merge_predecl(&mut self, name: &[u8]) -> Option<DeclId> {
192        self.move_one_predecl_to_overlay(name);
193
194        let overlay_frame = self.last_overlay_mut();
195
196        if let Some(decl_id) = overlay_frame.predecls.remove(name) {
197            overlay_frame.insert_decl(name.into(), decl_id);
198
199            return Some(decl_id);
200        }
201
202        None
203    }
204
205    fn move_one_predecl_to_overlay(&mut self, name: &[u8]) {
206        self.delta
207            .last_scope_frame_mut()
208            .predecls
209            .remove_entry(name)
210            .map(|(name, decl_id)| self.last_overlay_mut().predecls.insert(name, decl_id));
211    }
212
213    pub fn hide_decl(&mut self, name: &[u8]) -> Option<DeclId> {
214        let mut removed_overlays = vec![];
215        let mut visibility: Visibility = Visibility::new();
216
217        // Since we can mutate scope frames in delta, remove the id directly
218        for scope_frame in self.delta.scope.iter_mut().rev() {
219            for overlay_id in scope_frame
220                .active_overlay_ids(&mut removed_overlays)
221                .iter()
222                .rev()
223            {
224                let overlay_frame = scope_frame.get_overlay_mut(*overlay_id);
225
226                visibility.append(&overlay_frame.visibility);
227
228                if let Some(decl_id) = overlay_frame.get_decl(name)
229                    && visibility.is_decl_id_visible(&decl_id)
230                {
231                    // Hide decl only if it's not already hidden
232                    overlay_frame.visibility.hide_decl_id(&decl_id);
233                    return Some(decl_id);
234                }
235            }
236        }
237
238        // We cannot mutate the permanent state => store the information in the current overlay frame
239        // for scope in self.permanent_state.scope.iter().rev() {
240        for overlay_frame in self
241            .permanent_state
242            .active_overlays(&removed_overlays)
243            .rev()
244        {
245            visibility.append(&overlay_frame.visibility);
246
247            if let Some(decl_id) = overlay_frame.get_decl(name)
248                && visibility.is_decl_id_visible(&decl_id)
249            {
250                // Hide decl only if it's not already hidden
251                self.last_overlay_mut().visibility.hide_decl_id(&decl_id);
252                return Some(decl_id);
253            }
254        }
255
256        None
257    }
258
259    pub fn hide_decls(&mut self, decls: &[Vec<u8>]) {
260        for decl in decls.iter() {
261            self.hide_decl(decl); // let's assume no errors
262        }
263    }
264
265    pub fn add_block(&mut self, block: Arc<Block>) -> BlockId {
266        log::trace!(
267            "block id={} added, has IR = {:?}",
268            self.num_blocks(),
269            block.ir_block.is_some()
270        );
271
272        self.delta.blocks.push(block);
273
274        BlockId::new(self.num_blocks() - 1)
275    }
276
277    pub fn add_module(&mut self, name: &str, module: Module, comments: Vec<Span>) -> ModuleId {
278        let name = name.as_bytes().to_vec();
279
280        self.delta.modules.push(Arc::new(module));
281        let module_id = self.num_modules() - 1;
282        let module_id = ModuleId::new(module_id);
283
284        if !comments.is_empty() {
285            self.delta
286                .doccomments
287                .add_module_comments(module_id, comments);
288        }
289
290        self.last_overlay_mut().modules.insert(name, module_id);
291
292        module_id
293    }
294
295    pub fn get_module_comments(&self, module_id: ModuleId) -> Option<&[Span]> {
296        self.delta
297            .doccomments
298            .get_module_comments(module_id)
299            .or_else(|| self.permanent_state.get_module_comments(module_id))
300    }
301
302    pub fn next_span_start(&self) -> usize {
303        let permanent_span_start = self.permanent_state.next_span_start();
304
305        if let Some(cached_file) = self.delta.files.last() {
306            cached_file.covered_span.end
307        } else {
308            permanent_span_start
309        }
310    }
311
312    pub fn files(&self) -> impl DoubleEndedIterator<Item = &CachedFile> {
313        self.permanent_state.files().chain(self.delta.files.iter())
314    }
315
316    pub fn get_contents_of_file(&self, file_id: FileId) -> Option<&[u8]> {
317        if let Some(cached_file) = self.permanent_state.get_file_contents().get(file_id.get()) {
318            return Some(&cached_file.content);
319        }
320        // The index subtraction will not underflow, if we hit the permanent state first.
321        // Check if you try reordering for locality
322        if let Some(cached_file) = self
323            .delta
324            .get_file_contents()
325            .get(file_id.get() - self.permanent_state.num_files())
326        {
327            return Some(&cached_file.content);
328        }
329
330        None
331    }
332
333    #[must_use]
334    pub fn add_file(&mut self, filename: &str, contents: &[u8]) -> FileId {
335        // First, look for the file to see if we already have it
336        for (idx, cached_file) in self.files().enumerate() {
337            if &*cached_file.name == filename && &*cached_file.content == contents {
338                return FileId::new(idx);
339            }
340        }
341
342        let next_span_start = self.next_span_start();
343        let next_span_end = next_span_start + contents.len();
344
345        let covered_span = Span::new(next_span_start, next_span_end);
346
347        self.delta.files.push(CachedFile {
348            name: filename.into(),
349            content: contents.into(),
350            covered_span,
351        });
352
353        FileId::new(self.num_files() - 1)
354    }
355
356    #[must_use]
357    pub fn add_virtual_path(&mut self, name: String, virtual_path: VirtualPath) -> VirtualPathId {
358        self.delta.virtual_paths.push((name, virtual_path));
359
360        VirtualPathId::new(self.num_virtual_paths() - 1)
361    }
362
363    pub fn get_span_for_filename(&self, filename: &str) -> Option<Span> {
364        let predicate = |file: &CachedFile| &*file.name == filename;
365        // search from end to start, in case there're duplicated files with the same name
366        let file_id = self
367            .delta
368            .files
369            .iter()
370            .rposition(predicate)
371            .map(|idx| idx + self.permanent_state.num_files())
372            .or_else(|| self.permanent_state.files().rposition(predicate))?;
373        let file_id = FileId::new(file_id);
374
375        Some(self.get_span_for_file(file_id))
376    }
377
378    /// Panics:
379    /// On invalid `FileId`
380    ///
381    /// Use with care
382    pub fn get_span_for_file(&self, file_id: FileId) -> Span {
383        let result = self
384            .files()
385            .nth(file_id.get())
386            .expect("internal error: could not find source for previously parsed file");
387
388        result.covered_span
389    }
390
391    pub fn get_span_contents(&self, span: Span) -> &[u8] {
392        let permanent_end = self.permanent_state.next_span_start();
393        if permanent_end <= span.start {
394            for cached_file in &self.delta.files {
395                if cached_file.covered_span.contains_span(span) {
396                    return &cached_file.content[span.start - cached_file.covered_span.start
397                        ..span.end - cached_file.covered_span.start];
398                }
399            }
400        }
401
402        // if no files with span were found, fall back on permanent ones
403        self.permanent_state.get_span_contents(span)
404    }
405
406    pub fn enter_scope(&mut self) {
407        self.delta.enter_scope();
408    }
409
410    pub fn exit_scope(&mut self) {
411        self.delta.exit_scope();
412    }
413
414    /// Find the [`DeclId`](crate::DeclId) corresponding to a predeclaration with `name`.
415    pub fn find_predecl(&self, name: &[u8]) -> Option<DeclId> {
416        let mut removed_overlays = vec![];
417
418        for scope_frame in self.delta.scope.iter().rev() {
419            if let Some(decl_id) = scope_frame.predecls.get(name) {
420                return Some(*decl_id);
421            }
422
423            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
424                if let Some(decl_id) = overlay_frame.predecls.get(name) {
425                    return Some(*decl_id);
426                }
427            }
428        }
429
430        None
431    }
432
433    /// Find the [`DeclId`](crate::DeclId) corresponding to a declaration with `name`.
434    ///
435    /// Extends [`EngineState::find_decl`] to also search for predeclarations
436    /// (if [`StateWorkingSet::search_predecls`] is set), and declarations from scopes existing
437    /// only in [`StateDelta`].
438    pub fn find_decl(&self, name: &[u8]) -> Option<DeclId> {
439        let mut removed_overlays = vec![];
440
441        let mut visibility: Visibility = Visibility::new();
442
443        for scope_frame in self.delta.scope.iter().rev() {
444            if self.search_predecls
445                && let Some(decl_id) = scope_frame.predecls.get(name)
446                && visibility.is_decl_id_visible(decl_id)
447            {
448                return Some(*decl_id);
449            }
450
451            // check overlay in delta
452            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
453                visibility.append(&overlay_frame.visibility);
454
455                if self.search_predecls
456                    && let Some(decl_id) = overlay_frame.predecls.get(name)
457                    && visibility.is_decl_id_visible(decl_id)
458                {
459                    return Some(*decl_id);
460                }
461
462                if let Some(decl_id) = overlay_frame.get_decl(name)
463                    && visibility.is_decl_id_visible(&decl_id)
464                {
465                    return Some(decl_id);
466                }
467            }
468        }
469
470        // check overlay in perma
471        self.permanent_state.find_decl(name, &removed_overlays)
472    }
473
474    /// Find the name of the declaration corresponding to `decl_id`.
475    ///
476    /// Extends [`EngineState::find_decl_name`] to also search for predeclarations (if [`StateWorkingSet::search_predecls`] is set),
477    /// and declarations from scopes existing only in [`StateDelta`].
478    pub fn find_decl_name(&self, decl_id: DeclId) -> Option<&[u8]> {
479        let mut removed_overlays = vec![];
480
481        let mut visibility: Visibility = Visibility::new();
482
483        for scope_frame in self.delta.scope.iter().rev() {
484            if self.search_predecls {
485                for (name, id) in scope_frame.predecls.iter() {
486                    if id == &decl_id {
487                        return Some(name);
488                    }
489                }
490            }
491
492            // check overlay in delta
493            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
494                visibility.append(&overlay_frame.visibility);
495
496                if self.search_predecls {
497                    for (name, id) in overlay_frame.predecls.iter() {
498                        if id == &decl_id {
499                            return Some(name);
500                        }
501                    }
502                }
503
504                if visibility.is_decl_id_visible(&decl_id) {
505                    for (name, id) in overlay_frame.decls.iter() {
506                        if id == &decl_id {
507                            return Some(name);
508                        }
509                    }
510                }
511            }
512        }
513
514        // check overlay in perma
515        self.permanent_state
516            .find_decl_name(decl_id, &removed_overlays)
517    }
518
519    /// Find the [`ModuleId`](crate::ModuleId) corresponding to `name`.
520    ///
521    /// Extends [`EngineState::find_module`] to also search for ,
522    /// and declarations from scopes existing only in [`StateDelta`].
523    pub fn find_module(&self, name: &[u8]) -> Option<ModuleId> {
524        let mut removed_overlays = vec![];
525
526        for scope_frame in self.delta.scope.iter().rev() {
527            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
528                if let Some(module_id) = overlay_frame.modules.get(name) {
529                    return Some(*module_id);
530                }
531            }
532        }
533
534        for overlay_frame in self
535            .permanent_state
536            .active_overlays(&removed_overlays)
537            .rev()
538        {
539            if let Some(module_id) = overlay_frame.modules.get(name) {
540                return Some(*module_id);
541            }
542        }
543
544        None
545    }
546
547    pub fn next_var_id(&self) -> VarId {
548        let num_permanent_vars = self.permanent_state.num_vars();
549        VarId::new(num_permanent_vars + self.delta.vars.len())
550    }
551
552    pub fn list_variables(&self) -> Vec<&[u8]> {
553        let mut removed_overlays = vec![];
554        let mut variables = HashSet::new();
555        for scope_frame in self.delta.scope.iter() {
556            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays) {
557                variables.extend(overlay_frame.vars.keys().map(|k| &k[..]));
558            }
559        }
560
561        let permanent_vars = self
562            .permanent_state
563            .active_overlays(&removed_overlays)
564            .flat_map(|overlay_frame| overlay_frame.vars.keys().map(|k| &k[..]));
565
566        variables.extend(permanent_vars);
567        variables.into_iter().collect()
568    }
569
570    pub fn find_variable(&self, name: &[u8]) -> Option<VarId> {
571        let mut name = name.to_vec();
572        if !name.starts_with(b"$") {
573            name.insert(0, b'$');
574        }
575        let mut removed_overlays = vec![];
576
577        for scope_frame in self.delta.scope.iter().rev() {
578            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
579                if let Some(var_id) = overlay_frame.vars.get(&name) {
580                    return Some(*var_id);
581                }
582            }
583        }
584
585        for overlay_frame in self
586            .permanent_state
587            .active_overlays(&removed_overlays)
588            .rev()
589        {
590            if let Some(var_id) = overlay_frame.vars.get(&name) {
591                return Some(*var_id);
592            }
593        }
594
595        None
596    }
597
598    pub fn find_variable_in_current_frame(&self, name: &[u8]) -> Option<VarId> {
599        let mut removed_overlays = vec![];
600
601        for scope_frame in self.delta.scope.iter().rev().take(1) {
602            for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
603                if let Some(var_id) = overlay_frame.vars.get(name) {
604                    return Some(*var_id);
605                }
606            }
607        }
608
609        None
610    }
611
612    pub fn add_variable(&mut self, name: Vec<u8>, span: Span, ty: Type, mutable: bool) -> VarId {
613        let var_id = self.add_variable_without_scope(span, ty, mutable);
614        self.insert_variable_into_scope(name, var_id);
615        var_id
616    }
617
618    /// Like [`add_variable`](Self::add_variable) but does **not** insert the
619    /// name→VarId mapping into the current overlay scope. The caller must
620    /// later call [`insert_variable_into_scope`](Self::insert_variable_into_scope)
621    /// to make the variable visible by name.
622    pub fn add_variable_without_scope(&mut self, span: Span, ty: Type, mutable: bool) -> VarId {
623        let next_id = self.next_var_id();
624        self.delta.vars.push(Variable::new(span, ty, mutable));
625        next_id
626    }
627
628    /// Insert a previously created variable into the current overlay's scope.
629    /// The `name` will have a `$` prefix prepended if it doesn't already have one.
630    pub fn insert_variable_into_scope(&mut self, mut name: Vec<u8>, var_id: VarId) {
631        if !name.starts_with(b"$") {
632            name.insert(0, b'$');
633        }
634        // Record the name on delta variables so `scope variables` can list stack locals
635        // that never enter permanent overlays. Permanent vars keep `name: None` here;
636        // their names remain available through permanent overlay maps.
637        if let Some(var) = self.get_variable_mut(var_id) {
638            var.name = Some(name.clone());
639        }
640        self.last_overlay_mut().insert_variable(name, var_id);
641    }
642
643    /// Returns the current working directory as a String, which is guaranteed to be canonicalized.
644    /// Returns an empty string if $env.PWD doesn't exist, is not a String, or is not an absolute path.
645    ///
646    /// It does NOT consider modifications to the working directory made on a stack.
647    #[deprecated(since = "0.92.3", note = "please use `EngineState::cwd()` instead")]
648    pub fn get_cwd(&self) -> String {
649        self.permanent_state
650            .cwd(None)
651            .map(|path| path.to_string_lossy().to_string())
652            .unwrap_or_default()
653    }
654
655    pub fn get_env_var(&self, name: &str) -> Option<&Value> {
656        self.permanent_state.get_env_var(name)
657    }
658
659    /// Returns a reference to the config stored at permanent state
660    ///
661    /// At runtime, you most likely want to call [`Stack::get_config()`][super::Stack::get_config()]
662    /// because this method does not capture environment updates during runtime.
663    pub fn get_config(&self) -> &Arc<Config> {
664        &self.permanent_state.config
665    }
666
667    pub fn set_variable_type(&mut self, var_id: VarId, ty: Type) {
668        let num_permanent_vars = self.permanent_state.num_vars();
669        if var_id.get() < num_permanent_vars {
670            panic!("Internal error: attempted to set into permanent state from working set")
671        } else {
672            self.delta.vars[var_id.get() - num_permanent_vars].ty = ty;
673        }
674    }
675
676    pub fn set_variable_const_val(&mut self, var_id: VarId, val: Value) {
677        let num_permanent_vars = self.permanent_state.num_vars();
678        if var_id.get() < num_permanent_vars {
679            panic!("Internal error: attempted to set into permanent state from working set")
680        } else {
681            self.delta.vars[var_id.get() - num_permanent_vars].const_val = Some(val);
682        }
683    }
684
685    pub fn get_variable(&self, var_id: VarId) -> &Variable {
686        let num_permanent_vars = self.permanent_state.num_vars();
687        if var_id.get() < num_permanent_vars {
688            self.permanent_state.get_var(var_id)
689        } else {
690            self.delta
691                .vars
692                .get(var_id.get() - num_permanent_vars)
693                .expect("internal error: missing variable")
694        }
695    }
696
697    /// Mutable access to a variable that still lives in the working-set delta.
698    ///
699    /// Returns `None` for variables that already belong to the permanent engine state.
700    pub fn get_variable_mut(&mut self, var_id: VarId) -> Option<&mut Variable> {
701        let num_permanent_vars = self.permanent_state.num_vars();
702        if var_id.get() < num_permanent_vars {
703            None
704        } else {
705            self.delta.vars.get_mut(var_id.get() - num_permanent_vars)
706        }
707    }
708
709    pub fn get_variable_if_possible(&self, var_id: VarId) -> Option<&Variable> {
710        let num_permanent_vars = self.permanent_state.num_vars();
711        if var_id.get() < num_permanent_vars {
712            Some(self.permanent_state.get_var(var_id))
713        } else {
714            self.delta.vars.get(var_id.get() - num_permanent_vars)
715        }
716    }
717
718    /// Snapshot command/module bindings from the **innermost** scope frame.
719    ///
720    /// # Invariant
721    ///
722    /// Must run on the scope frame that owns the block's locals, **immediately before** the
723    /// matching `exit_scope` (which discards that frame). Call sites:
724    /// `parse_block_expression`, `parse_closure_expression`, and scoped `parse_block`.
725    /// Keep those three call sites explicit so a new scoped construct is forced to opt in.
726    pub fn snapshot_scope_bindings(&self) -> Option<Arc<ScopeBindings>> {
727        let frame = self.delta.last_scope_frame();
728        let mut bindings = ScopeBindings::default();
729        let mut removed_overlays = vec![];
730
731        for overlay in frame.active_overlays(&mut removed_overlays) {
732            bindings.extend_from_overlay(overlay);
733        }
734
735        if bindings.is_empty() {
736            None
737        } else {
738            Some(Arc::new(bindings))
739        }
740    }
741
742    pub fn get_constant(&self, var_id: VarId) -> Result<&Value, ParseError> {
743        let var = self.get_variable(var_id);
744
745        if let Some(const_val) = &var.const_val {
746            Ok(const_val)
747        } else {
748            Err(ParseError::InternalError(
749                "constant does not have a constant value".into(),
750                var.declaration_span,
751            ))
752        }
753    }
754
755    pub fn get_decl(&self, decl_id: DeclId) -> &dyn Command {
756        let num_permanent_decls = self.permanent_state.num_decls();
757        if decl_id.get() < num_permanent_decls {
758            self.permanent_state.get_decl(decl_id)
759        } else {
760            self.delta
761                .decls
762                .get(decl_id.get() - num_permanent_decls)
763                .expect("internal error: missing declaration")
764                .as_ref()
765        }
766    }
767
768    pub fn get_decl_mut(&mut self, decl_id: DeclId) -> &mut Box<dyn Command> {
769        let num_permanent_decls = self.permanent_state.num_decls();
770        if decl_id.get() < num_permanent_decls {
771            panic!("internal error: can only mutate declarations in working set")
772        } else {
773            self.delta
774                .decls
775                .get_mut(decl_id.get() - num_permanent_decls)
776                .expect("internal error: missing declaration")
777        }
778    }
779
780    pub fn get_signature(&self, decl: &dyn Command) -> Signature {
781        if let Some(block_id) = decl.block_id() {
782            *self.get_block(block_id).signature.clone()
783        } else {
784            decl.signature()
785        }
786    }
787
788    /// Apply a function to all commands. The function accepts a command name and its DeclId
789    pub fn traverse_commands(&self, mut f: impl FnMut(&[u8], DeclId)) {
790        for scope_frame in self.delta.scope.iter().rev() {
791            for overlay_id in scope_frame.active_overlays.iter().rev() {
792                let overlay_frame = scope_frame.get_overlay(*overlay_id);
793
794                for (name, decl_id) in &overlay_frame.decls {
795                    if overlay_frame.visibility.is_decl_id_visible(decl_id) {
796                        f(name, *decl_id);
797                    }
798                }
799            }
800        }
801
802        self.permanent_state.traverse_commands(f);
803    }
804
805    pub fn find_commands_by_predicate(
806        &self,
807        mut predicate: impl FnMut(&[u8]) -> bool,
808        ignore_deprecated: bool,
809    ) -> Vec<(DeclId, Vec<u8>, Option<String>, CommandType)> {
810        let mut output = vec![];
811
812        self.traverse_commands(|name, decl_id| {
813            if !predicate(name) {
814                return;
815            }
816            let command = self.get_decl(decl_id);
817            if ignore_deprecated && command.signature().category == Category::Removed {
818                return;
819            }
820            output.push((
821                decl_id,
822                name.to_vec(),
823                Some(command.description().to_string()),
824                command.command_type(),
825            ));
826        });
827
828        output
829    }
830
831    pub fn get_block(&self, block_id: BlockId) -> &Arc<Block> {
832        let num_permanent_blocks = self.permanent_state.num_blocks();
833        if block_id.get() < num_permanent_blocks {
834            self.permanent_state.get_block(block_id)
835        } else {
836            self.delta
837                .blocks
838                .get(block_id.get() - num_permanent_blocks)
839                .expect("internal error: missing block")
840        }
841    }
842
843    pub fn get_module(&self, module_id: ModuleId) -> &Module {
844        let num_permanent_modules = self.permanent_state.num_modules();
845        if module_id.get() < num_permanent_modules {
846            self.permanent_state.get_module(module_id)
847        } else {
848            self.delta
849                .modules
850                .get(module_id.get() - num_permanent_modules)
851                .expect("internal error: missing module")
852        }
853    }
854
855    pub fn get_block_mut(&mut self, block_id: BlockId) -> &mut Block {
856        let num_permanent_blocks = self.permanent_state.num_blocks();
857        if block_id.get() < num_permanent_blocks {
858            panic!("Attempt to mutate a block that is in the permanent (immutable) state")
859        } else {
860            self.delta
861                .blocks
862                .get_mut(block_id.get() - num_permanent_blocks)
863                .map(Arc::make_mut)
864                .expect("internal error: missing block")
865        }
866    }
867
868    /// Find the overlay corresponding to `name`.
869    pub fn find_overlay(&self, name: &[u8]) -> Option<&OverlayFrame> {
870        for scope_frame in self.delta.scope.iter().rev() {
871            if let Some(overlay_id) = scope_frame.find_overlay(name) {
872                return Some(scope_frame.get_overlay(overlay_id));
873            }
874        }
875
876        self.permanent_state
877            .find_overlay(name)
878            .map(|id| self.permanent_state.get_overlay(id))
879    }
880
881    pub fn last_overlay_name(&self) -> &[u8] {
882        let mut removed_overlays = vec![];
883
884        for scope_frame in self.delta.scope.iter().rev() {
885            if let Some(last_name) = scope_frame
886                .active_overlay_names(&mut removed_overlays)
887                .iter()
888                .rev()
889                .next_back()
890            {
891                return last_name;
892            }
893        }
894
895        self.permanent_state.last_overlay_name(&removed_overlays)
896    }
897
898    pub fn last_overlay(&self) -> &OverlayFrame {
899        let mut removed_overlays = vec![];
900
901        for scope_frame in self.delta.scope.iter().rev() {
902            if let Some(last_overlay) = scope_frame
903                .active_overlays(&mut removed_overlays)
904                .rev()
905                .next_back()
906            {
907                return last_overlay;
908            }
909        }
910
911        self.permanent_state.last_overlay(&removed_overlays)
912    }
913
914    pub fn last_overlay_mut(&mut self) -> &mut OverlayFrame {
915        if self.delta.last_overlay_mut().is_none() {
916            // If there is no overlay, automatically activate the last one
917            let overlay_frame = self.last_overlay();
918            let name = self.last_overlay_name().to_vec();
919            let origin = overlay_frame.origin;
920            let prefixed = overlay_frame.prefixed;
921            self.add_overlay(
922                name,
923                origin,
924                ResolvedImportPattern::new(vec![], vec![], vec![], vec![]),
925                prefixed,
926            );
927        }
928
929        self.delta
930            .last_overlay_mut()
931            .expect("internal error: missing added overlay")
932    }
933
934    /// Collect all decls that belong to an overlay
935    pub fn decls_of_overlay(&self, name: &[u8]) -> HashMap<Vec<u8>, DeclId> {
936        let mut result = HashMap::new();
937
938        if let Some(overlay_id) = self.permanent_state.find_overlay(name) {
939            let overlay_frame = self.permanent_state.get_overlay(overlay_id);
940
941            for (decl_key, decl_id) in &overlay_frame.decls {
942                result.insert(decl_key.to_owned(), *decl_id);
943            }
944        }
945
946        for scope_frame in self.delta.scope.iter() {
947            if let Some(overlay_id) = scope_frame.find_overlay(name) {
948                let overlay_frame = scope_frame.get_overlay(overlay_id);
949
950                for (decl_key, decl_id) in &overlay_frame.decls {
951                    result.insert(decl_key.to_owned(), *decl_id);
952                }
953            }
954        }
955
956        result
957    }
958
959    pub fn add_overlay(
960        &mut self,
961        name: Vec<u8>,
962        origin: ModuleId,
963        definitions: ResolvedImportPattern,
964        prefixed: bool,
965    ) {
966        let last_scope_frame = self.delta.last_scope_frame_mut();
967
968        last_scope_frame
969            .removed_overlays
970            .retain(|removed_name| removed_name != &name);
971
972        let overlay_id = if let Some(overlay_id) = last_scope_frame.find_overlay(&name) {
973            last_scope_frame.get_overlay_mut(overlay_id).origin = origin;
974
975            overlay_id
976        } else {
977            last_scope_frame
978                .overlays
979                .push((name, OverlayFrame::from_origin(origin, prefixed)));
980            OverlayId::new(last_scope_frame.overlays.len() - 1)
981        };
982
983        last_scope_frame
984            .active_overlays
985            .retain(|id| id != &overlay_id);
986        last_scope_frame.active_overlays.push(overlay_id);
987
988        self.use_decls(definitions.decls);
989        self.use_modules(definitions.modules);
990
991        let mut constants = vec![];
992
993        for (name, const_vid) in definitions.constants {
994            constants.push((name, const_vid));
995        }
996
997        for (name, const_val) in definitions.constant_values {
998            let const_var_id =
999                self.add_variable(name.clone(), Span::unknown(), const_val.get_type(), false);
1000            self.set_variable_const_val(const_var_id, const_val);
1001            constants.push((name, const_var_id));
1002        }
1003        self.use_variables(constants);
1004    }
1005
1006    pub fn remove_overlay(&mut self, name: &[u8], keep_custom: bool) {
1007        let last_scope_frame = self.delta.last_scope_frame_mut();
1008
1009        let maybe_module_id = if let Some(overlay_id) = last_scope_frame.find_overlay(name) {
1010            last_scope_frame
1011                .active_overlays
1012                .retain(|id| id != &overlay_id);
1013
1014            Some(last_scope_frame.get_overlay(overlay_id).origin)
1015        } else {
1016            self.permanent_state
1017                .find_overlay(name)
1018                .map(|id| self.permanent_state.get_overlay(id).origin)
1019        };
1020
1021        if let Some(module_id) = maybe_module_id {
1022            last_scope_frame.removed_overlays.push(name.to_owned());
1023
1024            if keep_custom {
1025                let origin_module = self.get_module(module_id);
1026
1027                let decls = self
1028                    .decls_of_overlay(name)
1029                    .into_iter()
1030                    .filter(|(n, _)| !origin_module.has_decl(n))
1031                    .collect();
1032
1033                self.use_decls(decls);
1034            }
1035        }
1036    }
1037
1038    pub fn render(self) -> StateDelta {
1039        self.delta
1040    }
1041
1042    pub fn build_desc(&self, spans: &[Span]) -> (String, String) {
1043        let comment_lines: Vec<&[u8]> = spans
1044            .iter()
1045            .map(|span| self.get_span_contents(*span))
1046            .collect();
1047        build_desc(&comment_lines)
1048    }
1049
1050    pub fn find_block_by_span(&self, span: Span) -> Option<Arc<Block>> {
1051        for block in &self.delta.blocks {
1052            if Some(span) == block.span {
1053                return Some(block.clone());
1054            }
1055        }
1056
1057        for block in self.permanent_state.blocks.iter() {
1058            if Some(span) == block.span {
1059                return Some(block.clone());
1060            }
1061        }
1062
1063        None
1064    }
1065
1066    pub fn find_module_by_span(&self, span: Span) -> Option<ModuleId> {
1067        for (id, module) in self.delta.modules.iter().enumerate() {
1068            if Some(span) == module.span {
1069                return Some(ModuleId::new(self.permanent_state.num_modules() + id));
1070            }
1071        }
1072
1073        for (module_id, module) in self.permanent_state.modules.iter().enumerate() {
1074            if Some(span) == module.span {
1075                return Some(ModuleId::new(module_id));
1076            }
1077        }
1078
1079        None
1080    }
1081
1082    /// Find the file which contains the given [`Span`]
1083    pub fn find_file_by_span(&self, span: Span) -> Option<&CachedFile> {
1084        self.files()
1085            // the span we're looking for is much more likely to be in a recently added file
1086            .rev()
1087            .find(|file| file.covered_span.contains_span(span))
1088    }
1089
1090    pub fn find_virtual_path(&self, name: &str) -> Option<&VirtualPath> {
1091        // Platform appropriate virtual path (slashes or backslashes)
1092        let virtual_path_name = Path::new(name);
1093
1094        for (virtual_name, virtual_path) in self.delta.virtual_paths.iter().rev() {
1095            if Path::new(virtual_name) == virtual_path_name {
1096                return Some(virtual_path);
1097            }
1098        }
1099
1100        for (virtual_name, virtual_path) in self.permanent_state.virtual_paths.iter().rev() {
1101            if Path::new(virtual_name) == virtual_path_name {
1102                return Some(virtual_path);
1103            }
1104        }
1105
1106        None
1107    }
1108
1109    pub fn get_virtual_path(&self, virtual_path_id: VirtualPathId) -> &(String, VirtualPath) {
1110        let num_permanent_virtual_paths = self.permanent_state.num_virtual_paths();
1111        if virtual_path_id.get() < num_permanent_virtual_paths {
1112            self.permanent_state.get_virtual_path(virtual_path_id)
1113        } else {
1114            self.delta
1115                .virtual_paths
1116                .get(virtual_path_id.get() - num_permanent_virtual_paths)
1117                .expect("internal error: missing virtual path")
1118        }
1119    }
1120
1121    pub fn add_span(&mut self, span: Span) -> SpanId {
1122        let num_permanent_spans = self.permanent_state.spans.len();
1123        self.delta.spans.push(span);
1124        SpanId::new(num_permanent_spans + self.delta.spans.len() - 1)
1125    }
1126
1127    pub fn resolve_span<'s>(&'s self, span: Span) -> Option<ResolvedSpan<'s>> {
1128        let cached_file = self.find_file_by_span(span)?;
1129        let file = cached_file.name.as_ref().into();
1130        let span = span.offset(cached_file.covered_span.start);
1131        Some(ResolvedSpan { file, span })
1132    }
1133}
1134
1135impl<'a> GetSpan for &'a StateWorkingSet<'a> {
1136    fn get_span(&self, span_id: SpanId) -> Span {
1137        let num_permanent_spans = self.permanent_state.num_spans();
1138        if span_id.get() < num_permanent_spans {
1139            self.permanent_state.get_span(span_id)
1140        } else {
1141            *self
1142                .delta
1143                .spans
1144                .get(span_id.get() - num_permanent_spans)
1145                .expect("internal error: missing span")
1146        }
1147    }
1148}
1149
1150impl miette::SourceCode for &StateWorkingSet<'_> {
1151    fn read_span<'b>(
1152        &'b self,
1153        span: &miette::SourceSpan,
1154        context_lines_before: usize,
1155        context_lines_after: usize,
1156    ) -> Result<Box<dyn miette::SpanContents<'b> + 'b>, miette::MietteError> {
1157        let debugging = std::env::var("MIETTE_DEBUG").is_ok();
1158        if debugging {
1159            let finding_span = "Finding span in StateWorkingSet";
1160            dbg!(finding_span, span);
1161        }
1162        for cached_file in self.files() {
1163            let (filename, start, end) = (
1164                &cached_file.name,
1165                cached_file.covered_span.start,
1166                cached_file.covered_span.end,
1167            );
1168            if debugging {
1169                dbg!(&filename, start, end);
1170            }
1171            if span.offset() >= start && span.offset() + span.len() <= end {
1172                if debugging {
1173                    let found_file = "Found matching file";
1174                    dbg!(found_file);
1175                }
1176                let our_span = cached_file.covered_span;
1177                // We need to move to a local span because we're only reading
1178                // the specific file contents via self.get_span_contents.
1179                let local_span = (span.offset() - start, span.len()).into();
1180                if debugging {
1181                    dbg!(&local_span);
1182                }
1183                let span_contents = self.get_span_contents(our_span);
1184                if debugging {
1185                    dbg!(String::from_utf8_lossy(span_contents));
1186                }
1187                let span_contents = span_contents.read_span(
1188                    &local_span,
1189                    context_lines_before,
1190                    context_lines_after,
1191                )?;
1192                let content_span = span_contents.span();
1193                // Back to "global" indexing
1194                let retranslated = (content_span.offset() + start, content_span.len()).into();
1195                if debugging {
1196                    dbg!(&retranslated);
1197                }
1198
1199                let data = span_contents.data();
1200                if &**filename == "<cli>" {
1201                    if debugging {
1202                        let success_cli = "Successfully read CLI span";
1203                        dbg!(success_cli, String::from_utf8_lossy(data));
1204                    }
1205                    return Ok(Box::new(miette::MietteSpanContents::new(
1206                        data,
1207                        retranslated,
1208                        span_contents.line(),
1209                        span_contents.column(),
1210                        span_contents.line_count(),
1211                    )));
1212                } else {
1213                    if debugging {
1214                        let success_file = "Successfully read file span";
1215                        dbg!(success_file);
1216                    }
1217                    return Ok(Box::new(miette::MietteSpanContents::new_named(
1218                        (**filename).to_owned(),
1219                        data,
1220                        retranslated,
1221                        span_contents.line(),
1222                        span_contents.column(),
1223                        span_contents.line_count(),
1224                    )));
1225                }
1226            }
1227        }
1228        Err(miette::MietteError::OutOfBounds)
1229    }
1230}
1231
1232/// Files being evaluated, arranged as a stack.
1233///
1234/// The current active file is on the top of the stack.
1235/// When a file source/import another file, the new file is pushed onto the stack.
1236/// Attempting to add files that are already in the stack (circular import) results in an error.
1237///
1238/// Note that file paths are compared without canonicalization, so the same
1239/// physical file may still appear multiple times under different paths.
1240/// This doesn't affect circular import detection though.
1241#[derive(Debug, Default)]
1242pub struct FileStack(Vec<PathBuf>);
1243
1244impl FileStack {
1245    /// Creates an empty stack.
1246    pub fn new() -> Self {
1247        Self(vec![])
1248    }
1249
1250    /// Creates a stack with a single file on top.
1251    ///
1252    /// This is a convenience method that creates an empty stack, then pushes the file onto it.
1253    /// It skips the circular import check and always succeeds.
1254    pub fn with_file(path: PathBuf) -> Self {
1255        Self(vec![path])
1256    }
1257
1258    /// Adds a file to the stack.
1259    ///
1260    /// If the same file is already present in the stack, returns `ParseError::CircularImport`.
1261    pub fn push(&mut self, path: PathBuf, span: Span) -> Result<(), ParseError> {
1262        // Check for circular import.
1263        if let Some(i) = self.0.iter().rposition(|p| p == &path) {
1264            let filenames: Vec<String> = self.0[i..]
1265                .iter()
1266                .chain(std::iter::once(&path))
1267                .map(|p| p.to_string_lossy().to_string())
1268                .collect();
1269            let msg = filenames.join("\nuses ");
1270            return Err(ParseError::CircularImport(msg, span));
1271        }
1272
1273        self.0.push(path);
1274        Ok(())
1275    }
1276
1277    /// Removes a file from the stack and returns its path, or None if the stack is empty.
1278    pub fn pop(&mut self) -> Option<PathBuf> {
1279        self.0.pop()
1280    }
1281
1282    /// Returns the active file (that is, the file on the top of the stack), or None if the stack is empty.
1283    pub fn top(&self) -> Option<&Path> {
1284        self.0.last().map(PathBuf::as_path)
1285    }
1286
1287    /// Returns the parent directory of the active file, or None if the stack is empty
1288    /// or the active file doesn't have a parent directory as part of its path.
1289    pub fn current_working_directory(&self) -> Option<&Path> {
1290        self.0.last().and_then(|path| path.parent())
1291    }
1292}