tupa-cli 0.8.2

Command-line interface for TupaLang
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

use std::path::Path;

use assert_cmd::cargo::cargo_bin_cmd;
use predicates::str::contains;

fn repo_root() -> &'static Path {
    Path::new(env!("CARGO_MANIFEST_DIR"))
        .parent()
        .unwrap()
        .parent()
        .unwrap()
}

#[test]
fn lex_outputs_tokens() {
    let mut cmd = cargo_bin_cmd!("tupa");
    cmd.current_dir(repo_root())
        .args(["lex", "examples/hello.tp"])
        .assert()
        .success()
        .stdout(contains("Fn"));
}

#[test]
fn parse_outputs_ast() {
    let mut cmd = cargo_bin_cmd!("tupa");
    cmd.current_dir(repo_root())
        .args(["parse", "examples/hello.tp"])
        .assert()
        .success()
        .stdout(contains("Program"));
}

#[test]
fn check_outputs_ok() {
    let mut cmd = cargo_bin_cmd!("tupa");
    cmd.current_dir(repo_root())
        .args(["check", "examples/hello.tp"])
        .assert()
        .success()
        .stdout(contains("OK"));
}

#[test]
fn audit_is_deterministic() {
    let root = repo_root();
    let mut first = cargo_bin_cmd!("tupa");
    first.current_dir(root).args([
        "audit",
        "examples/audit_hello.tp",
        "--input",
        "examples/audit_inputs.json",
    ]);
    let first_out = first.output().unwrap();
    assert!(first_out.status.success());

    let mut second = cargo_bin_cmd!("tupa");
    second.current_dir(root).args([
        "audit",
        "examples/audit_hello.tp",
        "--input",
        "examples/audit_inputs.json",
    ]);
    let second_out = second.output().unwrap();
    assert!(second_out.status.success());
    assert_eq!(first_out.stdout, second_out.stdout);
}

#[test]
fn audit_rejects_invalid_inputs() {
    let mut cmd = cargo_bin_cmd!("tupa");
    cmd.current_dir(repo_root())
        .args([
            "audit",
            "examples/audit_hello.tp",
            "--input",
            "examples/audit_inputs_invalid.json",
        ])
        .assert()
        .failure()
        .stderr(contains("expected a JSON array"));
}