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