#[derive(Debug, Eq, PartialEq, Clone, Hash, Copy, Ord, PartialOrd)]

pub struct ChannelId {

    pub(crate) controller_id: ControllerId,

    pub(crate) channel_index: ChannelIndex,

}

#[derive(Debug, Eq, PartialEq, Clone, Hash, Copy, Ord, PartialOrd)]

pub enum Polarity {

    Putter, // output port (from the perspective of the component)

    Getter, // input port (from the perspective of the component)

}

#[derive(Eq, PartialEq, Ord, PartialOrd, Hash, Copy, Clone, Debug)]

pub struct Key(u64);

pub enum MainComponentErr {

    NoSuchComponent,

    NonPortTypeParameters,

}

pub trait ProtocolDescription: Sized {

    type S: ComponentState<D = Self>;

    fn parse(pdl: &[u8]) -> Result<Self, String>;

    fn component_polarities(&self, identifier: &[u8]) -> Result<Vec<Polarity>, MainComponentErr>;

}

pub trait ComponentState: Sized + Clone {

    type D: ProtocolDescription;

    fn pre_sync_run<C: MonoContext<D = Self::D, S = Self>>(

        &mut self,

        runtime_ctx: &mut C,

        protocol_description: &Self::D,

    ) -> MonoBlocker;

    fn sync_run<C: PolyContext<D = Self::D>>(

        &mut self,

        runtime_ctx: &mut C,

        protocol_description: &Self::D,

    ) -> PolyBlocker;

}

#[derive(Debug, Clone)]

pub enum MonoBlocker {

    Inconsistent,

    ComponentExit,

    SyncBlockStart,

}