Struct ChoiceAnalyzer 

pub struct ChoiceAnalyzer { /* private fields */ }

Analyzer for choice propagation

Implementations

impl ChoiceAnalyzer

pub fn new(roles: &[Role]) -> Self

Create a new choice analyzer

pub fn analyze(&mut self, protocol: &Protocol) -> ChoiceAnalysisResult

Analyze choice propagation in a protocol

pub fn find_similar_role(&self, role: &str) -> Option<&String>

Find a similar role name (for typo suggestions)

pub fn declared_roles(&self) -> &[String]

Get all declared roles

pub fn is_role_declared(&self, role: &str) -> bool

Check if a role is declared

Trait Implementations

impl Debug for ChoiceAnalyzer

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

Formats the value using the given formatter.