Struct CrossLanguageRuleMatch 

pub struct CrossLanguageRuleMatch {
    pub rule: SemanticRule,
    pub correspondence_ids: Vec<&'static str>,
}

One verified Rust-to-C++ rule application with its closed correspondence evidence.

Fields

rule: SemanticRule

Rule that justified the correspondence.

correspondence_ids: Vec<&'static str>

Registered API or compiler-construct correspondence identifiers used by the matched operations.

Trait Implementations

impl Clone for CrossLanguageRuleMatch

fn clone(&self) -> CrossLanguageRuleMatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CrossLanguageRuleMatch

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

Formats the value using the given formatter.

impl PartialEq for CrossLanguageRuleMatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CrossLanguageRuleMatch