cairo_lang_sierra_generator::replace_ids

Trait SierraIdReplacer

Source 
pub trait SierraIdReplacer {
    // Required methods
    fn replace_libfunc_id(&self, id: &ConcreteLibfuncId) -> ConcreteLibfuncId;
    fn replace_type_id(&self, id: &ConcreteTypeId) -> ConcreteTypeId;
    fn replace_function_id(&self, sierra_id: &FunctionId) -> FunctionId;

    // Provided methods
    fn apply(&self, program: &Program) -> Program { ... }
    fn replace_generic_args(&self, generic_args: &mut Vec<GenericArg>) { ... }
}

Required Methods§

Source

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

Source

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

Source

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

Provided Methods§

Source

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

Returns a new program where all the ids are replaced.

Source

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

Implementors§