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

//! The module for handling
//! protobuf code generation

#[cfg(feature = "protobuf")]
#[allow(missing_docs)]
pub mod generated;

use protobuf::Message;

use std::fs::File;
use std::path::Path;

use generated::globaltype;

/// Test function for extracting global protocol fields
pub fn extract_global_protocol(global_protocol: globaltype::GlobalType) {
    println!("Test global protocol");
    println!("start: {:?}", global_protocol.start);
}

/// Test function for extracting action fields
pub fn extract_action(action: globaltype::Action) {
    println!("Test action");
    println!("from_role: {:?}", action.from_role);
}

/// Test function for extracting index fields
pub fn extract_index(index: globaltype::action::Index) {
    println!("Test label");
    println!("label: {:?}", index.label);
}

/// Test
pub fn read_global_protocol_file(file_name: &str) {
    let mut file_bytes = File::open(Path::new(file_name)).unwrap();

    // Test Action
    let test_action = globaltype::Action::parse_from_reader(&mut file_bytes).unwrap();
    println!("Test action: {:?}", &test_action);
    println!("Test action type_: {:?}", &test_action.type_);
    println!("Test action from_role: {:?}", &test_action.from_role);
    println!("Test action to_role: {:?}", &test_action.to_role);
    println!(
        "Test action continuations: {:?}",
        &test_action.continuations
    );
    println!("Test action lower_bound: {:?}", &test_action.lower_bound);
    println!("Test action include_lb: {:?}", &test_action.include_lb);
    println!("Test action upper_bound: {:?}", &test_action.upper_bound);
    println!("Test action include_ub: {:?}", &test_action.include_ub);
    println!("Test action reset_clock: {:?}", &test_action.reset_clock);

    // Test GlobalType
    let test_global_protocol = globaltype::GlobalType::parse_from_reader(&mut file_bytes).unwrap();
    println!(
        "Test global protocol start: {:?}",
        &test_global_protocol.start
    );
    println!(
        "Test global protocol actions: {:?}",
        &test_global_protocol.actions
    );
}