stav 0.1.0

A statically typed, eager and total configuration language
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

//! Formats the fixture programs and checks the layout, stability and
//! meaning of the result.

use std::fs;
use std::path::{Path, PathBuf};

use stav::{SyntaxElement, TokenKind, format, parse};

use self::support::meaning;

mod support;

fn fixtures(dir: &str) -> Vec<PathBuf> {
    let dir = Path::new(env!("CARGO_MANIFEST_DIR"))
        .join("tests/fixtures/format")
        .join(dir);
    let mut paths: Vec<PathBuf> = fs::read_dir(&dir)
        .expect("the fixture directory exists")
        .map(|entry| entry.expect("the fixture directory is readable").path())
        .filter(|path| path.extension().is_some_and(|ext| ext == "stav"))
        .collect();
    paths.sort();
    assert!(!paths.is_empty(), "{} has no fixtures", dir.display());
    paths
}

fn format_checked(path: &Path) -> (String, String) {
    let source = fs::read_to_string(path).expect("the fixture is readable");
    let formatted = format(&source)
        .unwrap_or_else(|diagnostics| panic!("{} has errors: {diagnostics:?}", path.display()));
    assert_eq!(
        meaning(&source),
        meaning(&formatted),
        "formatting changed the meaning of {}",
        path.display()
    );
    let again = format(&formatted).expect("the formatted text has no errors");
    assert_eq!(
        again,
        formatted,
        "formatting {} is not idempotent",
        path.display()
    );
    (source, formatted)
}

#[test]
fn unformatted_fixtures_format_to_their_snapshots() {
    for path in fixtures("unformatted") {
        let (_, formatted) = format_checked(&path);
        let name = path
            .file_stem()
            .and_then(|stem| stem.to_str())
            .expect("the name is UTF-8");
        insta::assert_snapshot!(name, formatted);
    }
}

#[test]
fn formatted_fixtures_are_left_unchanged() {
    for path in fixtures("formatted") {
        let (source, formatted) = format_checked(&path);
        assert_eq!(formatted, source, "{} changed", path.display());
    }
}