Enum SafetyClassificationError 

pub enum SafetyClassificationError {
    UnchangedRelatesSpecialization,
    RedefinitionCategoryChanged,
}

A malformed formal transition that cannot be assigned a safety class.

Variants

UnchangedRelatesSpecialization

A relates replacement changed neither specialization nor collection mode.

RedefinitionCategoryChanged

A redefinition changed the fact category under one identity.

Implementations

impl SafetyClassificationError

pub const fn message(self) -> &'static str

Return the stable diagnostic message used by lowering boundaries.

Trait Implementations

impl Clone for SafetyClassificationError

fn clone(&self) -> SafetyClassificationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SafetyClassificationError

impl Debug for SafetyClassificationError

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

Formats the value using the given formatter.

impl Eq for SafetyClassificationError

impl PartialEq for SafetyClassificationError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SafetyClassificationError