#![allow(clippy::type_complexity, clippy::too_many_arguments, clippy::large_enum_variant)] use mpstthree::binary::struct_trait::{end::End, recv::Recv, send::Send, session::Session}; use mpstthree::role::broadcast::RoleBroadcast; use mpstthree::role::end::RoleEnd; use mpstthree::{ broadcast_cancel, bundle_struct_fork_close_multi, create_fn_choose_mpst_cancel_multi_to_all_bundle, create_multiple_normal_role_short, create_recv_mpst_session_bundle, create_send_check_cancel_bundle, offer_cancel_mpst, create_multiple_normal_name_short }; use std::error::Error; // Create the new MeshedChannels for ten participants and the close and fork functions bundle_struct_fork_close_multi!(close_mpst_multi, fork_mpst, MeshedChannels, 11); // Create new roles // normal create_multiple_normal_role_short!(Central, A, B, C, D, E, F, G, H, I, J); // Create new names create_multiple_normal_name_short!(Central, A, B, C, D, E, F, G, H, I, J); // Create new send functions // A create_send_check_cancel_bundle!( send_mpst_a_to_b, RoleB, 2 | => NameA, MeshedChannels, 11 ); // B create_send_check_cancel_bundle!( send_mpst_b_to_a, RoleA, 2 | send_mpst_b_to_c, RoleC, 3 | => NameB, MeshedChannels, 11 ); // C create_send_check_cancel_bundle!( send_mpst_c_to_b, RoleB, 3 | send_mpst_c_to_d, RoleD, 4 | => NameC, MeshedChannels, 11 ); // D create_send_check_cancel_bundle!( send_mpst_d_to_c, RoleC, 4 | send_mpst_d_to_e, RoleE, 5 | => NameD, MeshedChannels, 11 ); // E create_send_check_cancel_bundle!( send_mpst_e_to_d, RoleD, 5 | send_mpst_e_to_f, RoleF, 6 | => NameE, MeshedChannels, 11 ); // F create_send_check_cancel_bundle!( send_mpst_f_to_e, RoleE, 6 | send_mpst_f_to_g, RoleG, 7 | => NameF, MeshedChannels, 11 ); // G create_send_check_cancel_bundle!( send_mpst_g_to_f, RoleF, 7 | send_mpst_g_to_h, RoleH, 8 | => NameG, MeshedChannels, 11 ); // H create_send_check_cancel_bundle!( send_mpst_h_to_g, RoleG, 8 | send_mpst_h_to_i, RoleI, 9 | => NameH, MeshedChannels, 11 ); // I create_send_check_cancel_bundle!( send_mpst_i_to_h, RoleH, 9 | send_mpst_i_to_j, RoleJ, 10 | => NameI, MeshedChannels, 11 ); // J create_send_check_cancel_bundle!( send_mpst_j_to_i, RoleI, 10 | => NameJ, MeshedChannels, 11 ); // Create new recv functions and related types // A create_recv_mpst_session_bundle!( recv_mpst_a_from_b, RoleB, 2 | recv_mpst_a_from_j, RoleJ, 10 | => NameA, MeshedChannels, 11 ); // B create_recv_mpst_session_bundle!( recv_mpst_b_from_a, RoleA, 2 | recv_mpst_b_from_c, RoleC, 3 | recv_mpst_b_from_j, RoleJ, 10 | => NameB, MeshedChannels, 11 ); // C create_recv_mpst_session_bundle!( recv_mpst_c_from_b, RoleB, 3 | recv_mpst_c_from_d, RoleD, 4 | recv_mpst_c_from_j, RoleJ, 10 | => NameC, MeshedChannels, 11 ); // D create_recv_mpst_session_bundle!( recv_mpst_d_from_c, RoleC, 4 | recv_mpst_d_from_e, RoleE, 5 | recv_mpst_d_from_j, RoleJ, 10 | => NameD, MeshedChannels, 11 ); // E create_recv_mpst_session_bundle!( recv_mpst_e_from_d, RoleD, 5 | recv_mpst_e_from_f, RoleF, 6 | recv_mpst_e_from_j, RoleJ, 10 | => NameE, MeshedChannels, 11 ); // F create_recv_mpst_session_bundle!( recv_mpst_f_from_e, RoleE, 6 | recv_mpst_f_from_g, RoleG, 7 | recv_mpst_f_from_j, RoleJ, 10 | => NameF, MeshedChannels, 11 ); // G create_recv_mpst_session_bundle!( recv_mpst_g_from_f, RoleF, 7 | recv_mpst_g_from_h, RoleH, 8 | recv_mpst_g_from_j, RoleJ, 10 | => NameG, MeshedChannels, 11 ); // H create_recv_mpst_session_bundle!( recv_mpst_h_from_g, RoleG, 8 | recv_mpst_h_from_i, RoleI, 9 | recv_mpst_h_from_j, RoleJ, 10 | => NameH, MeshedChannels, 11 ); // I create_recv_mpst_session_bundle!( recv_mpst_i_from_h, RoleH, 9 | recv_mpst_i_from_j, RoleJ, 10 | => NameI, MeshedChannels, 11 ); // J create_recv_mpst_session_bundle!( recv_mpst_j_from_i, RoleI, 10 | => NameJ, MeshedChannels, 11 ); // Types // A enum Branching0fromJtoA { Forward( MeshedChannels< End, Send<(), End>, End, End, End, End, End, End, End, RecursAtoJ, RoleB>, NameA, >, ), Backward( MeshedChannels< End, Recv<(), End>, End, End, End, End, End, End, End, RecursAtoJ, RoleB>, NameA, >, ), Done(MeshedChannels), } type RecursAtoJ = ::Dual; // B enum Branching0fromJtoB { Forward( MeshedChannels< End, Recv<(), End>, Send<(), End>, End, End, End, End, End, End, RecursBtoJ, RoleA>>, NameB, >, ), Backward( MeshedChannels< End, Send<(), End>, Recv<(), End>, End, End, End, End, End, End, RecursBtoJ, RoleC>>, NameB, >, ), Done(MeshedChannels), } type RecursBtoJ = ::Dual; // C enum Branching0fromJtoC { Forward( MeshedChannels< End, End, Recv<(), End>, Send<(), End>, End, End, End, End, End, RecursCtoJ, RoleB>>, NameC, >, ), Backward( MeshedChannels< End, End, Send<(), End>, Recv<(), End>, End, End, End, End, End, RecursCtoJ, RoleD>>, NameC, >, ), Done(MeshedChannels), } type RecursCtoJ = ::Dual; // D enum Branching0fromJtoD { Forward( MeshedChannels< End, End, End, Recv<(), End>, Send<(), End>, End, End, End, End, RecursDtoJ, RoleC>>, NameD, >, ), Backward( MeshedChannels< End, End, End, Send<(), End>, Recv<(), End>, End, End, End, End, RecursDtoJ, RoleE>>, NameD, >, ), Done(MeshedChannels), } type RecursDtoJ = ::Dual; // E enum Branching0fromJtoE { Forward( MeshedChannels< End, End, End, End, Recv<(), End>, Send<(), End>, End, End, End, RecursEtoJ, RoleD>>, NameE, >, ), Backward( MeshedChannels< End, End, End, End, Send<(), End>, Recv<(), End>, End, End, End, RecursEtoJ, RoleF>>, NameE, >, ), Done(MeshedChannels), } type RecursEtoJ = ::Dual; // F enum Branching0fromJtoF { Forward( MeshedChannels< End, End, End, End, End, Recv<(), End>, Send<(), End>, End, End, RecursFtoJ, RoleE>>, NameF, >, ), Backward( MeshedChannels< End, End, End, End, End, Send<(), End>, Recv<(), End>, End, End, RecursFtoJ, RoleG>>, NameF, >, ), Done(MeshedChannels), } type RecursFtoJ = ::Dual; // G enum Branching0fromJtoG { Forward( MeshedChannels< End, End, End, End, End, End, Recv<(), End>, Send<(), End>, End, RecursGtoJ, RoleF>>, NameG, >, ), Backward( MeshedChannels< End, End, End, End, End, End, Send<(), End>, Recv<(), End>, End, RecursGtoJ, RoleH>>, NameG, >, ), Done(MeshedChannels), } type RecursGtoJ = ::Dual; // H enum Branching0fromJtoH { Forward( MeshedChannels< End, End, End, End, End, End, End, Recv<(), End>, Send<(), End>, RecursHtoJ, RoleG>>, NameH, >, ), Backward( MeshedChannels< End, End, End, End, End, End, End, Send<(), End>, Recv<(), End>, RecursHtoJ, RoleI>>, NameH, >, ), Done(MeshedChannels), } type RecursHtoJ = ::Dual; // I enum Branching0fromJtoI { Forward( MeshedChannels< End, End, End, End, End, End, End, End, Recv<(), End>, Send<(), RecursItoJ>, RoleH>>, NameI, >, ), Backward( MeshedChannels< End, End, End, End, End, End, End, End, Send<(), End>, Recv<(), RecursItoJ>, RoleJ>>, NameI, >, ), Done(MeshedChannels), } type RecursItoJ = ::Dual; // J type Choose0fromJtoA = Send<(End, Branching0fromJtoA), End>; type Choose0fromJtoB = Send<(End, Branching0fromJtoB), End>; type Choose0fromJtoC = Send<(End, Branching0fromJtoC), End>; type Choose0fromJtoD = Send<(End, Branching0fromJtoD), End>; type Choose0fromJtoE = Send<(End, Branching0fromJtoE), End>; type Choose0fromJtoF = Send<(End, Branching0fromJtoF), End>; type Choose0fromJtoG = Send<(End, Branching0fromJtoG), End>; type Choose0fromJtoH = Send<(End, Branching0fromJtoH), End>; type Choose0fromJtoI = Send<(End, Branching0fromJtoI), End>; type EndpointDoneJ = MeshedChannels; type EndpointForwardJ = MeshedChannels< End, Choose0fromJtoA, Choose0fromJtoB, Choose0fromJtoC, Choose0fromJtoD, Choose0fromJtoE, Choose0fromJtoF, Choose0fromJtoG, Choose0fromJtoH, Recv<(), Choose0fromJtoI>, RoleI, NameJ, >; type EndpointBackwardJ = MeshedChannels< End, Choose0fromJtoA, Choose0fromJtoB, Choose0fromJtoC, Choose0fromJtoD, Choose0fromJtoE, Choose0fromJtoF, Choose0fromJtoG, Choose0fromJtoH, Send<(), Choose0fromJtoI>, RoleI, NameJ, >; // Creating the MP sessions type EndpointCentral = MeshedChannels< End, End, End, End, End, End, End, End, End, End, RoleEnd, RoleCentral, >; type EndpointA = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursAtoJ, RoleJ, NameA, >; type EndpointB = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursBtoJ, RoleJ, NameB, >; type EndpointC = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursCtoJ, RoleJ, NameC, >; type EndpointD = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursDtoJ, RoleJ, NameD, >; type EndpointE = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursEtoJ, RoleJ, NameE, >; type EndpointF = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursFtoJ, RoleJ, NameF, >; type EndpointG = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursGtoJ, RoleJ, NameG, >; type EndpointH = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursHtoJ, RoleJ, NameH, >; type EndpointI = MeshedChannels< End, End, End, End, End, End, End, End, End, RecursItoJ, RoleJ, NameI, >; type EndpointJ = MeshedChannels< End, Choose0fromJtoA, Choose0fromJtoB, Choose0fromJtoC, Choose0fromJtoD, Choose0fromJtoE, Choose0fromJtoF, Choose0fromJtoG, Choose0fromJtoH, Choose0fromJtoI, RoleBroadcast, NameJ, >; create_fn_choose_mpst_cancel_multi_to_all_bundle!( done_from_j_to_all, forward_from_j_to_all, backward_from_j_to_all, => Done, Forward, Backward, => EndpointDoneJ, EndpointForwardJ, EndpointBackwardJ, => Branching0fromJtoA, Branching0fromJtoB, Branching0fromJtoC, Branching0fromJtoD, Branching0fromJtoE, Branching0fromJtoF, Branching0fromJtoG, Branching0fromJtoH, Branching0fromJtoI, => NameA, NameB, NameC, NameD, NameE, NameF, NameG, NameH, NameI, => NameCentral, NameJ, MeshedChannels, 11 ); fn endpoint_central(s: EndpointCentral) -> Result<(), Box> { broadcast_cancel!(s, 11) } fn endpoint_a(s: EndpointA) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_a_from_j, { Branching0fromJtoA::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoA::Forward(s) => { let s = send_mpst_a_to_b((), s)?; endpoint_a(s) }, Branching0fromJtoA::Backward(s) => { let (_, s) = recv_mpst_a_from_b(s)?; endpoint_a(s) }, }) } fn endpoint_b(s: EndpointB) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_b_from_j, { Branching0fromJtoB::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoB::Forward(s) => { let ((), s) = recv_mpst_b_from_a(s)?; let s = send_mpst_b_to_c((), s)?; endpoint_b(s) }, Branching0fromJtoB::Backward(s) => { let ((), s) = recv_mpst_b_from_c(s)?; let s = send_mpst_b_to_a((), s)?; endpoint_b(s) }, }) } fn endpoint_c(s: EndpointC) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_c_from_j, { Branching0fromJtoC::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoC::Forward(s) => { let ((), s) = recv_mpst_c_from_b(s)?; let s = send_mpst_c_to_d((), s)?; endpoint_c(s) }, Branching0fromJtoC::Backward(s) => { let ((), s) = recv_mpst_c_from_d(s)?; let s = send_mpst_c_to_b((), s)?; endpoint_c(s) }, }) } fn endpoint_d(s: EndpointD) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_d_from_j, { Branching0fromJtoD::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoD::Forward(s) => { let ((), s) = recv_mpst_d_from_c(s)?; let s = send_mpst_d_to_e((), s)?; endpoint_d(s) }, Branching0fromJtoD::Backward(s) => { let ((), s) = recv_mpst_d_from_e(s)?; let s = send_mpst_d_to_c((), s)?; endpoint_d(s) }, }) } fn endpoint_e(s: EndpointE) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_e_from_j, { Branching0fromJtoE::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoE::Forward(s) => { let ((), s) = recv_mpst_e_from_d(s)?; let s = send_mpst_e_to_f((), s)?; endpoint_e(s) }, Branching0fromJtoE::Backward(s) => { let ((), s) = recv_mpst_e_from_f(s)?; let s = send_mpst_e_to_d((), s)?; endpoint_e(s) }, }) } fn endpoint_f(s: EndpointF) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_f_from_j, { Branching0fromJtoF::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoF::Forward(s) => { let ((), s) = recv_mpst_f_from_e(s)?; let s = send_mpst_f_to_g((), s)?; endpoint_f(s) }, Branching0fromJtoF::Backward(s) => { let ((), s) = recv_mpst_f_from_g(s)?; let s = send_mpst_f_to_e((), s)?; endpoint_f(s) }, }) } fn endpoint_g(s: EndpointG) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_g_from_j, { Branching0fromJtoG::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoG::Forward(s) => { let ((), s) = recv_mpst_g_from_f(s)?; let s = send_mpst_g_to_h((), s)?; endpoint_g(s) }, Branching0fromJtoG::Backward(s) => { let ((), s) = recv_mpst_g_from_h(s)?; let s = send_mpst_g_to_f((), s)?; endpoint_g(s) }, }) } fn endpoint_h(s: EndpointH) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_h_from_j, { Branching0fromJtoH::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoH::Forward(s) => { let ((), s) = recv_mpst_h_from_g(s)?; let s = send_mpst_h_to_i((), s)?; endpoint_h(s) }, Branching0fromJtoH::Backward(s) => { let ((), s) = recv_mpst_h_from_i(s)?; let s = send_mpst_h_to_g((), s)?; endpoint_h(s) }, }) } fn endpoint_i(s: EndpointI) -> Result<(), Box> { offer_cancel_mpst!(s, recv_mpst_i_from_j, { Branching0fromJtoI::Done(s) => { close_mpst_multi(s) }, Branching0fromJtoI::Forward(s) => { let ((), s) = recv_mpst_i_from_h(s)?; let s = send_mpst_i_to_j((), s)?; endpoint_i(s) }, Branching0fromJtoI::Backward(s) => { let ((), s) = recv_mpst_i_from_j(s)?; let s = send_mpst_i_to_h((), s)?; endpoint_i(s) }, }) } fn endpoint_j(s: EndpointJ) -> Result<(), Box> { recurs_j(s, 100) } fn recurs_j(s: EndpointJ, index: i64) -> Result<(), Box> { match index { 0 => { let s = done_from_j_to_all(s)?; close_mpst_multi(s) } i if i % 2 == 0 => { let s = forward_from_j_to_all(s)?; let (_, s) = recv_mpst_j_from_i(s)?; recurs_j(s, i - 1) } i => { let s = backward_from_j_to_all(s)?; let s = send_mpst_j_to_i((), s)?; recurs_j(s, i - 1) } } } fn main() { let ( thread_central, thread_a, thread_b, thread_c, thread_d, thread_e, thread_f, thread_g, thread_h, thread_i, thread_j, ) = fork_mpst( endpoint_central, endpoint_a, endpoint_b, endpoint_c, endpoint_d, endpoint_e, endpoint_f, endpoint_g, endpoint_h, endpoint_i, endpoint_j, ); thread_central.join().unwrap(); thread_a.join().unwrap(); thread_b.join().unwrap(); thread_c.join().unwrap(); thread_d.join().unwrap(); thread_e.join().unwrap(); thread_f.join().unwrap(); thread_g.join().unwrap(); thread_h.join().unwrap(); thread_i.join().unwrap(); thread_j.join().unwrap(); }