cppfront/regression-tests/test-results/pure2-contracts.cpp at f085661dc105d63a30ba92f11e324dc36c7439cc · LT2H/cppfront · GitHub

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

#define CPP2_INCLUDE_STD         Yes

//=== Cpp2 type declarations ====================================================


#include "cpp2util.h"

#line 1 "pure2-contracts.cpp2"


//=== Cpp2 type definitions and function declarations ===========================

#line 1 "pure2-contracts.cpp2"
[[nodiscard]] auto test_condition_evaluation(auto const& tag) -> bool;

#line 3 "pure2-contracts.cpp2"
extern bool audit;

auto main() -> int;

//=== Cpp2 function definitions =================================================

#line 1 "pure2-contracts.cpp2"
[[nodiscard]] auto test_condition_evaluation(auto const& tag) -> bool{std::cout << tag << "\n"; return true; }

#line 3 "pure2-contracts.cpp2"
bool audit {true};

#line 5 "pure2-contracts.cpp2"
auto main() -> int{
    //  A few basic tests
    if (cpp2::cpp2_default.is_active() && !(1 != 2) ) { cpp2::cpp2_default.report_violation(CPP2_CONTRACT_MSG("ack, arithmetic is buggy")); }
    if (cpp2::type_safety.is_active() && !(typeid(int) != typeid(double)) ) { cpp2::type_safety.report_violation(CPP2_CONTRACT_MSG("ack, C types are broken")); }

#line 11 "pure2-contracts.cpp2"
    //  Now test that conditions are only evaluated if there's
    //  a handler active + any other control flags are enabled

    if (cpp2::cpp2_default.is_active() && !(test_condition_evaluation(1)) ) { cpp2::cpp2_default.report_violation(CPP2_CONTRACT_MSG("default")); }// evaluated: prints "1"

    //  Type has a handler
    if (cpp2::type_safety.is_active() && !(test_condition_evaluation(2)) ) { cpp2::type_safety.report_violation(CPP2_CONTRACT_MSG("type")); }// evaluated: prints "2"
    CPP2_UFCS(set_handler)(cpp2::type_safety);
    //  Type does not have a handler
    if (cpp2::type_safety.is_active() && !(test_condition_evaluation(3)) ) { cpp2::type_safety.report_violation(CPP2_CONTRACT_MSG("1 == " + cpp2::to_string(1) + "")); }// not evaluated

    //  Bounds has a handler, and audit is true
    if (audit && cpp2::bounds_safety.is_active() && !(test_condition_evaluation(4)) ) { cpp2::bounds_safety.report_violation(CPP2_CONTRACT_MSG("type")); }// evaluated: prints "4"
    audit = false;
    //  Bounds has a handler, but audit is false
    if (audit && cpp2::bounds_safety.is_active() && !(test_condition_evaluation(5)) ) { cpp2::bounds_safety.report_violation(CPP2_CONTRACT_MSG("type")); }// not evaluated

                                                                    // not evaluated
}