// 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::InvalidArgumentType(op, why, idx) => {
            assert_eq!(op, PlainSymbol::new(">"));
            assert_eq!(why, ValueTypeSet::of_numeric_and_instant_types());
            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::InvalidArgumentType(op, why, idx) => {
            assert_eq!(op, PlainSymbol::new(">"));
            assert_eq!(why, ValueTypeSet::of_numeric_and_instant_types());
            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);
}