From 899e5d097184e889566988b1437d837db0aa7139 Mon Sep 17 00:00:00 2001 From: Richard Newman Date: Mon, 5 Jun 2017 19:59:53 -0700 Subject: [PATCH] Pre: add ConjoiningClauses::bind_value. --- query-algebrizer/src/clauses/mod.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/query-algebrizer/src/clauses/mod.rs b/query-algebrizer/src/clauses/mod.rs index 0564083a..e4191fc1 100644 --- a/query-algebrizer/src/clauses/mod.rs +++ b/query-algebrizer/src/clauses/mod.rs @@ -330,6 +330,12 @@ impl ConjoiningClauses { } impl ConjoiningClauses { + /// Be careful with this. It'll overwrite existing bindings. + pub fn bind_value(&mut self, var: &Variable, value: TypedValue) { + self.constrain_var_to_type(var.clone(), value.value_type()); + self.value_bindings.insert(var.clone(), value); + } + pub fn bound_value(&self, var: &Variable) -> Option { self.value_bindings.get(var).cloned() }