aboutsummaryrefslogtreecommitdiff
path: root/0.8.0/paludis/util/validated_TEST.cc
blob: 5adbe384d1eafb70f7ddec7c4e5dc0033c1f49cc (plain)
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
/* vim: set sw=4 sts=4 et foldmethod=syntax : */

/*
 * Copyright (c) 2005, 2006 Ciaran McCreesh <ciaranm@ciaranm.org>
 *
 * This file is part of the Paludis package manager. Paludis is free software;
 * you can redistribute it and/or modify it under the terms of the GNU General
 * Public License version 2, as published by the Free Software Foundation.
 *
 * Paludis is distributed in the hope that it will be useful, but WITHOUT ANY
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program; if not, write to the Free Software Foundation, Inc., 59 Temple
 * Place, Suite 330, Boston, MA  02111-1307  USA
 */

#include <paludis/util/validated.hh>
#include <test/test_framework.hh>
#include <test/test_runner.hh>

using namespace test;
using namespace paludis;

/** \file
 * Test cases for validated.hh .
 *
 * \ingroup grpvalidated
 */

#ifndef DOXYGEN
struct PositiveEvenValidator
{
    struct NotValid
    {
    };

    static void validate(int value)
    {
        if ((value < 0) || (value % 2))
            throw NotValid();
    }
};

typedef Validated<int, PositiveEvenValidator> PositiveEven;
#endif

namespace test_cases
{
    /**
     * \test Validated<PositiveEven> tests.
     *
     * \ingroup grpvalidated
     */
    struct ValidatedPositiveEvenTests : TestCase
    {
        ValidatedPositiveEvenTests() : TestCase("Validated<PositiveEven> tests") { }

        void run()
        {
            PositiveEven v(2);
            TEST_CHECK_EQUAL(v, PositiveEven(2));
            v = PositiveEven(4);
            TEST_CHECK_EQUAL(v, PositiveEven(4));
            TEST_CHECK_THROWS(((v = PositiveEven(5))), PositiveEvenValidator::NotValid);
            TEST_CHECK_EQUAL(v, PositiveEven(4));
            TEST_CHECK_THROWS(PositiveEven w(5), PositiveEvenValidator::NotValid);
        }
    } test_validated_positive_even;

    /**
     * \test Validated<PositiveEven> comparison tests.
     *
     * \ingroup grpvalidated
     */
    struct ValidatedPositiveEvenComparisonTests : TestCase
    {
        ValidatedPositiveEvenComparisonTests() :
            TestCase("Validated<PositiveEven> comparison tests") { }

        void run()
        {
            PositiveEven v2(2);
            PositiveEven v4(4);
            PositiveEven v4b(4);

            TEST_CHECK(v2 <  v4);
            TEST_CHECK(v2 <= v4);
            TEST_CHECK(! (v2 == v4));
            TEST_CHECK(v2 != v4);
            TEST_CHECK(! (v2 >= v4));
            TEST_CHECK(! (v2 >  v4));

            TEST_CHECK(! (v4 <  v2));
            TEST_CHECK(! (v4 <= v2));
            TEST_CHECK(! (v4 == v2));
            TEST_CHECK(v4 != v2);
            TEST_CHECK(v4 >= v2);
            TEST_CHECK(v4 >  v2);

            TEST_CHECK(! (v2 <  v2));
            TEST_CHECK(v2 <= v2);
            TEST_CHECK(v2 == v2);
            TEST_CHECK(! (v2 != v2));
            TEST_CHECK(v2 >= v2);
            TEST_CHECK(! (v2 >  v2));

            TEST_CHECK(! (v4 <  v4));
            TEST_CHECK(v4 <= v4);
            TEST_CHECK(v4 == v4);
            TEST_CHECK(! (v4 != v4));
            TEST_CHECK(v4 >= v4);
            TEST_CHECK(! (v4 >  v4));

            TEST_CHECK(! (v4 <  v4b));
            TEST_CHECK(v4 <= v4b);
            TEST_CHECK(v4 == v4b);
            TEST_CHECK(! (v4 != v4b));
            TEST_CHECK(v4 >= v4b);
            TEST_CHECK(! (v4 >  v4b));
        }
    } test_validated_positive_even_comparisons;
}