move existence_error function in machine_st_impl.rs

diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs
index e5749ef51851b1a524e1f74e7569c9d36ebd0a14..17560ef41150b9f8a8b3d80fa9ea37dd431be960 100644 (file)
--- a/src/prolog/machine/machine_state.rs
+++ b/src/prolog/machine/machine_state.rs
@@ -209,16 +209,6 @@ pub struct MachineState {
 
 pub(crate) type CallResult = Result<(), Vec<HeapCellValue>>;
 
-fn predicate_existence_error(name: ClauseName, arity: usize, h: usize) -> Vec<HeapCellValue>
-{
-    let name = HeapCellValue::Addr(Addr::Con(Constant::Atom(name)));
-
-    let mut error = functor!("existence_error", 2, [heap_atom!("procedure"), heap_str!(3 + h)]);
-    error.append(&mut functor!("/", 2, [name, heap_integer!(arity)], Fixity::In));
-
-    error
-}
-
 pub(crate) trait CallPolicy: Any {
     fn context_call(&mut self, machine_st: &mut MachineState, name: ClauseName,
                     arity: usize, idx: CodeIndex, lco: bool)
@@ -237,7 +227,7 @@ pub(crate) trait CallPolicy: Any {
     {
         match idx.0.borrow().0 {
             IndexPtr::Undefined =>
-                return Err(predicate_existence_error(name, arity, machine_st.heap.h)),
+                return Err(machine_st.existence_error(name, arity)),
             IndexPtr::Index(compiled_tl_index) => {
                 let module_name = idx.0.borrow().1.clone();
 
@@ -257,7 +247,7 @@ pub(crate) trait CallPolicy: Any {
     {
         match idx.0.borrow().0 {
             IndexPtr::Undefined =>
-                return Err(predicate_existence_error(name, arity, machine_st.heap.h)),
+                return Err(machine_st.existence_error(name, arity)),
             IndexPtr::Index(compiled_tl_index) => {
                 let module_name = idx.0.borrow().1.clone();
 
@@ -430,7 +420,7 @@ pub(crate) trait CallPolicy: Any {
                     if let Some(idx) = code_dirs.get(name.clone(), arity, clause_name!("user")) {
                         self.context_call(machine_st, name, arity, idx, lco)
                     } else {
-                        Err(predicate_existence_error(name, arity, machine_st.heap.h))
+                        Err(machine_st.existence_error(name, arity))
                     }
                 } else {
                     Ok(())

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 71397049b4cafc4c519d0e36e03fec24cc57a32b..83181aa7e7c4e6ac1039d4438d46dee68031e6b6 100644 (file)
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -952,6 +952,16 @@ impl MachineState {
         self.goto_throw();
     }
 
+    pub(super) fn existence_error(&self, name: ClauseName, arity: usize) -> Vec<HeapCellValue> {
+        let name = HeapCellValue::Addr(Addr::Con(Constant::Atom(name)));
+        let h = self.heap.h;
+        
+        let mut error = functor!("existence_error", 2, [heap_atom!("procedure"), heap_str!(3 + h)]);
+        error.append(&mut functor!("/", 2, [name, heap_integer!(arity)], Fixity::In));
+        
+        error
+    }
+    
     pub(super) fn setup_call_n(&mut self, arity: usize) -> Option<PredicateKey>
     {
         let addr = self.store(self.deref(self.registers[arity].clone()));