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

use asdi::edb::io::csv::Options as CsvOptions;
use asdi::edb::io::json::Options as JsonOptions;
use asdi::edb::io::{print_relation, Format};
use asdi::{Collection, ProgramCore};

pub mod common;
use common::make_and_evaluate_ancestors;

#[test]
fn test_print_as_csv() {
    let program = make_and_evaluate_ancestors();

    for relation in program.intensional().iter() {
        print_relation(
            relation,
            &Format::DelimitedLines(CsvOptions::comma_separated().no_headers()),
        )
        .unwrap();
    }
}

#[test]
fn test_print_as_json() {
    let program = make_and_evaluate_ancestors();

    for relation in program.intensional().iter() {
        print_relation(relation, &Format::Json(JsonOptions::pretty_printed())).unwrap();
    }
}

#[test]
fn test_print_as_text() {
    let program = make_and_evaluate_ancestors();

    for relation in program.intensional().iter() {
        print_relation(relation, &Format::Text).unwrap();
    }
}