pub struct FunctionInstanciation { /* private fields */ }Implementations§
Source§impl FunctionInstanciation
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§
Source§impl Debug for FunctionInstanciation
impl Debug for FunctionInstanciation
Source§impl GenericInstanciation for FunctionInstanciation
impl GenericInstanciation for FunctionInstanciation
fn generics(&self) -> RwLockReadGuard<'_, HashMap<String, DescribedType>>
fn set_generic( &mut self, generic_name: String, type: DescribedType, ) -> LogicResult<()>
Auto Trait Implementations§
impl Freeze for FunctionInstanciation
impl !RefUnwindSafe for FunctionInstanciation
impl Send for FunctionInstanciation
impl Sync for FunctionInstanciation
impl Unpin for FunctionInstanciation
impl UnsafeUnpin for FunctionInstanciation
impl !UnwindSafe for FunctionInstanciation
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.