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
21pub struct StateWorkingSet<'a> {
27 pub permanent_state: &'a EngineState,
28 pub delta: StateDelta,
29 pub files: FileStack,
30 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 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 }
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 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 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 overlay_frame.visibility.hide_decl_id(&decl_id);
233 return Some(decl_id);
234 }
235 }
236 }
237
238 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 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); }
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 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 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 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 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 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 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 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 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 self.permanent_state.find_decl(name, &removed_overlays)
472 }
473
474 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 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 self.permanent_state
516 .find_decl_name(decl_id, &removed_overlays)
517 }
518
519 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 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 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 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 #[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 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 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 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 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 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 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 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 pub fn find_file_by_span(&self, span: Span) -> Option<&CachedFile> {
1084 self.files()
1085 .rev()
1087 .find(|file| file.covered_span.contains_span(span))
1088 }
1089
1090 pub fn find_virtual_path(&self, name: &str) -> Option<&VirtualPath> {
1091 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 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 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#[derive(Debug, Default)]
1242pub struct FileStack(Vec<PathBuf>);
1243
1244impl FileStack {
1245 pub fn new() -> Self {
1247 Self(vec![])
1248 }
1249
1250 pub fn with_file(path: PathBuf) -> Self {
1255 Self(vec![path])
1256 }
1257
1258 pub fn push(&mut self, path: PathBuf, span: Span) -> Result<(), ParseError> {
1262 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 pub fn pop(&mut self) -> Option<PathBuf> {
1279 self.0.pop()
1280 }
1281
1282 pub fn top(&self) -> Option<&Path> {
1284 self.0.last().map(PathBuf::as_path)
1285 }
1286
1287 pub fn current_working_directory(&self) -> Option<&Path> {
1290 self.0.last().and_then(|path| path.parent())
1291 }
1292}