anthem 2.0.0

A command-line application for assisting in the verification of answer set programs
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

use std::fmt::Display;

#[derive(Debug, Eq, PartialEq)]
pub struct WithWarnings<D, W> {
    pub data: D,
    pub warnings: Vec<W>,
}

impl<D, W> WithWarnings<D, W> {
    pub fn flawless(data: D) -> Self {
        WithWarnings {
            data,
            warnings: Vec::new(),
        }
    }

    pub fn add_warning(mut self, warning: W) -> Self {
        self.warnings.push(warning);
        self
    }

    pub fn preface_warnings(mut self, mut warnings: Vec<W>) -> Self {
        warnings.append(&mut self.warnings);
        self.warnings = warnings;
        self
    }
}

impl<D, W: Display> WithWarnings<D, W> {
    pub fn report_warnings(self) -> D {
        for warning in self.warnings {
            println!("{warning}");
        }
        self.data
    }
}

pub type Result<D, W, E> = std::result::Result<WithWarnings<D, W>, E>;