greg/mentat
1
0
Fork 0
Code Issues 294 Pull requests Projects Releases 9 Packages Wiki Activity

Pre: Move PushComputed up module hierarchy; make it public.

Browse source
This commit is contained in:
Nick Alexander 2017-04-26 10:17:15 -07:00 committed by Richard Newman
parent 70c5bcfa99
commit 002c918c96
2 changed files with 17 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
query-algebrizer/src/clauses/mod.rs
View file

@ -841,6 +841,18 @@ impl ConjoiningClauses {
}
}
pub trait PushComputed {
fn push_computed(&mut self, item: ComputedTable) -> DatomsTable;
}
impl PushComputed for Vec<ComputedTable> {
fn push_computed(&mut self, item: ComputedTable) -> DatomsTable {
let next_index = self.len();
self.push(item);
DatomsTable::Computed(next_index)
}
}
// These are helpers that tests use to build Schema instances.
#[cfg(test)]
fn associate_ident(schema: &mut Schema, i: NamespacedKeyword, e: Entid) {

17
query-algebrizer/src/clauses/or.rs
View file

@ -29,7 +29,10 @@ use mentat_query::{
WhereClause,
};
use clauses::ConjoiningClauses;
use clauses::{
ConjoiningClauses,
PushComputed,
};
use errors::{
Result,
@ -74,18 +77,6 @@ fn _simply_matches_value_place(left: &PatternValuePlace, right: &PatternValuePla
}
}
trait PushComputed {
fn push_computed(&mut self, item: ComputedTable) -> DatomsTable;
}
impl PushComputed for Vec<ComputedTable> {
fn push_computed(&mut self, item: ComputedTable) -> DatomsTable {
let next_index = self.len();
self.push(item);
DatomsTable::Computed(next_index)
}
}
pub enum DeconstructedOrJoin {
KnownSuccess,
KnownEmpty(EmptyBecause),