Enum ContextAnnotationKind 

#[repr(i32)]
pub enum ContextAnnotationKind {
    Unspecified = 0,
    Constraint = 1,
    Invariant = 2,
    Rationale = 3,
}

Variants

Unspecified = 0

Constraint = 1

Invariant = 2

Rationale = 3

Implementations

impl ContextAnnotationKind

pub const fn is_valid(value: i32) -> bool

Returns true if value is a variant of ContextAnnotationKind.

pub fn from_i32(value: i32) -> Option<ContextAnnotationKind>

👎Deprecated:

Use the TryFrom<i32> implementation instead

Converts an i32 to a ContextAnnotationKind, or None if value is not a valid variant.

impl ContextAnnotationKind

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

String value of the enum field names used in the ProtoBuf definition.

The values are not transformed in any way and thus are considered stable (if the ProtoBuf definition does not change) and safe for programmatic use.

pub fn from_str_name(value: &str) -> Option<Self>

Creates an enum from field names used in the ProtoBuf definition.

Trait Implementations

impl Clone for ContextAnnotationKind

fn clone(&self) -> ContextAnnotationKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ContextAnnotationKind

impl Debug for ContextAnnotationKind

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

Formats the value using the given formatter.

impl Default for ContextAnnotationKind

fn default() -> ContextAnnotationKind

Returns the “default value” for a type.

impl Eq for ContextAnnotationKind

impl From<ContextAnnotationKind> for i32

fn from(value: ContextAnnotationKind) -> i32

Converts to this type from the input type.

impl Hash for ContextAnnotationKind

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 Ord for ContextAnnotationKind

fn cmp(&self, other: &ContextAnnotationKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for ContextAnnotationKind

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for ContextAnnotationKind

fn partial_cmp(&self, other: &ContextAnnotationKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for ContextAnnotationKind

impl TryFrom<i32> for ContextAnnotationKind

type Error = UnknownEnumValue

The type returned in the event of a conversion error.

fn try_from(value: i32) -> Result<ContextAnnotationKind, UnknownEnumValue>

Performs the conversion.