flowlog-build 0.3.3

Build-time FlowLog compiler for library mode.
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

mod errors;

use flowlog_build::common::SourceMap;
use flowlog_build::parser::Program;
use flowlog_build::stratifier::{Stratifier, StratifyError};

use errors::{fixture, render};

/// Parse + stratify a fixture. `extended` selects Datalog mode.
fn stratify(name: &str, extended: bool) -> (Result<Stratifier, StratifyError>, SourceMap) {
    let mut sm = SourceMap::new();
    let program = Program::parse(&fixture("stratifier", name), extended, &mut sm)
        .expect("fixture should parse cleanly");
    let res = Stratifier::from_program(&program, extended);
    (res, sm)
}

#[test]
fn recursion_outside_loop() {
    assert_err!(
        stratify("recursion_outside_loop.dl", true),
        StratifyError::RecursionOutsideLoop { .. },
        ["recursive rules must be inside", "fixpoint"]
    );
}

#[test]
fn forward_reference() {
    assert_err!(
        stratify("forward_reference.dl", true),
        StratifyError::ForwardReference { ref rel, .. } if rel == "B",
        ["not yet defined", "later segment"]
    );
}

#[test]
fn recursive_stratum_empty() {
    assert_err!(
        stratify("recursive_stratum_empty.dl", true),
        StratifyError::RecursiveStratumEmpty { stratum: 1, .. },
        ["no recursive relations", "body atom"]
    );
}

#[test]
fn iterative_not_in_loop_head() {
    assert_err!(
        stratify("iterative_not_in_loop_head.dl", true),
        StratifyError::IterativeNotInLoopHead { ref rel, .. } if rel == "ghost",
        ["`iterative` relation `ghost`", "head"]
    );
}

#[test]
fn iterative_not_recursive() {
    assert_err!(
        stratify("iterative_not_recursive.dl", true),
        StratifyError::IterativeNotRecursive { ref rel, .. } if rel == "sink",
        ["not recursive in this loop", "iterative"]
    );
}

#[test]
fn loop_condition_not_recursive() {
    assert_err!(
        stratify("loop_condition_invalid.dl", true),
        StratifyError::LoopConditionNotRecursive { ref rel, .. } if rel == "done",
        [
            "loop until condition",
            "done",
            "does not depend on any recursive relation",
        ]
    );
}