Struct apis::session::Session []

pub struct Session<CTX> where
    CTX: Context
{ /* fields omitted */ }

Methods

impl<CTX> Session<CTX> where
    CTX: Context

impl<CTX: Context> Session<CTX>
[src]

[src]

[src]

[src]

Creates a new session and runs to completion.

Transitions from Ready to Running, starts processes not already running (those present in the process_handles argument), waits for results and finally transitions to Ended.

[src]

Run a session with given channels and handles to processes that are running in a continuation from a previous session.

Trait Implementations

impl<CTX> AsRef<ExtendedState<CTX>> for Session<CTX> where
    CTX: Context

Performs the conversion.

impl<CTX> AsMut<ExtendedState<CTX>> for Session<CTX> where
    CTX: Context

Performs the conversion.

impl<CTX> Drop for Session<CTX> where
    CTX: Context

Executes the destructor for this type. Read more

impl<CTX> MachineDotfile for Session<CTX> where
    CTX: Context

This version does not evaluate expressions, only pretty prints them

Generate a DOT file for the state machine that hides default expressions for state fields and extended state fields Read more

Generate a DOT file for the state machine that shows default expressions for state fields and extended state fields Read more

Generate a DOT file for the state machine that pretty prints the values of default expressions for state fields and extended state fields. Read more

impl<CTX: Context> Debug for Session<CTX>
[src]

[src]

Formats the value using the given formatter. Read more

impl<CTX: Context> From<Def<CTX>> for Session<CTX>
[src]

[src]

Performs the conversion.

Auto Trait Implementations

impl<CTX> Send for Session<CTX> where
    <CTX as Context>::CID: Send,
    <CTX as Context>::GPRES: Send,
    <CTX as Context>::GPROC: Send,
    <CTX as Context>::MID: Send,
    <CTX as Context>::PID: Send

impl<CTX> !Sync for Session<CTX>