Struct ChoiceId 

pub struct ChoiceId {
    pub path: Vec<String>,
    pub chooser: String,
    pub index: usize,
}

Unique identifier for a choice point in the protocol

Fields

path: Vec<String>

Protocol path to this choice (for nested choices)

chooser: String

The choosing role

index: usize

Index of this choice (for multiple choices by same role)

Implementations

impl ChoiceId

pub fn new(chooser: &str, index: usize) -> Self

Create a new choice ID

pub fn nested(parent: &ChoiceId, chooser: &str, index: usize) -> Self

Create a nested choice ID

pub fn display(&self) -> String

Get a display string for this choice

Trait Implementations

impl Clone for ChoiceId

fn clone(&self) -> ChoiceId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ChoiceId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for ChoiceId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ChoiceId

fn eq(&self, other: &ChoiceId) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ChoiceId

impl StructuralPartialEq for ChoiceId