diagnostics_tools 0.11.0

Diagnostics tools.
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

#[ allow( unused_imports ) ]
use super::*;
#[ allow( unused_imports ) ]
use the_module::prelude::*;

// qqq : do negative testing /* aaa : Dmytro : done */
// zzz : continue here

tests_impls!
{

  #[ cfg( any( feature = "diagnostics_compiletime_assertions", feature = "diagnostics_compiletime_assertions" ) ) ]
  fn cta_type_same_size_pass()
  {
    struct Int( i16 );
    let got = cta_type_same_size!( Int, i16 );
    assert!( got );
    // cta_type_same_size!( Int, i32 );
  }

  //

  #[ cfg( any( feature = "diagnostics_compiletime_assertions", feature = "diagnostics_compiletime_assertions" ) ) ]
  fn cta_type_same_align_pass()
  {
    struct Int1( i16 );
    #[ repr( align( 128 ) ) ]
    struct Int2( i16 );
    let got = cta_type_same_align!( Int1, i16 );
    assert!( got );
    // cta_type_same_align!( Int1, Int2 );
    // cta_type_same_align!( Int1, i32 );
  }

  #[ cfg( any( feature = "diagnostics_compiletime_assertions", feature = "diagnostics_compiletime_assertions" ) ) ]
  fn cta_ptr_same_size_pass()
  {
    struct Int( i16 );
    let ins1 = Int( 31 );
    let ins2 = 13_i16;
    let got = cta_ptr_same_size!( &ins1, &ins2 );
    assert!( got );
    let got = cta_ptr_same_size!( &ins1, &ins2 );
    assert!( got );
    let got = cta_ptr_same_size!( &ins1, &31_i16 );
    assert!( got );
    // cta_ptr_same_size!( &ins1, &13_i32 );
  }

  #[ cfg( any( feature = "diagnostics_compiletime_assertions", feature = "diagnostics_compiletime_assertions" ) ) ]
  fn cta_mem_same_size_pass()
  {
    struct Int( i16 );
    let ins1 = Int( 31 );
    let ins2 = 13_i16;
    let got = cta_mem_same_size!( ins1, ins2 );
    assert!( got );
    let got = cta_mem_same_size!( ins1, ins2 );
    assert!( got );
    let got = cta_mem_same_size!( ins1, 31_i16 );
    assert!( got );
    // cta_mem_same_size!( ins1, 13_i32 );
  }

}

// #[ path = "../../../../step/meta/src/module/aggregating.rs" ]
// mod aggregating;
// use crate::only_for_terminal_module;

only_for_terminal_module!
{
  #[ cfg( any( feature = "diagnostics_compiletime_assertions", feature = "diagnostics_compiletime_assertions" ) ) ]
  #[ test_tools::nightly ]
  #[ test ]
  fn cta_trybuild_tests()
  {
    let t = test_tools::compiletime::TestCases::new();

    let current_exe_path = std::env::current_exe().expect( "No such file or directory" );

    let exe_directory = current_exe_path.parent().expect( "No such file or directory" );
    fn find_workspace_root( start_path : &std::path::Path ) -> Option< &std::path::Path >
    {
      start_path
      .ancestors()
      .find( |path| path.join( "Cargo.toml" ).exists() )
    }

    let workspace_root = find_workspace_root( exe_directory ).expect( "No such file or directory" );
    let current_dir = workspace_root.join( "module/core/diagnostics_tools" );

    t.compile_fail( current_dir.join("tests/inc/snipet/cta_type_same_size_fail.rs") );
    t.compile_fail( current_dir.join("tests/inc/snipet/cta_type_same_align_fail.rs") );
    t.compile_fail( current_dir.join("tests/inc/snipet/cta_ptr_same_size_fail.rs") );
    t.compile_fail( current_dir.join("tests/inc/snipet/cta_mem_same_size_fail.rs") );
  }
}

//

tests_index!
{
  cta_type_same_size_pass,
  cta_type_same_align_pass,
  cta_ptr_same_size_pass,
  cta_mem_same_size_pass,
  // cta_trybuild_tests,
}