pub enum ViolationKind {
Act,
Duty,
Invariant,
}
Expand description
Determines what types may be violated.
Variants§
Act
An eFLINT Act was violated.
Duty
An eFLINT Duty was violated.
Invariant
An eFLINT Invariant was violated.
Trait Implementations§
Source§impl Clone for ViolationKind
impl Clone for ViolationKind
Source§fn clone(&self) -> ViolationKind
fn clone(&self) -> ViolationKind
Returns a copy of the value. Read more
1.0.0 · 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 ViolationKind
impl Debug for ViolationKind
Source§impl<'de> Deserialize<'de> for ViolationKind
impl<'de> Deserialize<'de> for ViolationKind
Source§fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where
D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for ViolationKind
impl Display for ViolationKind
Source§impl EnumDebug for ViolationKind
impl EnumDebug for ViolationKind
Source§fn type_name() -> &'static str
fn type_name() -> &'static str
Returns the static name of the type used for EnumDebug-printing. Read more
Source§fn variant_names() -> &'static [&'static str]
fn variant_names() -> &'static [&'static str]
Returns all variants in the trait as a list of names. Read more
Source§fn variant_name(&self) -> &'static str
fn variant_name(&self) -> &'static str
Returns the static name of the variant. Read more
Source§fn variant(&self) -> EnumDebugFormatter<'_, Self>
fn variant(&self) -> EnumDebugFormatter<'_, Self>
Returns a formatter for this enum that writes its variant name. Read more
Source§impl FromStr for ViolationKind
impl FromStr for ViolationKind
Source§impl Hash for ViolationKind
impl Hash for ViolationKind
Source§impl PartialEq for ViolationKind
impl PartialEq for ViolationKind
Source§impl Serialize for ViolationKind
impl Serialize for ViolationKind
impl Copy for ViolationKind
impl Eq for ViolationKind
impl StructuralPartialEq for ViolationKind
Auto Trait Implementations§
impl Freeze for ViolationKind
impl RefUnwindSafe for ViolationKind
impl Send for ViolationKind
impl Sync for ViolationKind
impl Unpin for ViolationKind
impl UnwindSafe for ViolationKind
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