Struct sway_core::language::ty::TyFunctionDeclaration

pub struct TyFunctionDeclaration {
    pub name: Ident,
    pub body: TyCodeBlock,
    pub parameters: Vec<TyFunctionParameter>,
    pub implementing_type: Option<TyDeclaration>,
    pub span: Span,
    pub attributes: AttributesMap,
    pub type_parameters: Vec<TypeParameter>,
    pub return_type: TypeArgument,
    pub visibility: Visibility,
    pub is_contract_call: bool,
    pub purity: Purity,
}

Fields

name: Ident

body: TyCodeBlock

parameters: Vec<TyFunctionParameter>

implementing_type: Option<TyDeclaration>

span: Span

attributes: AttributesMap

type_parameters: Vec<TypeParameter>

return_type: TypeArgument

visibility: Visibility

is_contract_call: bool

whether this function exists in another contract and requires a call to it or not

purity: Purity

Implementations

impl TyFunctionDeclaration

pub fn to_fn_selector_value_untruncated( &self, type_engine: &TypeEngine ) -> CompileResult<Vec<u8>>

pub fn to_fn_selector_value( &self, type_engine: &TypeEngine ) -> CompileResult<[u8; 4]>

Converts a TyFunctionDeclaration into a value that is to be used in contract function selectors. Hashes the name and parameters using SHA256, and then truncates to four bytes.

pub fn to_selector_name(&self, type_engine: &TypeEngine) -> CompileResult<String>

pub fn is_main_entry(&self) -> bool

Whether or not this function is the default entry point.

pub fn is_test(&self) -> bool

Whether or not this function is a unit test, i.e. decorated with #[test].

pub fn inline(&self) -> Option<Inline>

pub fn is_entry(&self) -> bool

Whether or not this function describes a program entry point.

impl TyFunctionDeclaration

pub fn type_check( ctx: TypeCheckContext<'_>, fn_decl: FunctionDeclaration, is_method: bool, is_in_impl_self: bool ) -> CompileResult<Self>

Trait Implementations

impl Clone for TyFunctionDeclaration

fn clone(&self) -> TyFunctionDeclaration

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyFunctionDeclaration

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

Formats the value using the given formatter.

impl From<TyFunctionDeclaration> for (Ident, DeclWrapper, Span)

fn from(value: TyFunctionDeclaration) -> Self

Converts to this type from the input type.

impl Spanned for TyFunctionDeclaration

fn span(&self) -> Span