stainless 0.1.12

Organized, flexible testing framework.
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

// Copyright 2014-2016 The Stainless Developers. See the LICENSE file at the top-level directory of
// this distrubution.
//
// Licensed under the MIT license. This file may not be copied, modified, or distributed except
// according to those terms.

use syntax::ptr::P;
use syntax::ast;
use syntax::symbol::Symbol;

/// A test as a description and associated block.
#[derive(Clone)]
pub struct Test {
    pub description: String,
    pub block: P<ast::Block>,
    pub test_config: TestConfig
}

#[derive(Clone)]
pub struct TestConfig {
    pub ignored: bool,
    pub failing: bool,
    pub failing_msg: Option<(Symbol, ast::StrStyle)>,
}

impl TestConfig {

    pub fn failing_test(failing_msg: Option<(Symbol, ast::StrStyle)>) -> TestConfig {
        TestConfig {
            failing: true,
            ignored: false,
            failing_msg: failing_msg,
        }
    }

    pub fn ignored_test() -> TestConfig {
        TestConfig {
            failing: false,
            ignored: true,
            failing_msg: None,
        }
    }

    pub fn test() -> TestConfig {
        TestConfig {
            failing: false,
            ignored: false,
            failing_msg: None,
        }
    }
}