rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Encapsulate accesses to IndexStore::streams and ::stream_aliases

Browse Source 
These two fields are able to hold `Stream` instances, which predicates like `close/1`
expect to be managed properly for their correctness. To ensure that this is the case,
I have removed direct accesses to those two fields, so that they can be properly managed
in one place.
This commit is contained in:
Emilie Burgun
2025-02-03 14:00:37 +01:00
parent 2fe7b55343
commit 0cf46d3ec4
5 changed files with 187 additions and 124 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
src/machine/mod.rs
View File

@@ -483,32 +483,16 @@ impl Machine {
}
}
/// Ensures that [`Machine::indices`] properly reflects
/// the streams stored in [`Machine::user_input`], [`Machine::user_output`]
/// and [`Machine::user_error`].
pub(crate) fn configure_streams(&mut self) {
self.user_input
.options_mut()
.set_alias_to_atom_opt(Some(atom!("user_input")));
self.indices
.stream_aliases
.insert(atom!("user_input"), self.user_input);
self.indices.streams.insert(self.user_input);
self.user_output
.options_mut()
.set_alias_to_atom_opt(Some(atom!("user_output")));
.set_stream(atom!("user_input"), self.user_input);
self.indices
.stream_aliases
.insert(atom!("user_output"), self.user_output);
self.indices.streams.insert(self.user_output);
.set_stream(atom!("user_output"), self.user_output);
self.indices
.stream_aliases
.insert(atom!("user_error"), self.user_error);
self.indices.streams.insert(self.user_error);
.set_stream(atom!("user_error"), self.user_error);
}
#[inline(always)]