mod_interface_runtime 0.1.1

Protocol of modularity unifying interface of a module and introducing layers.
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
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


#[ allow( unused_imports ) ]
use super::*;
// use test_tools::*;
#[ allow( unused_imports ) ]
use TheModule::prelude::*;

// qqq : do negative testing, don't forget about optional arguments

tests_impls!
{

  #[ test ]
  fn a_true_test()
  {
    a_true!( 1 == 1 );
    // a_true!( 1 == 2 );
  }

  #[ test ]
  fn a_id_test()
  {
    a_id!( "abc", "abc" );
    // a_id!( "abc", "abd" );
  }

  #[ test ]
  fn a_not_id_test()
  {
    // a_not_id!( "abc", "abc" );
    a_not_id!( "abc", "abd" );
  }

  #[ test ]
  fn a_dbg_true_test()
  {
    a_dbg_true!( 1 == 1 );
    // a_dbg_true!( 1 == 2 );

    let mut x = 0;
    let mut f1 = ||-> i32
    {
      x += 1;
      x
    };
    a_dbg_true!( f1() == 1 );

    #[ cfg( debug_assertions ) ]
    assert_eq!( x, 1 );
    #[ cfg( not( debug_assertions ) ) ]
    assert_eq!( x, 0 );

  }

  #[ test ]
  fn a_dbg_id_test()
  {
    a_dbg_id!( "abc", "abc" );
    // a_dbg_id!( "abc", "abd" );

    let mut x = 0;
    let mut f1 = ||-> i32
    {
      x += 1;
      x
    };
    a_dbg_id!( f1(), 1 );

    #[ cfg( debug_assertions ) ]
    assert_eq!( x, 1 );
    #[ cfg( not( debug_assertions ) ) ]
    assert_eq!( x, 0 );

  }

  #[ test ]
  fn a_dbg_not_id_test()
  {
//     // a_dbg_not_id!( "abc", "abc" );
//     a_dbg_not_id!( "abc", "abd" );
//
//     let mut x = 0;
//     let mut f1 = ||-> i32
//     {
//       x += 1;
//       x
//     };
//     a_dbg_not_id!( f1(), 1 );
//
//     #[ cfg( debug_assertions ) ]
//     assert_eq!( x, 1 );
//     #[ cfg( not( debug_assertions ) ) ]
//     assert_eq!( x, 0 );

  }

}

//

tests_index!
{

  a_true_test,
  a_id_test,
  a_not_id_test,

  a_dbg_true_test,
  a_dbg_id_test,
  a_dbg_not_id_test,

}