Struct sway_core::language::ty::TyFunctionDeclaration

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

Fields

name: Ident

body: TyCodeBlock

parameters: Vec<TyFunctionParameter>

span: Span

attributes: AttributesMap

return_type: TypeId

initial_return_type: TypeId

type_parameters: Vec<TypeParameter>

return_type_span: Span

Used for error messages – the span pointing to the return type annotation of the function

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) -> CompileResult<Vec<u8>>

pub fn to_fn_selector_value(&self) -> 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) -> 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
) -> 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 TyAstNode

fn from(o: &TyFunctionDeclaration) -> Self

Converts to this type from the input type.

impl PartialEq<TyFunctionDeclaration> for TyFunctionDeclaration

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Spanned for TyFunctionDeclaration

fn span(&self) -> Span

impl Eq for TyFunctionDeclaration

impl StructuralEq for TyFunctionDeclaration