Struct SessionChecker 

pub struct SessionChecker { /* private fields */ }

A simple session type checker for binary sessions.

Implementations

impl SessionChecker

pub fn new() -> Self

Create a new session type checker.

pub fn register_channel(&mut self, name: impl Into<String>, stype: SType)

Register a channel with its session type.

pub fn check_usage( &self, channel: &str, ops: &[SessionOp], ) -> Result<SType, String>

Check that a use pattern (sequence of operations) is consistent with the declared session type of a channel.

Trait Implementations

impl Default for SessionChecker

fn default() -> Self

Returns the “default value” for a type.