use super::{view::ViewRef, Expression, IntoExpression, Visitor};
use crate::Tuple;
use std::{
cell::{RefCell, RefMut},
marker::PhantomData,
rc::Rc,
};
#[derive(Clone)]
pub struct Select<T, E>
where
T: Tuple,
E: Expression<T>,
{
expression: E,
predicate: Rc<RefCell<dyn FnMut(&T) -> bool>>,
relation_deps: Vec<String>,
view_deps: Vec<ViewRef>,
}
impl<T, E> Select<T, E>
where
T: Tuple,
E: Expression<T>,
{
pub fn new<I, P>(expression: I, predicate: P) -> Self
where
I: IntoExpression<T, E>,
P: FnMut(&T) -> bool + 'static,
{
use super::dependency;
let expression = expression.into_expression();
let mut deps = dependency::DependencyVisitor::new();
expression.visit(&mut deps);
let (relation_deps, view_deps) = deps.into_dependencies();
Self {
expression,
predicate: Rc::new(RefCell::new(predicate)),
relation_deps: relation_deps.into_iter().collect(),
view_deps: view_deps.into_iter().collect(),
}
}
#[inline(always)]
pub fn expression(&self) -> &E {
&self.expression
}
#[inline(always)]
pub(crate) fn predicate_mut(&self) -> RefMut<dyn FnMut(&T) -> bool> {
self.predicate.borrow_mut()
}
#[inline(always)]
pub(crate) fn relation_deps(&self) -> &[String] {
&self.relation_deps
}
#[inline(always)]
pub(crate) fn view_deps(&self) -> &[ViewRef] {
&self.view_deps
}
}
impl<T, E> Expression<T> for Select<T, E>
where
T: Tuple,
E: Expression<T>,
{
fn visit<V>(&self, visitor: &mut V)
where
V: Visitor,
{
visitor.visit_select(&self);
}
}
#[derive(Debug)]
struct Debuggable<T, E>
where
T: Tuple,
E: Expression<T>,
{
expression: E,
_marker: PhantomData<T>,
}
impl<T, E> std::fmt::Debug for Select<T, E>
where
T: Tuple,
E: Expression<T>,
{
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
Debuggable {
expression: self.expression.clone(),
_marker: PhantomData,
}
.fmt(f)
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::{Database, Tuples};
#[test]
fn test_clone() {
let mut database = Database::new();
let r = database.add_relation::<i32>("r").unwrap();
database.insert(&r, vec![1, 2, 3].into()).unwrap();
let p = Select::new(&r, |&t| t % 2 == 1).clone();
assert_eq!(
Tuples::<i32>::from(vec![1, 3]),
database.evaluate(&p).unwrap()
);
}
}