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

Add convenience methods Machine::load_module_string() and Machine::run_query()

Browse Source
This commit is contained in:
Nicolas Luck
2023-07-11 14:51:58 +02:00
parent 112d398175
commit 2f45f0cfed
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/machine/mod.rs
View File

@@ -320,6 +320,17 @@ impl Machine {
String::from_utf8(output_bytes).unwrap() String::from_utf8(output_bytes).unwrap()
} }
pub fn load_module_string(&mut self, module_name: &str, program: String) {
let stream = Stream::from_owned_string(program, &mut self.machine_st.arena);
self.load_file(module_name, stream);
}
pub fn run_query(&mut self, query: String) -> String{
self.set_user_input(query);
self.run_input_once();
self.get_user_output()
}
pub(crate) fn configure_modules(&mut self) { pub(crate) fn configure_modules(&mut self) {
fn update_call_n_indices(loader: &Module, target_code_dir: &mut CodeDir, arena: &mut Arena) { fn update_call_n_indices(loader: &Module, target_code_dir: &mut CodeDir, arena: &mut Arena) {
for arity in 1..66 { for arity in 1..66 {