]> Repositorios git - scryer-prolog.git/commit
Encapsulate accesses to IndexStore::streams and ::stream_aliases
authorEmilie Burgun <[email protected]>
Mon, 3 Feb 2025 13:00:37 +0000 (14:00 +0100)
committerEmilie Burgun <[email protected]>
Thu, 6 Feb 2025 22:00:00 +0000 (23:00 +0100)
commit0cf46d3ec4f0fc1e9fd9c8222336a28ea3b4ad3b
treea3586d6869479379a3eb051e4afc93342d799479
parent2fe7b55343ccf6396f4ad6a8088462592302ad06
Encapsulate accesses to IndexStore::streams and ::stream_aliases

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.
src/machine/loader.rs
src/machine/machine_indices.rs
src/machine/mod.rs
src/machine/streams.rs
src/machine/system_calls.rs