e33fe71c47
This puts caching in mentat_db, adds a reverse lookup capability for unique attributes, and populates bidirectional caches with a single SQL cursor walk. Differentiate between begin_read and begin_uncached_read. Note that we still allow toggling within InProgress, because there might be transient local state that makes starting a new transaction impossible.
118 lines
3.7 KiB
Rust
118 lines
3.7 KiB
Rust
// Copyright 2016 Mozilla
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License"); you may not use
|
|
// this file except in compliance with the License. You may obtain a copy of the
|
|
// License at http://www.apache.org/licenses/LICENSE-2.0
|
|
// Unless required by applicable law or agreed to in writing, software distributed
|
|
// under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
|
|
// CONDITIONS OF ANY KIND, either express or implied. See the License for the
|
|
// specific language governing permissions and limitations under the License.
|
|
|
|
extern crate mentat_core;
|
|
extern crate mentat_query;
|
|
extern crate mentat_query_algebrizer;
|
|
extern crate mentat_query_parser;
|
|
|
|
mod utils;
|
|
|
|
use mentat_core::{
|
|
Attribute,
|
|
Schema,
|
|
ValueType,
|
|
ValueTypeSet,
|
|
};
|
|
|
|
use mentat_query::{
|
|
NamespacedKeyword,
|
|
PlainSymbol,
|
|
Variable,
|
|
};
|
|
|
|
use mentat_query_algebrizer::{
|
|
EmptyBecause,
|
|
ErrorKind,
|
|
Known,
|
|
};
|
|
|
|
use utils::{
|
|
add_attribute,
|
|
alg,
|
|
associate_ident,
|
|
bails,
|
|
};
|
|
|
|
fn prepopulated_schema() -> Schema {
|
|
let mut schema = Schema::default();
|
|
associate_ident(&mut schema, NamespacedKeyword::new("foo", "date"), 65);
|
|
associate_ident(&mut schema, NamespacedKeyword::new("foo", "double"), 66);
|
|
add_attribute(&mut schema, 65, Attribute {
|
|
value_type: ValueType::Instant,
|
|
multival: false,
|
|
..Default::default()
|
|
});
|
|
add_attribute(&mut schema, 66, Attribute {
|
|
value_type: ValueType::Double,
|
|
multival: false,
|
|
..Default::default()
|
|
});
|
|
schema
|
|
}
|
|
|
|
#[test]
|
|
fn test_instant_predicates_require_instants() {
|
|
let schema = prepopulated_schema();
|
|
let known = Known::for_schema(&schema);
|
|
|
|
// You can't use a string for an inequality: this is a straight-up error.
|
|
let query = r#"[:find ?e
|
|
:where
|
|
[?e :foo/date ?t]
|
|
[(> ?t "2017-06-16T00:56:41.257Z")]]"#;
|
|
match bails(known, query).0 {
|
|
ErrorKind::InvalidArgument(op, why, idx) => {
|
|
assert_eq!(op, PlainSymbol::new(">"));
|
|
assert_eq!(why, "numeric or instant");
|
|
assert_eq!(idx, 1);
|
|
},
|
|
_ => panic!("Expected InvalidArgument."),
|
|
}
|
|
|
|
let query = r#"[:find ?e
|
|
:where
|
|
[?e :foo/date ?t]
|
|
[(> "2017-06-16T00:56:41.257Z", ?t)]]"#;
|
|
match bails(known, query).0 {
|
|
ErrorKind::InvalidArgument(op, why, idx) => {
|
|
assert_eq!(op, PlainSymbol::new(">"));
|
|
assert_eq!(why, "numeric or instant");
|
|
assert_eq!(idx, 0); // We get this right.
|
|
},
|
|
_ => panic!("Expected InvalidArgument."),
|
|
}
|
|
|
|
// You can try using a number, which is valid input to a numeric predicate.
|
|
// In this store and query, though, that means we expect `?t` to be both
|
|
// an instant and a number, so the query is known-empty.
|
|
let query = r#"[:find ?e
|
|
:where
|
|
[?e :foo/date ?t]
|
|
[(> ?t 1234512345)]]"#;
|
|
let cc = alg(known, query);
|
|
assert!(cc.is_known_empty());
|
|
assert_eq!(cc.empty_because.unwrap(),
|
|
EmptyBecause::TypeMismatch {
|
|
var: Variable::from_valid_name("?t"),
|
|
existing: ValueTypeSet::of_one(ValueType::Instant),
|
|
desired: ValueTypeSet::of_numeric_types(),
|
|
});
|
|
|
|
// You can compare doubles to longs.
|
|
let query = r#"[:find ?e
|
|
:where
|
|
[?e :foo/double ?t]
|
|
[(< ?t 1234512345)]]"#;
|
|
let cc = alg(known, query);
|
|
assert!(!cc.is_known_empty());
|
|
assert_eq!(cc.known_type(&Variable::from_valid_name("?t")).expect("?t is known"),
|
|
ValueType::Double);
|
|
}
|