Enum DebugTypeInfo 

pub enum DebugTypeInfo {
    Primitive(DebugPrimitiveType),
    Pointer {
        pointee_type_idx: DebugTypeIdx,
    },
    Array {
        element_type_idx: DebugTypeIdx,
        count: Option<u32>,
    },
    Struct {
        name_idx: DebugStringIdx,
        size: u32,
        fields: Vec<DebugFieldInfo>,
    },
    Function {
        return_type_idx: Option<DebugTypeIdx>,
        param_type_indices: Vec<DebugTypeIdx>,
    },
    Enum {
        name_idx: DebugStringIdx,
        size: u32,
        discriminant_type_idx: DebugTypeIdx,
        variants: Vec<DebugVariantInfo>,
    },
    Variadic,
    Unknown,
}

Type information for debug purposes.

This encodes the type of a variable or expression, enabling debuggers to properly display values on the stack or in memory.

Variants

Primitive(DebugPrimitiveType)

A primitive type (e.g., i32, i64, felt, etc.)

Pointer

A pointer type pointing to another type

Fields

pointee_type_idx: DebugTypeIdx

The type being pointed to (index into type table)

Array

An array type

Fields

element_type_idx: DebugTypeIdx

The element type (index into type table)

count: Option<u32>

Number of elements (None for dynamically-sized arrays)

Struct

A struct type

Fields

name_idx: DebugStringIdx

Name of the struct (index into string table)

size: u32

Size in bytes

fields: Vec<DebugFieldInfo>

Fields of the struct

Function

A function type

Fields

return_type_idx: Option<DebugTypeIdx>

Return type (index into type table, None for void)

param_type_indices: Vec<DebugTypeIdx>

Parameter types (indices into type table)

Enum

An enum type.

Fields

name_idx: DebugStringIdx

Name of the enum (index into string table).

size: u32

Size in bytes.

discriminant_type_idx: DebugTypeIdx

Type of the enum discriminant.

variants: Vec<DebugVariantInfo>

Variants of the enum.

Variadic

Represents a variable number (zero or more) of types in function argument or result position

Variadic type parameters are always in trailing position, but may be preceded by non-variadic type parameters

Unknown

An unknown or opaque type

Implementations

impl DebugTypeInfo

pub fn recover_registered_type<Exec: Idx, Src: Idx>( &self, debug_info: &DebugInfo<Exec, Src>, cached_types: &mut HashMap<DebugTypeIdx, (Type, Option<Arc<TypeExpr>>), FxBuildHasher>, ) -> Option<(Type, Option<Arc<TypeExpr>>)>

Recovers the structural and source-level types represented by this debug type.

Returns None when the debug type contains an invalid reference, cannot be represented by the assembly type system, or participates in a reference cycle.

Trait Implementations

impl Clone for DebugTypeInfo

fn clone(&self) -> DebugTypeInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DebugTypeInfo

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

Formats the value using the given formatter.

impl Deserializable for DebugTypeInfo

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for DebugTypeInfo

impl Hash for DebugTypeInfo

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 PartialEq for DebugTypeInfo

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for DebugTypeInfo

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for DebugTypeInfo