mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
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

// Test for parametrisation on the number of roles
use mpstthree::binary::struct_trait::{end::End, session::Session};
use mpstthree::name::Name;
use mpstthree::role::end::RoleEnd;
use mpstthree::role::Role;
use mpstthree::{create_meshedchannels, create_normal_name, create_normal_role};
use std::error::Error;

// Create new MeshedChannels for three participants
create_meshedchannels!(MeshedChannelsThree, 3);

// Create new MeshedChannels for four participants
create_meshedchannels!(MeshedChannelsFour, 4);

// Create an A dummy
create_normal_role!(RoleA, RoleADual);

// Create new names
create_normal_name!(NameA);

/////////////////////////////////////////

pub fn basic_macros_three() {
    assert!({
        {
            let (sender1, _) = End::new();
            let (sender2, _) = End::new();
            let (role_one, _) = RoleEnd::new();
            let (name_one, _) = NameA::new();

            let _test = MeshedChannelsThree {
                session1: sender1,
                session2: sender2,
                stack: role_one,
                name: name_one,
            };

            let (_test2, _) = MeshedChannelsThree::<End, End, RoleEnd, NameA>::new();
        }
        Ok::<(), Box<dyn Error>>(())
    }
    .is_ok());
}

pub fn basic_macros_four() {
    assert!({
        {
            let (sender1, _) = End::new();
            let (sender2, _) = End::new();
            let (sender3, _) = End::new();
            let (role_one, _) = RoleEnd::new();
            let (name_one, _) = NameA::new();

            let _test = MeshedChannelsFour {
                session1: sender1,
                session2: sender2,
                session3: sender3,
                stack: role_one,
                name: name_one,
            };

            let (_test2, _) = MeshedChannelsFour::<End, End, End, RoleEnd, NameA>::new();
        }
        Ok::<(), Box<dyn Error>>(())
    }
    .is_ok());
}