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

use super::super::GlobalElements;
use std::io::Write;

/// Generate the main function in the global_elements.output file using all elements gathered from
/// the nuscr protocol.
pub(crate) fn generate_fn_main(
    global_elements: &mut GlobalElements,
) -> Result<(), Box<dyn std::error::Error>> {
    match global_elements.output.as_mut() {
        Some(generated_file) => {
            // Add the main function and invite dev to complete code
            writeln!(generated_file, "fn main() {{")?;

            write!(generated_file, "\tlet (")?;

            for role in global_elements.roles.iter() {
                write!(generated_file, "thread_{}, ", role.to_lowercase())?;
            }

            write!(generated_file, ") = fork_mpst(")?;

            for role in global_elements.roles.iter() {
                write!(generated_file, "endpoint_{}_0_v_0, ", role.to_lowercase())?;
            }

            writeln!(generated_file, ");")?;
            writeln!(generated_file)?;

            for role in global_elements.roles.iter() {
                writeln!(
                    generated_file,
                    "\tprintln!(\"Thread {}: {{:?}}\", thread_{}.join());",
                    role,
                    role.to_lowercase()
                )?;
            }

            writeln!(generated_file, "}}")?;

            Ok(())
        }
        None => Err("Generated file was not initialised.".into()),
    }
}