kure2-cli 0.1.0

REPL for the Kure2 DSL
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
125
126
127
128
129
130
131
132
133
134
135
136

use kure2_cli::Repl;

macro_rules! test {
    ($name:ident, $input:literal, $expected:literal) => {
        #[test]
        fn $name() {
            let input: &str = $input;
            let expected: &str = $expected;

            std::env::set_current_dir("../kure2").unwrap();

            let mut repl = Repl::new();
            let mut output = Vec::new();
            for line in input.lines() {
                repl.process_input(line, &mut output).unwrap();
            }

            pretty_assertions::assert_eq!(
                String::from_utf8(output).unwrap().trim(),
                expected.trim(),
            );
        }
    };
}

test!(
    test_example_rtc1,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
RTC1(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 1, 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
5 : 5
"#
);

test!(
    test_example_tc1,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
TC1(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
"#
);
test!(
    test_example_rtc2,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
RTC2(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 1, 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
5 : 5
"#
);

test!(
    test_example_rtc3,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
RTC3(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 1, 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
5 : 5
"#
);

test!(
    test_example_rtc4,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
RTC4(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 1, 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
5 : 5
"#
);

test!(
    test_example_rtc5,
    r#"
.load prog examples/Examples.prog
.load rel R1 examples/R1.ascii
RTC5(R1)
"#,
    r#"
Program loaded successfully from 'examples/Examples.prog'
Relation 'R1' loaded successfully from 'examples/R1.ascii'
<expr> (5, 5)
1 : 1, 2, 3, 4, 5
2 : 2, 3, 4, 5
3 : 2, 3, 4, 5
4 : 2, 3, 4, 5
5 : 5
"#
);