SchemaEnum

Struct SchemaEnum 

Source
pub struct SchemaEnum {
    pub dbg_name: String,
    pub variants: Vec<Variant>,
    pub discriminant_size: u8,
    /* private fields */
}
Expand description

Schema for an enum.

An enum is serialized as its u8 variant discriminant followed by all the field for that variant. The name of each variant, as well as its order in the enum (the discriminant), is significant. The memory format is given by ‘has_explicit_repr’, ‘discriminant_size’, ‘size’, ‘alignment’ and the vairous variants.

Note: If ‘has_explicit_repr’ is false, the memory format is unspecified.

Fields§

§dbg_name: String

Diagnostic name

§variants: Vec<Variant>

Variants of enum

§discriminant_size: u8

If this is a repr(uX)-enum, then the size of the discriminant, in bytes. Valid values are 1, 2, or 4. Otherwise, this is the number of bytes needed to represent the discriminant. In either case, this is the size of the enum in the disk-format.

Implementations§

Source§

impl SchemaEnum

Source

pub fn new( dbg_name: String, discriminant_size: u8, variants: Vec<Variant>, ) -> SchemaEnum

Create a new SchemaEnum instance. Arguments:

  • dbg_name - Name of the enum type.
  • discriminant_size: If this is a repr(uX)-enum, then the size of the discriminant, in bytes. Valid values are 1, 2, or 4. Otherwise, this is the number of bytes needed to represent the discriminant. In either case, this is the size of the enum in the disk-format.
  • variants - The variants of the enum
Source

pub fn new_unsafe( dbg_name: String, variants: Vec<Variant>, discriminant_size: u8, has_explicit_repr: bool, size: Option<usize>, alignment: Option<usize>, ) -> SchemaEnum

Create a new SchemaEnum instance. Arguments:

  • dbg_name - Name of the enum type.
  • variants - The variants of the enum
  • discriminant_size: If this is a repr(uX)-enum, then the size of the discriminant, in bytes. Valid values are 1, 2, or 4. Otherwise, this is the number of bytes needed to represent the discriminant. In either case, this is the size of the enum in the disk-format.
  • has_explicit_repr: True if this enum type has a repr(uX) attribute, and thus a predictable memory layout.
  • size: The size of the enum (std::mem::size_of::<TheEnum>()), if known
  • alignment: The alignment of the enum (std::mem::align_of::<TheEnum>())
§Safety

The argument ‘has_explicit_repr’ must only be true if the enum in fact has a #[repr(uX)] attribute. The size and alignment must be correct for the type.

Trait Implementations§

Source§

impl Clone for SchemaEnum

Source§

fn clone(&self) -> SchemaEnum

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

impl Debug for SchemaEnum

Source§

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

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

impl Deserialize for SchemaEnum

Source§

fn deserialize( deserializer: &mut Deserializer<'_, impl Read>, ) -> Result<Self, SavefileError>

Deserialize and return an instance of Self from the given deserializer.
Source§

impl Packed for SchemaEnum

Source§

unsafe fn repr_c_optimization_safe(_version: u32) -> IsPacked

This method returns true if the optimization is allowed for the protocol version given as an argument. This may return true if and only if the given protocol version has a serialized format identical to the memory layout of the given protocol version. Note, the only memory layout existing is that of the most recent version, so Packed-optimization only works when disk-format is identical to memory version. Read more
Source§

impl PartialEq for SchemaEnum

Source§

fn eq(&self, other: &SchemaEnum) -> 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.
Source§

impl Serialize for SchemaEnum

Source§

fn serialize( &self, serializer: &mut Serializer<'_, impl Write>, ) -> Result<(), SavefileError>

Serialize self into the given serializer. Read more
Source§

impl WithSchema for SchemaEnum

Source§

fn schema(_version: u32, _context: &mut WithSchemaContext) -> Schema

Returns a representation of the schema used by this Serialize implementation for the given version. The WithSchemaContext can be used to guard against recursive data structures. See documentation of WithSchemaContext.
Source§

impl StructuralPartialEq for SchemaEnum

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> 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<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> 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> Savefile for T