Struct SpecializationContextForRegistry

pub struct SpecializationContextForRegistry<'a, TType: GenericType> {
    pub functions: &'a HashMap<FunctionId, Function>,
    pub concrete_type_ids: &'a HashMap<(GenericTypeId, &'a [GenericArg]), ConcreteTypeId>,
    pub concrete_types: &'a HashMap<ConcreteTypeId, TType::Concrete>,
    pub function_ap_change: OrderedHashMap<FunctionId, usize>,
}

Context required for specialization process.

Fields

functions: &'a HashMap<FunctionId, Function>

concrete_type_ids: &'a HashMap<(GenericTypeId, &'a [GenericArg]), ConcreteTypeId>

concrete_types: &'a HashMap<ConcreteTypeId, TType::Concrete>

function_ap_change: OrderedHashMap<FunctionId, usize>

AP changes information for Sierra user functions.

Trait Implementations

impl<TType: GenericType> SignatureSpecializationContext for SpecializationContextForRegistry<'_, TType>

fn try_get_concrete_type( &self, id: GenericTypeId, generic_args: &[GenericArg], ) -> Option<ConcreteTypeId>

Returns concrete type id given a generic type and the generic arguments.

fn try_get_function_signature( &self, function_id: &FunctionId, ) -> Option<FunctionSignature>

Returns the function’s signature object associated with the given FunctionId.

fn as_type_specialization_context(&self) -> &dyn TypeSpecializationContext

Upcasting to the TypeSpecializationContext, since trait upcasting is still experimental.

fn try_get_function_ap_change( &self, function_id: &FunctionId, ) -> Option<SierraApChange>

Returns the ap-change of the given function.

fn get_concrete_type( &self, id: GenericTypeId, generic_args: &[GenericArg], ) -> Result<ConcreteTypeId, SpecializationError>

Wraps Self::try_get_concrete_type with a result object.

fn get_function_signature( &self, function_id: &FunctionId, ) -> Result<FunctionSignature, SpecializationError>

Wraps Self::try_get_function_signature with a result object.

fn get_function_ap_change( &self, function_id: &FunctionId, ) -> Result<SierraApChange, SpecializationError>

Wraps Self::try_get_function_ap_change with a result object.

fn get_wrapped_concrete_type( &self, id: GenericTypeId, wrapped: ConcreteTypeId, ) -> Result<ConcreteTypeId, SpecializationError>

Returns the concrete id of T<S> given generic type T and concrete type S.

impl<TType: GenericType> SpecializationContext for SpecializationContextForRegistry<'_, TType>

fn try_get_function(&self, function_id: &FunctionId) -> Option<Function>

Returns the function object associated with the given FunctionId.

fn upcast(&self) -> &dyn SignatureSpecializationContext

Upcasting to the SignatureSpecializationContext, since trait upcasting is still experimental.

fn get_function( &self, function_id: &FunctionId, ) -> Result<Function, SpecializationError>

Wraps Self::try_get_function with a result object.

impl<TType: GenericType> TypeSpecializationContext for SpecializationContextForRegistry<'_, TType>

fn try_get_type_info(&self, id: ConcreteTypeId) -> Option<TypeInfo>

Returns the type information for the type with the given id.

fn get_type_info( &self, id: ConcreteTypeId, ) -> Result<TypeInfo, SpecializationError>

Wraps Self::try_get_type_info with a result object.