Skip to main content

ElementId

Enum ElementId 

Source
pub enum ElementId {
    Unexamined,
    Fixed(i32),
    Positional,
    Meaningful,
    Unenforced {
        writes: i32,
        why: &'static str,
    },
}
Expand description

The struct id the engine’s own writer puts on a list’s elements.

An enum rather than an optional number, because a positional id is a rule the engine follows rather than the absence of one. Spelling it as None would make absence carry an answer, which is the shape a whole liveness axis was rebuilt to stop, and it would leave a list whose id nobody established with no spelling of its own.

Variants§

§

Unexamined

Nobody has established what an element carries here.

What an entry declaring a label and modelling no element behind it gets. There is no element schema to hang an id on and this layer writes no element there, so an id would be a claim about an untouched list.

The default, so that an axis with no way of saying this cannot silently answer Positional for every such entry. A modelled list has to declare an id and the derive refuses it otherwise, so this variant means the entry models nothing rather than that somebody forgot.

§

Fixed(i32)

Every element carries this id.

§

Positional

Each element carries its own index in the list.

§

Meaningful

The id is data: the engine reads the element’s struct id off the header rather than any field, so a writer has to preserve it and the model has to carry it somewhere.

Equip_ItemList is the case. Its id is the equipment slot, which no label repeats, so an element written with the wrong one equips into the wrong slot with nothing in the file to say so.

§

Unenforced

A value every writer puts there and no loader tests.

Distinct from Fixed, which is what a loader demands. Where nothing checks, two writers can disagree without either being wrong, and a corpus that shows them disagreeing is reporting the engine rather than a defect. Saying Fixed there would claim an enforcement nothing performs.

The reason is carried rather than described elsewhere, so a list cannot be marked unenforced without saying what was checked.

Fields

§writes: i32

The value to write, since something has to be written.

§why: &'static str

Why nothing rejects a file that writes something else. Reads on from “nothing rejects a file writing something else, because”.

Trait Implementations§

Source§

impl Clone for ElementId

Source§

fn clone(&self) -> ElementId

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ElementId

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for ElementId

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · 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.
Source§

impl Copy for ElementId

Source§

impl Eq for ElementId

Source§

impl StructuralPartialEq for ElementId

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Az for T

Source§

fn az<Dst>(self) -> Dst
where T: Cast<Dst>,

Casts the value.
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<Src, Dst> CastFrom<Src> for Dst
where Src: Cast<Dst>,

Source§

fn cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> CheckedAs for T

Source§

fn checked_as<Dst>(self) -> Option<Dst>
where T: CheckedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> CheckedCastFrom<Src> for Dst
where Src: CheckedCast<Dst>,

Source§

fn checked_cast_from(src: Src) -> Option<Dst>

Casts the value.
Source§

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

Source§

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
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T> OverflowingAs for T

Source§

fn overflowing_as<Dst>(self) -> (Dst, bool)
where T: OverflowingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> OverflowingCastFrom<Src> for Dst
where Src: OverflowingCast<Dst>,

Source§

fn overflowing_cast_from(src: Src) -> (Dst, bool)

Casts the value.
Source§

impl<T> SaturatingAs for T

Source§

fn saturating_as<Dst>(self) -> Dst
where T: SaturatingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> SaturatingCastFrom<Src> for Dst
where Src: SaturatingCast<Dst>,

Source§

fn saturating_cast_from(src: Src) -> Dst

Casts the value.
Source§

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

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

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

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

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
Source§

impl<T> UnwrappedAs for T

Source§

fn unwrapped_as<Dst>(self) -> Dst
where T: UnwrappedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> UnwrappedCastFrom<Src> for Dst
where Src: UnwrappedCast<Dst>,

Source§

fn unwrapped_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> WrappingAs for T

Source§

fn wrapping_as<Dst>(self) -> Dst
where T: WrappingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> WrappingCastFrom<Src> for Dst
where Src: WrappingCast<Dst>,

Source§

fn wrapping_cast_from(src: Src) -> Dst

Casts the value.