Enum MutationClass 

pub enum MutationClass {
    StateRemoval,
    TransitionRemoval,
    EventSwap,
    TargetSwap,
    GuardNegation,
}

Mutation classes for state machine testing.

Variants

StateRemoval

M1: State removal - remove a state

TransitionRemoval

M2: Transition removal - remove a transition

EventSwap

M3: Event swap - swap event triggers between transitions

TargetSwap

M4: Target swap - change transition target to different state

GuardNegation

M5: Guard negation - negate guard conditions

Implementations

impl MutationClass

pub fn all() -> Vec<MutationClass>

Get all mutation classes.

pub fn id(&self) -> &'static str

Get the mutation class identifier (M1-M5).

pub fn description(&self) -> &'static str

Get a description of the mutation class.

Trait Implementations

impl Clone for MutationClass

fn clone(&self) -> MutationClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MutationClass

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

Formats the value using the given formatter.

impl Hash for MutationClass

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 MutationClass

fn eq(&self, other: &MutationClass) -> 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 Copy for MutationClass

impl Eq for MutationClass

impl StructuralPartialEq for MutationClass