Enum ProposalValidationError 

pub enum ProposalValidationError {
    EmptyProposal,
    DisallowedOp {
        tag: String,
    },
    RiskExceedsMode {
        risk: RepairRisk,
        mode: RepairMode,
    },
    UnknownRule {
        rule_id: String,
    },
    MonotonicityViolation {
        path: String,
    },
}

Validation error for a model-generated proposal.

Variants

EmptyProposal

Proposal contains zero operations.

DisallowedOp

An operation uses a tag not allowed by the current mode.

Fields

tag: String

RiskExceedsMode

Risk level exceeds what the mode permits.

Fields

risk: RepairRisk

mode: RepairMode

UnknownRule

The rule_id does not match any known rule.

Fields

rule_id: String

MonotonicityViolation

Proposal references a path that escapes the extension root.

Fields

path: String

Trait Implementations

impl Clone for ProposalValidationError

fn clone(&self) -> ProposalValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProposalValidationError

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

Formats the value using the given formatter.

impl Display for ProposalValidationError

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

Formats the value using the given formatter.

impl PartialEq for ProposalValidationError

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

impl StructuralPartialEq for ProposalValidationError