1use crate::{
2 BlockId, Category, CompileError, Config, DeclId, FileId, GetSpan, Module, ModuleId, OverlayId,
3 ParseError, ParseWarning, ResolvedImportPattern, Signature, Span, SpanId, Type, Value, VarId,
4 VirtualPathId,
5 ast::Block,
6 engine::{
7 CachedFile, Command, CommandType, EngineState, OverlayFrame, StateDelta, Variable,
8 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 let overlay_frame = self.last_overlay_mut();
147
148 for (mut name, var_id) in variables {
149 if !name.starts_with(b"$") {
150 name.insert(0, b'$');
151 }
152 overlay_frame.insert_variable(name, var_id);
153 }
154 }
155
156 pub fn add_predecl(&mut self, decl: Box<dyn Command>) -> Option<DeclId> {
157 let name = decl.name().as_bytes().to_vec();
158
159 self.delta.decls.push(decl);
160 let decl_id = self.num_decls() - 1;
161 let decl_id = DeclId::new(decl_id);
162
163 self.delta
164 .last_scope_frame_mut()
165 .predecls
166 .insert(name, decl_id)
167 }
168
169 #[cfg(feature = "plugin")]
170 pub fn find_or_create_plugin(
171 &mut self,
172 identity: &PluginIdentity,
173 make: impl FnOnce() -> Arc<dyn RegisteredPlugin>,
174 ) -> Arc<dyn RegisteredPlugin> {
175 if let Some(plugin) = self
177 .delta
178 .plugins
179 .iter()
180 .chain(self.permanent_state.plugins())
181 .find(|p| p.identity() == identity)
182 {
183 plugin.clone()
184 } else {
185 let plugin = make();
186 self.delta.plugins.push(plugin.clone());
187 plugin
188 }
189 }
190
191 #[cfg(feature = "plugin")]
192 pub fn update_plugin_registry(&mut self, item: PluginRegistryItem) {
193 self.delta.plugin_registry_items.push(item);
194 }
195
196 pub fn merge_predecl(&mut self, name: &[u8]) -> Option<DeclId> {
197 self.move_one_predecl_to_overlay(name);
198
199 let overlay_frame = self.last_overlay_mut();
200
201 if let Some(decl_id) = overlay_frame.predecls.remove(name) {
202 overlay_frame.insert_decl(name.into(), decl_id);
203
204 return Some(decl_id);
205 }
206
207 None
208 }
209
210 fn move_one_predecl_to_overlay(&mut self, name: &[u8]) {
211 self.delta
212 .last_scope_frame_mut()
213 .predecls
214 .remove_entry(name)
215 .map(|(name, decl_id)| self.last_overlay_mut().predecls.insert(name, decl_id));
216 }
217
218 pub fn hide_decl(&mut self, name: &[u8]) -> Option<DeclId> {
219 let mut removed_overlays = vec![];
220 let mut visibility: Visibility = Visibility::new();
221
222 for scope_frame in self.delta.scope.iter_mut().rev() {
224 for overlay_id in scope_frame
225 .active_overlay_ids(&mut removed_overlays)
226 .iter()
227 .rev()
228 {
229 let overlay_frame = scope_frame.get_overlay_mut(*overlay_id);
230
231 visibility.append(&overlay_frame.visibility);
232
233 if let Some(decl_id) = overlay_frame.get_decl(name)
234 && visibility.is_decl_id_visible(&decl_id)
235 {
236 overlay_frame.visibility.hide_decl_id(&decl_id);
238 return Some(decl_id);
239 }
240 }
241 }
242
243 for overlay_frame in self
246 .permanent_state
247 .active_overlays(&removed_overlays)
248 .rev()
249 {
250 visibility.append(&overlay_frame.visibility);
251
252 if let Some(decl_id) = overlay_frame.get_decl(name)
253 && visibility.is_decl_id_visible(&decl_id)
254 {
255 self.last_overlay_mut().visibility.hide_decl_id(&decl_id);
257 return Some(decl_id);
258 }
259 }
260
261 None
262 }
263
264 pub fn hide_decls(&mut self, decls: &[Vec<u8>]) {
265 for decl in decls.iter() {
266 self.hide_decl(decl); }
268 }
269
270 pub fn add_block(&mut self, block: Arc<Block>) -> BlockId {
271 log::trace!(
272 "block id={} added, has IR = {:?}",
273 self.num_blocks(),
274 block.ir_block.is_some()
275 );
276
277 self.delta.blocks.push(block);
278
279 BlockId::new(self.num_blocks() - 1)
280 }
281
282 pub fn add_module(&mut self, name: &str, module: Module, comments: Vec<Span>) -> ModuleId {
283 let name = name.as_bytes().to_vec();
284
285 self.delta.modules.push(Arc::new(module));
286 let module_id = self.num_modules() - 1;
287 let module_id = ModuleId::new(module_id);
288
289 if !comments.is_empty() {
290 self.delta
291 .doccomments
292 .add_module_comments(module_id, comments);
293 }
294
295 self.last_overlay_mut().modules.insert(name, module_id);
296
297 module_id
298 }
299
300 pub fn get_module_comments(&self, module_id: ModuleId) -> Option<&[Span]> {
301 self.delta
302 .doccomments
303 .get_module_comments(module_id)
304 .or_else(|| self.permanent_state.get_module_comments(module_id))
305 }
306
307 pub fn next_span_start(&self) -> usize {
308 let permanent_span_start = self.permanent_state.next_span_start();
309
310 if let Some(cached_file) = self.delta.files.last() {
311 cached_file.covered_span.end
312 } else {
313 permanent_span_start
314 }
315 }
316
317 pub fn files(&self) -> impl Iterator<Item = &CachedFile> {
318 self.permanent_state.files().chain(self.delta.files.iter())
319 }
320
321 pub fn get_contents_of_file(&self, file_id: FileId) -> Option<&[u8]> {
322 if let Some(cached_file) = self.permanent_state.get_file_contents().get(file_id.get()) {
323 return Some(&cached_file.content);
324 }
325 if let Some(cached_file) = self
328 .delta
329 .get_file_contents()
330 .get(file_id.get() - self.permanent_state.num_files())
331 {
332 return Some(&cached_file.content);
333 }
334
335 None
336 }
337
338 #[must_use]
339 pub fn add_file(&mut self, filename: String, contents: &[u8]) -> FileId {
340 for (idx, cached_file) in self.files().enumerate() {
342 if *cached_file.name == filename && &*cached_file.content == contents {
343 return FileId::new(idx);
344 }
345 }
346
347 let next_span_start = self.next_span_start();
348 let next_span_end = next_span_start + contents.len();
349
350 let covered_span = Span::new(next_span_start, next_span_end);
351
352 self.delta.files.push(CachedFile {
353 name: filename.into(),
354 content: contents.into(),
355 covered_span,
356 });
357
358 FileId::new(self.num_files() - 1)
359 }
360
361 #[must_use]
362 pub fn add_virtual_path(&mut self, name: String, virtual_path: VirtualPath) -> VirtualPathId {
363 self.delta.virtual_paths.push((name, virtual_path));
364
365 VirtualPathId::new(self.num_virtual_paths() - 1)
366 }
367
368 pub fn get_span_for_filename(&self, filename: &str) -> Option<Span> {
369 let predicate = |file: &CachedFile| &*file.name == filename;
370 let file_id = self
372 .delta
373 .files
374 .iter()
375 .rposition(predicate)
376 .map(|idx| idx + self.permanent_state.num_files())
377 .or_else(|| self.permanent_state.files().rposition(predicate))?;
378 let file_id = FileId::new(file_id);
379
380 Some(self.get_span_for_file(file_id))
381 }
382
383 pub fn get_span_for_file(&self, file_id: FileId) -> Span {
388 let result = self
389 .files()
390 .nth(file_id.get())
391 .expect("internal error: could not find source for previously parsed file");
392
393 result.covered_span
394 }
395
396 pub fn get_span_contents(&self, span: Span) -> &[u8] {
397 let permanent_end = self.permanent_state.next_span_start();
398 if permanent_end <= span.start {
399 for cached_file in &self.delta.files {
400 if cached_file.covered_span.contains_span(span) {
401 return &cached_file.content[span.start - cached_file.covered_span.start
402 ..span.end - cached_file.covered_span.start];
403 }
404 }
405 }
406
407 self.permanent_state.get_span_contents(span)
409 }
410
411 pub fn enter_scope(&mut self) {
412 self.delta.enter_scope();
413 }
414
415 pub fn exit_scope(&mut self) {
416 self.delta.exit_scope();
417 }
418
419 pub fn find_predecl(&self, name: &[u8]) -> Option<DeclId> {
421 let mut removed_overlays = vec![];
422
423 for scope_frame in self.delta.scope.iter().rev() {
424 if let Some(decl_id) = scope_frame.predecls.get(name) {
425 return Some(*decl_id);
426 }
427
428 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
429 if let Some(decl_id) = overlay_frame.predecls.get(name) {
430 return Some(*decl_id);
431 }
432 }
433 }
434
435 None
436 }
437
438 pub fn find_decl(&self, name: &[u8]) -> Option<DeclId> {
444 let mut removed_overlays = vec![];
445
446 let mut visibility: Visibility = Visibility::new();
447
448 for scope_frame in self.delta.scope.iter().rev() {
449 if self.search_predecls
450 && let Some(decl_id) = scope_frame.predecls.get(name)
451 && visibility.is_decl_id_visible(decl_id)
452 {
453 return Some(*decl_id);
454 }
455
456 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
458 visibility.append(&overlay_frame.visibility);
459
460 if self.search_predecls
461 && let Some(decl_id) = overlay_frame.predecls.get(name)
462 && visibility.is_decl_id_visible(decl_id)
463 {
464 return Some(*decl_id);
465 }
466
467 if let Some(decl_id) = overlay_frame.get_decl(name)
468 && visibility.is_decl_id_visible(&decl_id)
469 {
470 return Some(decl_id);
471 }
472 }
473 }
474
475 self.permanent_state.find_decl(name, &removed_overlays)
477 }
478
479 pub fn find_decl_name(&self, decl_id: DeclId) -> Option<&[u8]> {
484 let mut removed_overlays = vec![];
485
486 let mut visibility: Visibility = Visibility::new();
487
488 for scope_frame in self.delta.scope.iter().rev() {
489 if self.search_predecls {
490 for (name, id) in scope_frame.predecls.iter() {
491 if id == &decl_id {
492 return Some(name);
493 }
494 }
495 }
496
497 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
499 visibility.append(&overlay_frame.visibility);
500
501 if self.search_predecls {
502 for (name, id) in overlay_frame.predecls.iter() {
503 if id == &decl_id {
504 return Some(name);
505 }
506 }
507 }
508
509 if visibility.is_decl_id_visible(&decl_id) {
510 for (name, id) in overlay_frame.decls.iter() {
511 if id == &decl_id {
512 return Some(name);
513 }
514 }
515 }
516 }
517 }
518
519 self.permanent_state
521 .find_decl_name(decl_id, &removed_overlays)
522 }
523
524 pub fn find_module(&self, name: &[u8]) -> Option<ModuleId> {
529 let mut removed_overlays = vec![];
530
531 for scope_frame in self.delta.scope.iter().rev() {
532 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
533 if let Some(module_id) = overlay_frame.modules.get(name) {
534 return Some(*module_id);
535 }
536 }
537 }
538
539 for overlay_frame in self
540 .permanent_state
541 .active_overlays(&removed_overlays)
542 .rev()
543 {
544 if let Some(module_id) = overlay_frame.modules.get(name) {
545 return Some(*module_id);
546 }
547 }
548
549 None
550 }
551
552 pub fn next_var_id(&self) -> VarId {
553 let num_permanent_vars = self.permanent_state.num_vars();
554 VarId::new(num_permanent_vars + self.delta.vars.len())
555 }
556
557 pub fn list_variables(&self) -> Vec<&[u8]> {
558 let mut removed_overlays = vec![];
559 let mut variables = HashSet::new();
560 for scope_frame in self.delta.scope.iter() {
561 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays) {
562 variables.extend(overlay_frame.vars.keys().map(|k| &k[..]));
563 }
564 }
565
566 let permanent_vars = self
567 .permanent_state
568 .active_overlays(&removed_overlays)
569 .flat_map(|overlay_frame| overlay_frame.vars.keys().map(|k| &k[..]));
570
571 variables.extend(permanent_vars);
572 variables.into_iter().collect()
573 }
574
575 pub fn find_variable(&self, name: &[u8]) -> Option<VarId> {
576 let mut name = name.to_vec();
577 if !name.starts_with(b"$") {
578 name.insert(0, b'$');
579 }
580 let mut removed_overlays = vec![];
581
582 for scope_frame in self.delta.scope.iter().rev() {
583 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
584 if let Some(var_id) = overlay_frame.vars.get(&name) {
585 return Some(*var_id);
586 }
587 }
588 }
589
590 for overlay_frame in self
591 .permanent_state
592 .active_overlays(&removed_overlays)
593 .rev()
594 {
595 if let Some(var_id) = overlay_frame.vars.get(&name) {
596 return Some(*var_id);
597 }
598 }
599
600 None
601 }
602
603 pub fn find_variable_in_current_frame(&self, name: &[u8]) -> Option<VarId> {
604 let mut removed_overlays = vec![];
605
606 for scope_frame in self.delta.scope.iter().rev().take(1) {
607 for overlay_frame in scope_frame.active_overlays(&mut removed_overlays).rev() {
608 if let Some(var_id) = overlay_frame.vars.get(name) {
609 return Some(*var_id);
610 }
611 }
612 }
613
614 None
615 }
616
617 pub fn add_variable(
618 &mut self,
619 mut name: Vec<u8>,
620 span: Span,
621 ty: Type,
622 mutable: bool,
623 ) -> VarId {
624 let next_id = self.next_var_id();
625 if !name.starts_with(b"$") {
627 name.insert(0, b'$');
628 }
629
630 self.last_overlay_mut().insert_variable(name, next_id);
631
632 self.delta.vars.push(Variable::new(span, ty, mutable));
633
634 next_id
635 }
636
637 #[deprecated(since = "0.92.3", note = "please use `EngineState::cwd()` instead")]
642 pub fn get_cwd(&self) -> String {
643 self.permanent_state
644 .cwd(None)
645 .map(|path| path.to_string_lossy().to_string())
646 .unwrap_or_default()
647 }
648
649 pub fn get_env_var(&self, name: &str) -> Option<&Value> {
650 self.permanent_state.get_env_var(name)
651 }
652
653 pub fn get_config(&self) -> &Arc<Config> {
658 &self.permanent_state.config
659 }
660
661 pub fn set_variable_type(&mut self, var_id: VarId, ty: Type) {
662 let num_permanent_vars = self.permanent_state.num_vars();
663 if var_id.get() < num_permanent_vars {
664 panic!("Internal error: attempted to set into permanent state from working set")
665 } else {
666 self.delta.vars[var_id.get() - num_permanent_vars].ty = ty;
667 }
668 }
669
670 pub fn set_variable_const_val(&mut self, var_id: VarId, val: Value) {
671 let num_permanent_vars = self.permanent_state.num_vars();
672 if var_id.get() < num_permanent_vars {
673 panic!("Internal error: attempted to set into permanent state from working set")
674 } else {
675 self.delta.vars[var_id.get() - num_permanent_vars].const_val = Some(val);
676 }
677 }
678
679 pub fn get_variable(&self, var_id: VarId) -> &Variable {
680 let num_permanent_vars = self.permanent_state.num_vars();
681 if var_id.get() < num_permanent_vars {
682 self.permanent_state.get_var(var_id)
683 } else {
684 self.delta
685 .vars
686 .get(var_id.get() - num_permanent_vars)
687 .expect("internal error: missing variable")
688 }
689 }
690
691 pub fn get_variable_if_possible(&self, var_id: VarId) -> Option<&Variable> {
692 let num_permanent_vars = self.permanent_state.num_vars();
693 if var_id.get() < num_permanent_vars {
694 Some(self.permanent_state.get_var(var_id))
695 } else {
696 self.delta.vars.get(var_id.get() - num_permanent_vars)
697 }
698 }
699
700 pub fn get_constant(&self, var_id: VarId) -> Result<&Value, ParseError> {
701 let var = self.get_variable(var_id);
702
703 if let Some(const_val) = &var.const_val {
704 Ok(const_val)
705 } else {
706 Err(ParseError::InternalError(
707 "constant does not have a constant value".into(),
708 var.declaration_span,
709 ))
710 }
711 }
712
713 pub fn get_decl(&self, decl_id: DeclId) -> &dyn Command {
714 let num_permanent_decls = self.permanent_state.num_decls();
715 if decl_id.get() < num_permanent_decls {
716 self.permanent_state.get_decl(decl_id)
717 } else {
718 self.delta
719 .decls
720 .get(decl_id.get() - num_permanent_decls)
721 .expect("internal error: missing declaration")
722 .as_ref()
723 }
724 }
725
726 pub fn get_decl_mut(&mut self, decl_id: DeclId) -> &mut Box<dyn Command> {
727 let num_permanent_decls = self.permanent_state.num_decls();
728 if decl_id.get() < num_permanent_decls {
729 panic!("internal error: can only mutate declarations in working set")
730 } else {
731 self.delta
732 .decls
733 .get_mut(decl_id.get() - num_permanent_decls)
734 .expect("internal error: missing declaration")
735 }
736 }
737
738 pub fn get_signature(&self, decl: &dyn Command) -> Signature {
739 if let Some(block_id) = decl.block_id() {
740 *self.get_block(block_id).signature.clone()
741 } else {
742 decl.signature()
743 }
744 }
745
746 pub fn traverse_commands(&self, mut f: impl FnMut(&[u8], DeclId)) {
748 for scope_frame in self.delta.scope.iter().rev() {
749 for overlay_id in scope_frame.active_overlays.iter().rev() {
750 let overlay_frame = scope_frame.get_overlay(*overlay_id);
751
752 for (name, decl_id) in &overlay_frame.decls {
753 if overlay_frame.visibility.is_decl_id_visible(decl_id) {
754 f(name, *decl_id);
755 }
756 }
757 }
758 }
759
760 self.permanent_state.traverse_commands(f);
761 }
762
763 pub fn find_commands_by_predicate(
764 &self,
765 mut predicate: impl FnMut(&[u8]) -> bool,
766 ignore_deprecated: bool,
767 ) -> Vec<(DeclId, Vec<u8>, Option<String>, CommandType)> {
768 let mut output = vec![];
769
770 self.traverse_commands(|name, decl_id| {
771 if !predicate(name) {
772 return;
773 }
774 let command = self.get_decl(decl_id);
775 if ignore_deprecated && command.signature().category == Category::Removed {
776 return;
777 }
778 output.push((
779 decl_id,
780 name.to_vec(),
781 Some(command.description().to_string()),
782 command.command_type(),
783 ));
784 });
785
786 output
787 }
788
789 pub fn get_block(&self, block_id: BlockId) -> &Arc<Block> {
790 let num_permanent_blocks = self.permanent_state.num_blocks();
791 if block_id.get() < num_permanent_blocks {
792 self.permanent_state.get_block(block_id)
793 } else {
794 self.delta
795 .blocks
796 .get(block_id.get() - num_permanent_blocks)
797 .expect("internal error: missing block")
798 }
799 }
800
801 pub fn get_module(&self, module_id: ModuleId) -> &Module {
802 let num_permanent_modules = self.permanent_state.num_modules();
803 if module_id.get() < num_permanent_modules {
804 self.permanent_state.get_module(module_id)
805 } else {
806 self.delta
807 .modules
808 .get(module_id.get() - num_permanent_modules)
809 .expect("internal error: missing module")
810 }
811 }
812
813 pub fn get_block_mut(&mut self, block_id: BlockId) -> &mut Block {
814 let num_permanent_blocks = self.permanent_state.num_blocks();
815 if block_id.get() < num_permanent_blocks {
816 panic!("Attempt to mutate a block that is in the permanent (immutable) state")
817 } else {
818 self.delta
819 .blocks
820 .get_mut(block_id.get() - num_permanent_blocks)
821 .map(Arc::make_mut)
822 .expect("internal error: missing block")
823 }
824 }
825
826 pub fn find_overlay(&self, name: &[u8]) -> Option<&OverlayFrame> {
828 for scope_frame in self.delta.scope.iter().rev() {
829 if let Some(overlay_id) = scope_frame.find_overlay(name) {
830 return Some(scope_frame.get_overlay(overlay_id));
831 }
832 }
833
834 self.permanent_state
835 .find_overlay(name)
836 .map(|id| self.permanent_state.get_overlay(id))
837 }
838
839 pub fn last_overlay_name(&self) -> &[u8] {
840 let mut removed_overlays = vec![];
841
842 for scope_frame in self.delta.scope.iter().rev() {
843 if let Some(last_name) = scope_frame
844 .active_overlay_names(&mut removed_overlays)
845 .iter()
846 .rev()
847 .next_back()
848 {
849 return last_name;
850 }
851 }
852
853 self.permanent_state.last_overlay_name(&removed_overlays)
854 }
855
856 pub fn last_overlay(&self) -> &OverlayFrame {
857 let mut removed_overlays = vec![];
858
859 for scope_frame in self.delta.scope.iter().rev() {
860 if let Some(last_overlay) = scope_frame
861 .active_overlays(&mut removed_overlays)
862 .rev()
863 .next_back()
864 {
865 return last_overlay;
866 }
867 }
868
869 self.permanent_state.last_overlay(&removed_overlays)
870 }
871
872 pub fn last_overlay_mut(&mut self) -> &mut OverlayFrame {
873 if self.delta.last_overlay_mut().is_none() {
874 let overlay_frame = self.last_overlay();
876 let name = self.last_overlay_name().to_vec();
877 let origin = overlay_frame.origin;
878 let prefixed = overlay_frame.prefixed;
879 self.add_overlay(
880 name,
881 origin,
882 ResolvedImportPattern::new(vec![], vec![], vec![], vec![]),
883 prefixed,
884 );
885 }
886
887 self.delta
888 .last_overlay_mut()
889 .expect("internal error: missing added overlay")
890 }
891
892 pub fn decls_of_overlay(&self, name: &[u8]) -> HashMap<Vec<u8>, DeclId> {
894 let mut result = HashMap::new();
895
896 if let Some(overlay_id) = self.permanent_state.find_overlay(name) {
897 let overlay_frame = self.permanent_state.get_overlay(overlay_id);
898
899 for (decl_key, decl_id) in &overlay_frame.decls {
900 result.insert(decl_key.to_owned(), *decl_id);
901 }
902 }
903
904 for scope_frame in self.delta.scope.iter() {
905 if let Some(overlay_id) = scope_frame.find_overlay(name) {
906 let overlay_frame = scope_frame.get_overlay(overlay_id);
907
908 for (decl_key, decl_id) in &overlay_frame.decls {
909 result.insert(decl_key.to_owned(), *decl_id);
910 }
911 }
912 }
913
914 result
915 }
916
917 pub fn add_overlay(
918 &mut self,
919 name: Vec<u8>,
920 origin: ModuleId,
921 definitions: ResolvedImportPattern,
922 prefixed: bool,
923 ) {
924 let last_scope_frame = self.delta.last_scope_frame_mut();
925
926 last_scope_frame
927 .removed_overlays
928 .retain(|removed_name| removed_name != &name);
929
930 let overlay_id = if let Some(overlay_id) = last_scope_frame.find_overlay(&name) {
931 last_scope_frame.get_overlay_mut(overlay_id).origin = origin;
932
933 overlay_id
934 } else {
935 last_scope_frame
936 .overlays
937 .push((name, OverlayFrame::from_origin(origin, prefixed)));
938 OverlayId::new(last_scope_frame.overlays.len() - 1)
939 };
940
941 last_scope_frame
942 .active_overlays
943 .retain(|id| id != &overlay_id);
944 last_scope_frame.active_overlays.push(overlay_id);
945
946 self.use_decls(definitions.decls);
947 self.use_modules(definitions.modules);
948
949 let mut constants = vec![];
950
951 for (name, const_vid) in definitions.constants {
952 constants.push((name, const_vid));
953 }
954
955 for (name, const_val) in definitions.constant_values {
956 let const_var_id =
957 self.add_variable(name.clone(), Span::unknown(), const_val.get_type(), false);
958 self.set_variable_const_val(const_var_id, const_val);
959 constants.push((name, const_var_id));
960 }
961 self.use_variables(constants);
962 }
963
964 pub fn remove_overlay(&mut self, name: &[u8], keep_custom: bool) {
965 let last_scope_frame = self.delta.last_scope_frame_mut();
966
967 let maybe_module_id = if let Some(overlay_id) = last_scope_frame.find_overlay(name) {
968 last_scope_frame
969 .active_overlays
970 .retain(|id| id != &overlay_id);
971
972 Some(last_scope_frame.get_overlay(overlay_id).origin)
973 } else {
974 self.permanent_state
975 .find_overlay(name)
976 .map(|id| self.permanent_state.get_overlay(id).origin)
977 };
978
979 if let Some(module_id) = maybe_module_id {
980 last_scope_frame.removed_overlays.push(name.to_owned());
981
982 if keep_custom {
983 let origin_module = self.get_module(module_id);
984
985 let decls = self
986 .decls_of_overlay(name)
987 .into_iter()
988 .filter(|(n, _)| !origin_module.has_decl(n))
989 .collect();
990
991 self.use_decls(decls);
992 }
993 }
994 }
995
996 pub fn render(self) -> StateDelta {
997 self.delta
998 }
999
1000 pub fn build_desc(&self, spans: &[Span]) -> (String, String) {
1001 let comment_lines: Vec<&[u8]> = spans
1002 .iter()
1003 .map(|span| self.get_span_contents(*span))
1004 .collect();
1005 build_desc(&comment_lines)
1006 }
1007
1008 pub fn find_block_by_span(&self, span: Span) -> Option<Arc<Block>> {
1009 for block in &self.delta.blocks {
1010 if Some(span) == block.span {
1011 return Some(block.clone());
1012 }
1013 }
1014
1015 for block in self.permanent_state.blocks.iter() {
1016 if Some(span) == block.span {
1017 return Some(block.clone());
1018 }
1019 }
1020
1021 None
1022 }
1023
1024 pub fn find_module_by_span(&self, span: Span) -> Option<ModuleId> {
1025 for (id, module) in self.delta.modules.iter().enumerate() {
1026 if Some(span) == module.span {
1027 return Some(ModuleId::new(self.permanent_state.num_modules() + id));
1028 }
1029 }
1030
1031 for (module_id, module) in self.permanent_state.modules.iter().enumerate() {
1032 if Some(span) == module.span {
1033 return Some(ModuleId::new(module_id));
1034 }
1035 }
1036
1037 None
1038 }
1039
1040 pub fn find_virtual_path(&self, name: &str) -> Option<&VirtualPath> {
1041 let virtual_path_name = Path::new(name);
1043
1044 for (virtual_name, virtual_path) in self.delta.virtual_paths.iter().rev() {
1045 if Path::new(virtual_name) == virtual_path_name {
1046 return Some(virtual_path);
1047 }
1048 }
1049
1050 for (virtual_name, virtual_path) in self.permanent_state.virtual_paths.iter().rev() {
1051 if Path::new(virtual_name) == virtual_path_name {
1052 return Some(virtual_path);
1053 }
1054 }
1055
1056 None
1057 }
1058
1059 pub fn get_virtual_path(&self, virtual_path_id: VirtualPathId) -> &(String, VirtualPath) {
1060 let num_permanent_virtual_paths = self.permanent_state.num_virtual_paths();
1061 if virtual_path_id.get() < num_permanent_virtual_paths {
1062 self.permanent_state.get_virtual_path(virtual_path_id)
1063 } else {
1064 self.delta
1065 .virtual_paths
1066 .get(virtual_path_id.get() - num_permanent_virtual_paths)
1067 .expect("internal error: missing virtual path")
1068 }
1069 }
1070
1071 pub fn add_span(&mut self, span: Span) -> SpanId {
1072 let num_permanent_spans = self.permanent_state.spans.len();
1073 self.delta.spans.push(span);
1074 SpanId::new(num_permanent_spans + self.delta.spans.len() - 1)
1075 }
1076}
1077
1078impl<'a> GetSpan for &'a StateWorkingSet<'a> {
1079 fn get_span(&self, span_id: SpanId) -> Span {
1080 let num_permanent_spans = self.permanent_state.num_spans();
1081 if span_id.get() < num_permanent_spans {
1082 self.permanent_state.get_span(span_id)
1083 } else {
1084 *self
1085 .delta
1086 .spans
1087 .get(span_id.get() - num_permanent_spans)
1088 .expect("internal error: missing span")
1089 }
1090 }
1091}
1092
1093impl miette::SourceCode for &StateWorkingSet<'_> {
1094 fn read_span<'b>(
1095 &'b self,
1096 span: &miette::SourceSpan,
1097 context_lines_before: usize,
1098 context_lines_after: usize,
1099 ) -> Result<Box<dyn miette::SpanContents<'b> + 'b>, miette::MietteError> {
1100 let debugging = std::env::var("MIETTE_DEBUG").is_ok();
1101 if debugging {
1102 let finding_span = "Finding span in StateWorkingSet";
1103 dbg!(finding_span, span);
1104 }
1105 for cached_file in self.files() {
1106 let (filename, start, end) = (
1107 &cached_file.name,
1108 cached_file.covered_span.start,
1109 cached_file.covered_span.end,
1110 );
1111 if debugging {
1112 dbg!(&filename, start, end);
1113 }
1114 if span.offset() >= start && span.offset() + span.len() <= end {
1115 if debugging {
1116 let found_file = "Found matching file";
1117 dbg!(found_file);
1118 }
1119 let our_span = cached_file.covered_span;
1120 let local_span = (span.offset() - start, span.len()).into();
1123 if debugging {
1124 dbg!(&local_span);
1125 }
1126 let span_contents = self.get_span_contents(our_span);
1127 if debugging {
1128 dbg!(String::from_utf8_lossy(span_contents));
1129 }
1130 let span_contents = span_contents.read_span(
1131 &local_span,
1132 context_lines_before,
1133 context_lines_after,
1134 )?;
1135 let content_span = span_contents.span();
1136 let retranslated = (content_span.offset() + start, content_span.len()).into();
1138 if debugging {
1139 dbg!(&retranslated);
1140 }
1141
1142 let data = span_contents.data();
1143 if &**filename == "<cli>" {
1144 if debugging {
1145 let success_cli = "Successfully read CLI span";
1146 dbg!(success_cli, String::from_utf8_lossy(data));
1147 }
1148 return Ok(Box::new(miette::MietteSpanContents::new(
1149 data,
1150 retranslated,
1151 span_contents.line(),
1152 span_contents.column(),
1153 span_contents.line_count(),
1154 )));
1155 } else {
1156 if debugging {
1157 let success_file = "Successfully read file span";
1158 dbg!(success_file);
1159 }
1160 return Ok(Box::new(miette::MietteSpanContents::new_named(
1161 (**filename).to_owned(),
1162 data,
1163 retranslated,
1164 span_contents.line(),
1165 span_contents.column(),
1166 span_contents.line_count(),
1167 )));
1168 }
1169 }
1170 }
1171 Err(miette::MietteError::OutOfBounds)
1172 }
1173}
1174
1175#[derive(Debug, Default)]
1185pub struct FileStack(Vec<PathBuf>);
1186
1187impl FileStack {
1188 pub fn new() -> Self {
1190 Self(vec![])
1191 }
1192
1193 pub fn with_file(path: PathBuf) -> Self {
1198 Self(vec![path])
1199 }
1200
1201 pub fn push(&mut self, path: PathBuf, span: Span) -> Result<(), ParseError> {
1205 if let Some(i) = self.0.iter().rposition(|p| p == &path) {
1207 let filenames: Vec<String> = self.0[i..]
1208 .iter()
1209 .chain(std::iter::once(&path))
1210 .map(|p| p.to_string_lossy().to_string())
1211 .collect();
1212 let msg = filenames.join("\nuses ");
1213 return Err(ParseError::CircularImport(msg, span));
1214 }
1215
1216 self.0.push(path);
1217 Ok(())
1218 }
1219
1220 pub fn pop(&mut self) -> Option<PathBuf> {
1222 self.0.pop()
1223 }
1224
1225 pub fn top(&self) -> Option<&Path> {
1227 self.0.last().map(PathBuf::as_path)
1228 }
1229
1230 pub fn current_working_directory(&self) -> Option<&Path> {
1233 self.0.last().and_then(|path| path.parent())
1234 }
1235}