Struct mun_abi::TypeDefinition

#[repr(C)]
pub struct TypeDefinition<'a> {
    pub name: *const c_char,
    pub data: TypeDefinitionData<'a>,
    /* private fields */
}

Represents the type declaration for a type that is exported by an assembly.

When multiple Mun modules reference the same type, only one module exports the type; the module that contains the type definition. All the other Mun modules reference the type through a TypeId.

The modules that defines the type exports the data to reduce the filesize of the assemblies and to ensure only one definition exists. When linking all assemblies together the type definitions from all assemblies are loaded and the information is shared to modules that reference the type.

TODO: add support for polymorphism, enumerations, type parameters, generic type definitions, and constructed generic types.

Fields

name: *const c_char

Type name

data: TypeDefinitionData<'a>

Type group

Implementations

impl<'a> TypeDefinition<'a>

pub fn is_instance_of(&self, type_id: &TypeId<'a>) -> bool

Returns true if this instance is an instance of the given TypeId.

pub fn name(&self) -> &str

Returns the type’s name.

pub fn as_concrete(&self) -> &Guid

Returns the GUID if this type represents a concrete type.

pub fn as_struct(&self) -> Option<&StructDefinition<'_>>

Retrieves the type’s struct information, if available.

pub fn size_in_bits(&self) -> usize

Returns the size of the type in bits

pub fn size_in_bytes(&self) -> usize

Returns the size of the type in bytes

pub fn alignment(&self) -> usize

Returns the alignment of the type in bytes

Trait Implementations

impl<'a> Debug for TypeDefinition<'a>

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

Formats the value using the given formatter.

impl<'a> Display for TypeDefinition<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq<TypeDefinition<'a>> for TypeDefinition<'a>

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Eq for TypeDefinition<'a>

impl<'a> Send for TypeDefinition<'a>

impl<'a> Sync for TypeDefinition<'a>