From efd5d6efab2f931528eb1e4ef2587031e92adbbf Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 30 Apr 2020 18:20:42 -0600 Subject: [PATCH] use slightly better names in indexing functions --- src/prolog/indexing.rs | 4 ++-- src/prolog/machine/machine_indices.rs | 4 ++-- src/prolog/machine/machine_state_impl.rs | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/prolog/indexing.rs b/src/prolog/indexing.rs index 4873fc03..75a47736 100644 --- a/src/prolog/indexing.rs +++ b/src/prolog/indexing.rs @@ -54,7 +54,7 @@ impl CodeOffsets { } } - fn intercept_constant(&mut self, constant: &Constant, index: usize) { + fn intercept_overlapping_constant(&mut self, constant: &Constant, index: usize) { match constant { &Constant::Atom(ref name, ref op) if name.is_char() => { let c = name.as_str().chars().next().unwrap(); @@ -162,7 +162,7 @@ impl CodeOffsets { self.lists.push(Self::add_index(is_initial_index, index)); } &Term::Constant(_, ref constant) => { - self.intercept_constant(constant, index); + self.intercept_overlapping_constant(constant, index); let code = self.constants .entry(constant.clone()) diff --git a/src/prolog/machine/machine_indices.rs b/src/prolog/machine/machine_indices.rs index fe885bb9..3c585d76 100644 --- a/src/prolog/machine/machine_indices.rs +++ b/src/prolog/machine/machine_indices.rs @@ -238,7 +238,7 @@ impl Addr { } } - pub fn as_constant(&self, machine_st: &MachineState) -> Option { + pub fn as_constant_index(&self, machine_st: &MachineState) -> Option { match self { &Addr::Char(c) => { Some(Constant::Char(c)) @@ -249,7 +249,7 @@ impl Addr { &Addr::Con(h) => { match &machine_st.heap[h] { &HeapCellValue::Atom(ref name, ref op) => { - Some(Constant::Atom(name.clone(), op.clone())) + Some(Constant::Atom(name.clone(), None)) } &HeapCellValue::Integer(ref n) => { Some(Constant::Integer(n.clone())) diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs index 14e4679b..42e45b4d 100644 --- a/src/prolog/machine/machine_state_impl.rs +++ b/src/prolog/machine/machine_state_impl.rs @@ -1433,7 +1433,7 @@ impl MachineState { let addr = self.store(self.deref(addr)); let offset = - match addr.as_constant(&self) { + match addr.as_constant_index(&self) { Some(c) => { match hm.get(&c) { Some(offset) => *offset, -- 2.54.0