quint-connect 0.1.0

A model-based testing framework that connects Quint specifications with Rust applications
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

use crate::trace::Trace;
use anyhow::{Context, Result};
use std::{
    fs::{File, ReadDir},
    io::BufReader,
    path::Path,
};
use tempfile::TempDir;

/// Iterator over ITF trace files, managing temporary directory lifetime.
pub(crate) struct Traces {
    iter: ReadDir,
    // NOTE: must be dropped after `ReadDir` to avoid leaking. See
    // https://docs.rs/tempfile/latest/tempfile/struct.TempDir.html#resource-leaking.
    _tmpdir: TempDir,
}

impl Traces {
    pub fn new(tmpdir: TempDir) -> Result<Self> {
        let iter = std::fs::read_dir(tmpdir.path()).with_context(|| {
            format!("Failed to list trace files at: {}", tmpdir.path().display())
        })?;

        Ok(Self {
            iter,
            _tmpdir: tmpdir,
        })
    }
}

impl Iterator for Traces {
    type Item = Result<Trace>;

    fn next(&mut self) -> Option<Self::Item> {
        match self.iter.next() {
            Some(Ok(entry)) => Some(trace_from_file(&entry.path())),
            Some(Err(err)) => Some(Err(err.into())),
            None => None,
        }
    }
}

fn trace_from_file(path: &Path) -> Result<Trace> {
    let file = File::open(path)
        .with_context(|| format!("Can't open trace file at: {}", path.display()))?;

    let trace = serde_json::from_reader(BufReader::new(file))
        .with_context(|| format!("Failed to parse JSON trace file at: {}", path.display()))?;

    Ok(trace)
}