asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
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

use crate::common::quick_parser_check;
use asdi::features::{FeatureSet, FEATURE_COMPARISONS, FEATURE_DISJUNCTION, FEATURE_NEGATION};

mod common;

#[test]
fn parse_feature() {
    quick_parser_check(".feature(constraints).", None)
}

#[test]
fn parse_more_feature() {
    quick_parser_check(".feature(constraints, disjunction).", None)
}

#[test]
#[should_panic]
fn parse_unknown_feature() {
    quick_parser_check(".feature(no_empty_promises).", None)
}

#[test]
fn test_to_label() {
    assert_eq!(FeatureSet::default().language(), "Datalog");
    assert_eq!(
        FeatureSet::default()
            .add_support_for(&FEATURE_NEGATION)
            .language(),
        "(￢)Datalog"
    );
    assert_eq!(
        FeatureSet::default()
            .add_support_for(&FEATURE_NEGATION)
            .add_support_for(&FEATURE_DISJUNCTION)
            .add_support_for(&FEATURE_COMPARISONS)
            .language(),
        "(￢,θ,∨)Datalog"
    );
}

#[test]
fn test_to_string() {
    assert_eq!(FeatureSet::default().to_string(), "");
    assert_eq!(
        FeatureSet::default()
            .add_support_for(&FEATURE_NEGATION)
            .to_string(),
        ".feature(negation)."
    );
    assert_eq!(
        FeatureSet::default()
            .add_support_for(&FEATURE_NEGATION)
            .add_support_for(&FEATURE_DISJUNCTION)
            .add_support_for(&FEATURE_COMPARISONS)
            .to_string(),
        ".feature(negation, comparisons, disjunction)."
    );
}