Module mpstthree::meshedchannels[−][src]

Expand description

The main structure used for representing a participant, also named a party, within a protocol.

It contains 4 fields:

  • session1: contains the first binary session type, which links the participant to the first participant in the alphanumerical order. It contains Session.
  • session2: contains the second binary session type, which links the participant to the second participant in the alphanumerical order. It contains Session.
  • stack: contains the ordering of the interactions between the participant and the others. It contains Role.
  • name: contains the name of the participant. It should look like RoleA<RoleEnd> or RoleB<RoleEnd>.

Modules

impl_a

The different associated functions for role A with only A, B and C in the protocol.

impl_b

The different associated functions for role B with only A, B and C in the protocol.

impl_c

The different associated functions for role C with only A, B and C in the protocol.

Structs

MeshedChannels

The structure which encapsulates two binary session types, a stack and a name.