mod_interface_meta 0.59.0

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

//! Basic Four-Layer Namespace Generation Test
//!
//! Validates that the `mod_interface` macro correctly generates all four
//! namespace layers (own, orphan, exposed, prelude) and that content
//! placed in each layer propagates correctly through the hierarchy.

pub mod test_module
{
  mod private {}

  mod_interface_meta ::mod_interface!
  {
    own mod mod_own;
    orphan mod mod_orphan;
    exposed mod mod_exposed;
    prelude mod mod_prelude;
  }
}

#[ test ]
fn all_four_layers_exist()
{
  // Verify all four namespace layers were generated
  // Direct access tests (module is re-exported at root level)
  assert!( test_module ::mod_own ::has_own() );
  assert!( test_module ::mod_orphan ::has_orphan() );
  assert!( test_module ::mod_exposed ::has_exposed() );
  assert!( test_module ::mod_prelude ::has_prelude() );
}

#[ test ]
fn own_layer_has_access_to_all_content()
{
  // own layer should re-export everything: orphan + exposed + prelude
  assert!( test_module ::own ::mod_own ::has_own() );
  assert!( test_module ::own ::mod_orphan ::has_orphan() );
  assert!( test_module ::own ::mod_exposed ::has_exposed() );
  assert!( test_module ::own ::mod_prelude ::has_prelude() );
}

#[ test ]
fn orphan_layer_propagates_correctly()
{
  // orphan layer should have: orphan + exposed + prelude (but not own)
  assert!( test_module ::orphan ::mod_orphan ::has_orphan() );
  assert!( test_module ::orphan ::mod_exposed ::has_exposed() );
  assert!( test_module ::orphan ::mod_prelude ::has_prelude() );
}

#[ test ]
fn exposed_layer_propagates_correctly()
{
  // exposed layer should have: exposed + prelude (but not own/orphan)
  assert!( test_module ::exposed ::mod_exposed ::has_exposed() );
  assert!( test_module ::exposed ::mod_prelude ::has_prelude() );
}

#[ test ]
fn prelude_layer_isolated()
{
  // prelude layer should only have prelude content
  assert!( test_module ::prelude ::mod_prelude ::has_prelude() );
}