holmes 0.1.0

Holmes Inference System
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

#[macro_use]
extern crate holmes;
extern crate postgres;
use holmes::simple::*;

use std::any::Any;
use postgres::types::ToSql;
use holmes::pg::RowIter;
use holmes::pg::dyn::values::ValueT;
use holmes::pg::dyn::types::TypeT;
use std::fmt;

#[derive(Debug,Clone,Hash)]
struct BoolType;
impl TypeT for BoolType {
    fn name(&self) -> Option<&'static str> {
        Some("bool2")
    }
    fn extract(&self, rows: &mut RowIter) -> Option<Value> {
        rows.next().map(|b| Arc::new(BoolValue::new(b)) as Value)
    }
    fn repr(&self) -> Vec<String> {
        vec!["bool".to_string()]
    }
    fn inner(&self) -> &Any {
        self as &Any
    }
    fn inner_eq(&self, other: &TypeT) -> bool {
        match other.inner().downcast_ref::<Self>() {
            Some(_) => true,
            _ => false,
        }
    }
    fn large_unique(&self) -> bool {
        false
    }
}

#[derive(Debug,PartialEq,PartialOrd,Hash)]
pub struct BoolValue {
    val: bool,
}

impl ToValue for BoolValue {
    fn to_value(self) -> Value {
        Arc::new(BoolValue::new(self.val))
    }
}

impl fmt::Display for BoolValue {
    fn fmt(&self, fmt: &mut fmt::Formatter) -> ::std::result::Result<(), fmt::Error> {
        write!(fmt, "{}", self.val)
    }
}

impl ValueT for BoolValue {
    fn type_(&self) -> Type {
        Arc::new(BoolType)
    }
    fn get(&self) -> &Any {
        &self.val as &Any
    }
    fn to_sql(&self) -> Vec<&ToSql> {
        vec![&self.val]
    }
    fn inner(&self) -> &Any {
        self as &Any
    }
    fn inner_eq(&self, other: &ValueT) -> bool {
        match other.inner().downcast_ref::<Self>() {
            Some(x) => self == x,
            _ => false,
        }
    }
    fn inner_ord(&self, other: &ValueT) -> Option<::std::cmp::Ordering> {
        other.inner().downcast_ref::<Self>().and_then(|x| self.partial_cmp(x))
    }
}

impl BoolValue {
    pub fn new(val: bool) -> Self {
        BoolValue { val: val }
    }
}

#[test]
pub fn add_bool() {
    single(&|holmes: &mut Engine, _| {
        try!(holmes.add_type(Arc::new(BoolType)));
        try!(predicate!(holmes, type_pred(uint64, bool2)));
        try!(fact!(holmes, type_pred(32, BoolValue::new(false))));
        try!(fact!(holmes, type_pred(42, BoolValue::new(true))));
        assert_eq!(try!(query!(holmes, type_pred((32), x))),
                   vec![vec![BoolValue::new(false).to_value()]]);
        assert_eq!(try!(query!(holmes, type_pred((42), x))),
                   vec![vec![BoolValue::new(true).to_value()]]);
        Ok(())
    })
}

#[test]
fn reboot() {
    multi(&[&|holmes: &mut Engine, _| holmes.add_type(Arc::new(BoolType)),
            &|_holmes: &mut Engine, _| Ok(())])
}

#[test]
fn reboot_reuse() {
    multi(&[&|holmes: &mut Engine, _| {
                try!(holmes.add_type(Arc::new(BoolType)));
                try!(predicate!(holmes, type_pred(uint64, bool2)));
                fact!(holmes, type_pred(32, BoolValue::new(false)))
            },
            &|holmes: &mut Engine, _| {
        try!(holmes.add_type(Arc::new(BoolType)));
        try!(predicate!(holmes, type_pred(uint64, bool2)));
        try!(fact!(holmes, type_pred(42, BoolValue::new(true))));
        assert_eq!(try!(query!(holmes, type_pred((32), x))),
                   vec![vec![BoolValue::new(false).to_value()]]);
        assert_eq!(try!(query!(holmes, type_pred((42), x))),
                   vec![vec![BoolValue::new(true).to_value()]]);
        Ok(())
    }])
}