Struct DebugReplacer

pub struct DebugReplacer<'a> {
    pub db: &'a dyn SierraGenGroup,
}

Replaces cairo_lang_sierra::ids::{ConcreteLibfuncId, ConcreteTypeId, FunctionId} with a dummy ids whose debug string is the string representing the expanded information about the id.

For Libfuncs and Types - that would be recursively opening their generic arguments, for functions - that would be getting their original name. For example, while the original debug string may be [6], the resulting debug string may be:

• For libfuncs: felt252_const<2> or unbox<Box<Box<felt252>>>.
• For types: felt252 or Box<Box<felt252>>.
• For user functions: test::foo.

Fields

db: &'a dyn SierraGenGroup

Implementations

impl DebugReplacer<'_>

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

Enriches the function entries with their full function name. Required for tests and cairo running.

Trait Implementations

impl SierraIdReplacer for DebugReplacer<'_>

fn replace_function_id(&self, sierra_id: &FunctionId) -> FunctionId

Helper for replace_sierra_ids and replace_sierra_ids_in_program replacing function ids.

fn replace_libfunc_id(&self, id: &ConcreteLibfuncId) -> ConcreteLibfuncId

fn replace_type_id(&self, id: &ConcreteTypeId) -> ConcreteTypeId

fn apply(&self, program: &Program) -> Program

Returns a new program where all the ids are replaced.

fn replace_generic_args(&self, generic_args: &mut Vec<GenericArg>)