Struct sway_core::decl_engine::DeclEngine
source · pub struct DeclEngine { /* private fields */ }
Expand description
Used inside of type inference to store declarations.
Implementations§
source§impl DeclEngine
impl DeclEngine
pub fn get_function(
&self,
index: DeclId,
span: &Span
) -> Result<TyFunctionDeclaration, CompileError>
pub fn get_trait(
&self,
index: DeclId,
span: &Span
) -> Result<TyTraitDeclaration, CompileError>
pub fn get_trait_fn(
&self,
index: DeclId,
span: &Span
) -> Result<TyTraitFn, CompileError>
pub fn get_impl_trait(
&self,
index: DeclId,
span: &Span
) -> Result<TyImplTrait, CompileError>
pub fn get_struct(
&self,
index: DeclId,
span: &Span
) -> Result<TyStructDeclaration, CompileError>
pub fn get_storage(
&self,
index: DeclId,
span: &Span
) -> Result<TyStorageDeclaration, CompileError>
pub fn get_abi(
&self,
index: DeclId,
span: &Span
) -> Result<TyAbiDeclaration, CompileError>
pub fn get_constant(
&self,
index: DeclId,
span: &Span
) -> Result<TyConstantDeclaration, CompileError>
pub fn get_enum(
&self,
index: DeclId,
span: &Span
) -> Result<TyEnumDeclaration, CompileError>
Trait Implementations§
source§impl Debug for DeclEngine
impl Debug for DeclEngine
source§impl Default for DeclEngine
impl Default for DeclEngine
source§fn default() -> DeclEngine
fn default() -> DeclEngine
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl RefUnwindSafe for DeclEngine
impl Send for DeclEngine
impl Sync for DeclEngine
impl Unpin for DeclEngine
impl UnwindSafe for DeclEngine
Blanket Implementations§
source§impl<T> AnyDebug for Twhere
T: Any + Debug,
impl<T> AnyDebug for Twhere
T: Any + Debug,
source§fn as_any_ref(&self) -> &(dyn Any + 'static)
fn as_any_ref(&self) -> &(dyn Any + 'static)
Returns a reference to the underlying type as
Any
.§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
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
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§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.§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.