Enum ViolationKind 

pub enum ViolationKind {
    EmptyChart,
    MissingId,
    DuplicateStateId {
        id: String,
    },
    UnknownTarget {
        target: String,
    },
    IllegalInitialTarget {
        target: String,
    },
    InitialAttributeAndElement,
    InitialOnNonCompound,
    IllegalInitialTransition,
    HistoryTransitionCount,
    IllegalHistoryTransition,
    IllegalHistoryTarget {
        target: String,
    },
    HistoryAtRoot,
    HistoryContent,
    FinalContent {
        what: String,
    },
    DoneDataOutsideFinal,
    ParallelHistoryOnly,
    StateHistoryOnly,
    IllegalTargetSet {
        first: String,
        second: String,
    },
    HistoryDefaultCycle {
        history: String,
    },
    DuplicateDataId {
        id: String,
    },
    ConflictingAttributes {
        element: String,
        attributes: String,
    },
}

What is wrong.

Variants

EmptyChart

The chart has no child states.

MissingId

A state has no identifier (run crate::identity::assign_generated_ids first).

DuplicateStateId

Two states share an identifier.

Fields

id: String

The repeated identifier.

UnknownTarget

A target names no state.

Fields

target: String

The unknown identifier.

IllegalInitialTarget

An initial attribute or <initial> transition targets a state that is not a proper descendant of the owning state.

Fields

target: String

The offending target.

InitialAttributeAndElement

A state has both an initial attribute and an <initial> element.

InitialOnNonCompound

An initial attribute or <initial> element on a state that is not compound.

IllegalInitialTransition

An <initial> transition with an event or a condition, or without a target.

HistoryTransitionCount

A history state with more than one transition.

IllegalHistoryTransition

A history default transition with an event or a condition, or without a target.

IllegalHistoryTarget

A history default transition target outside the history’s parent.

Fields

target: String

The offending target.

HistoryAtRoot

A history state that is a child of the root.

HistoryContent

A history state with content other than its default transition.

FinalContent

A final state with content other than onentry, onexit and donedata.

Fields

what: String

What it contains.

DoneDataOutsideFinal

donedata on a state that is not final.

ParallelHistoryOnly

A parallel state whose children are all history states.

StateHistoryOnly

A <state> whose children are all history states.

IllegalTargetSet

The targets of one transition cannot be active together.

Fields

first: String

The first target of the conflicting pair.

second: String

The second target of the conflicting pair.

HistoryDefaultCycle

Default history entry never reaches a real state: following the default transitions of history states (a history state without one defaults to its parent’s initial) leads back to this history state, for example <state initial="h"> whose history child h has no default transition.

Fields

history: String

The history state on the cycle.

DuplicateDataId

Two data items share an identifier.

Fields

id: String

The repeated identifier.

ConflictingAttributes

An element has attributes or children that exclude each other, or lacks a required one.

Fields

element: String

The element name.

attributes: String

The attributes involved.

Trait Implementations

impl Clone for ViolationKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ViolationKind

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

Formats the value using the given formatter.

impl Eq for ViolationKind

impl PartialEq for ViolationKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ViolationKind