Struct FunctionInstanciation 

pub struct FunctionInstanciation { /* private fields */ }

Implementations

impl FunctionInstanciation

pub fn new( descriptor: &Arc<dyn FunctionDescriptor>, scope_descriptor: &Arc<dyn Parameterized>, scope_generics: &Arc<RwLock<HashMap<String, DescribedType>>>, scope_id: Identifier, design_reference: Option<Arc<dyn Reference>>, ) -> Self

pub fn descriptor(&self) -> Arc<dyn FunctionDescriptor>

pub fn check_function_return( &self, parameters: &Vec<Value>, ) -> LogicResult<(Variability, DescribedType)>

Trait Implementations

impl Debug for FunctionInstanciation

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

Formats the value using the given formatter.

impl GenericInstanciation for FunctionInstanciation

fn generics(&self) -> RwLockReadGuard<'_, HashMap<String, DescribedType>>

fn set_generic( &mut self, generic_name: String, type: DescribedType, ) -> LogicResult<()>