Struct DebugInfo

pub struct DebugInfo {
    pub type_names: HashMap<ConcreteTypeId, SmolStr>,
    pub libfunc_names: HashMap<ConcreteLibfuncId, SmolStr>,
    pub user_func_names: HashMap<FunctionId, SmolStr>,
    pub annotations: Annotations,
    pub executables: HashMap<SmolStr, Vec<FunctionId>>,
}

Debug information for a Sierra program, to get readable names.

Fields

type_names: HashMap<ConcreteTypeId, SmolStr>

libfunc_names: HashMap<ConcreteLibfuncId, SmolStr>

user_func_names: HashMap<FunctionId, SmolStr>

annotations: Annotations

Non-crucial information about the program, for use by external libraries and tool.

See Annotations type documentation for more information about this field.

executables: HashMap<SmolStr, Vec<FunctionId>>

List of functions marked as executable.

Implementations

impl DebugInfo

pub fn extract(program: &Program) -> Self

Extracts the existing debug info from a program.

pub fn populate(&self, program: &mut Program)

Populates a program with debug info.

Trait Implementations

impl Clone for DebugInfo

fn clone(&self) -> DebugInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DebugInfo

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

Formats the value using the given formatter.

impl Default for DebugInfo

fn default() -> DebugInfo

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DebugInfo

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DebugInfo

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

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

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 Serialize for DebugInfo

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DebugInfo

impl StructuralPartialEq for DebugInfo