pub enum RetypeProblem {
UnknownSection {
key: String,
declared: Vec<String>,
suggestion: Option<String>,
},
MissingRequiredSection {
key: String,
heading: String,
write_rules: Vec<String>,
},
MissingRequiredField {
key: String,
description: String,
enum_values: Vec<String>,
},
Validation {
code: &'static str,
message: String,
details: Value,
},
SectionMapSourceMissing {
key: String,
present: Vec<String>,
},
SectionMapCollision {
from: String,
to: String,
also_from: String,
},
EdgeShape(RetypeEdge),
RequiredOutgoingUnsatisfied(Vec<MissingRequiredOutgoingBlock>),
ConstraintUnsatisfied(Vec<UnsatisfiedConstraint>),
}Expand description
One reason a retype is refused. Every problem found is reported
together in [EngineError::RetypeRefused]; each carries the wire code
the same condition has on the create/update/relate surfaces.
Variants§
UnknownSection
A (mapped) section key the target type does not declare.
MissingRequiredSection
A section the target type requires is absent or empty.
MissingRequiredField
A metadata field the target type requires is unset and has no default.
Validation
A validator refusal carried verbatim: body content, an unknown metadata field, an enum or field value the target rejects.
SectionMapSourceMissing
section_map names a key the entity does not carry.
SectionMapCollision
Two sections would land under one key.
EdgeShape(RetypeEdge)
RequiredOutgoingUnsatisfied(Vec<MissingRequiredOutgoingBlock>)
ConstraintUnsatisfied(Vec<UnsatisfiedConstraint>)
Implementations§
Trait Implementations§
Source§impl Clone for RetypeProblem
impl Clone for RetypeProblem
Source§fn clone(&self) -> RetypeProblem
fn clone(&self) -> RetypeProblem
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for RetypeProblem
impl Debug for RetypeProblem
Auto Trait Implementations§
impl Freeze for RetypeProblem
impl RefUnwindSafe for RetypeProblem
impl Send for RetypeProblem
impl Sync for RetypeProblem
impl Unpin for RetypeProblem
impl UnsafeUnpin for RetypeProblem
impl UnwindSafe for RetypeProblem
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Converts
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Converts
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Converts
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Converts
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
impl<T> Fruit for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more