ErrorCode

sea_core::validation_error

Enum ErrorCode

pub enum ErrorCode {
Show 35 variants    E001_UndefinedEntity,
    E002_UndefinedResource,
    E003_UnitMismatch,
    E004_TypeMismatch,
    E005_SyntaxError,
    E006_InvalidExpression,
    E007_DuplicateDeclaration,
    E008_UndefinedVariable,
    E009_InvalidQuantity,
    E010_InvalidIdentifier,
    E100_IncompatibleTypes,
    E101_InvalidTypeConversion,
    E102_TypeInferenceFailed,
    E103_InvalidOperandType,
    E104_InvalidComparisonType,
    E200_DimensionMismatch,
    E201_InvalidUnit,
    E202_UnitConversionFailed,
    E203_IncompatibleDimensions,
    E300_VariableNotInScope,
    E301_UndefinedReference,
    E302_CircularReference,
    E303_InvalidReference,
    E400_PolicyEvaluationFailed,
    E401_InvalidPolicyExpression,
    E402_DeterminismViolation,
    E403_InvalidModality,
    E500_NamespaceNotFound,
    E501_AmbiguousNamespace,
    E502_InvalidNamespace,
    E503_ModuleNotFound,
    E504_SymbolNotExported,
    E505_CircularDependency,
    E506_AmbiguousImport,
    E507_InvalidExport,
}

Expand description

Error codes for all validation errors

Variants§

E001_UndefinedEntity

E002_UndefinedResource

E003_UnitMismatch

E004_TypeMismatch

E005_SyntaxError

E006_InvalidExpression

E007_DuplicateDeclaration

E008_UndefinedVariable

E009_InvalidQuantity

E010_InvalidIdentifier

E100_IncompatibleTypes

E101_InvalidTypeConversion

E102_TypeInferenceFailed

E103_InvalidOperandType

E104_InvalidComparisonType

E200_DimensionMismatch

E201_InvalidUnit

E202_UnitConversionFailed

E203_IncompatibleDimensions

E300_VariableNotInScope

E301_UndefinedReference

E302_CircularReference

E303_InvalidReference

E400_PolicyEvaluationFailed

E401_InvalidPolicyExpression

E402_DeterminismViolation

E403_InvalidModality

E500_NamespaceNotFound

E501_AmbiguousNamespace

E502_InvalidNamespace

E503_ModuleNotFound

E504_SymbolNotExported

E505_CircularDependency

E506_AmbiguousImport

E507_InvalidExport

Implementations§

impl ErrorCode

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

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

Trait Implementations§

impl Clone for ErrorCode

fn clone(&self) -> ErrorCode

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for ErrorCode

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

Formats the value using the given formatter. Read more

impl Display for ErrorCode

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

Formats the value using the given formatter. Read more

impl PartialEq for ErrorCode

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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 Copy for ErrorCode

impl Eq for ErrorCode

impl StructuralPartialEq for ErrorCode

Auto Trait Implementations§

impl Freeze for ErrorCode

impl RefUnwindSafe for ErrorCode

impl Send for ErrorCode

impl Sync for ErrorCode

impl Unpin for ErrorCode

impl UnwindSafe for ErrorCode

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.