Struct SessionEndpoint 

pub struct SessionEndpoint {
    pub remaining: SType,
    /* private fields */
}

A session channel endpoint, consuming the session type as it is used.

Note: In Rust we cannot enforce linearity at the type level without a linear type system; this struct instead tracks usage dynamically.

Fields

remaining: SType

The remaining session type (what is yet to be done).

Implementations

impl SessionEndpoint

pub fn new(stype: SType) -> Self

Create a new session endpoint with the given initial session type.

pub fn send(&mut self, msg: Message) -> Result<(), String>

Send a message, advancing the session type.

pub fn recv(&mut self) -> Result<Message, String>

Receive a message from the buffer, advancing the session type.

pub fn select_left(&mut self) -> Result<(), String>

Select the left branch of an internal choice.

pub fn select_right(&mut self) -> Result<(), String>

Select the right branch of an internal choice.

pub fn close(&mut self) -> Result<(), String>

Close the session.

pub fn is_complete(&self) -> bool

Check if the session is complete.