Struct sway_core::TypedFunctionDeclaration

pub struct TypedFunctionDeclaration {
    pub name: Ident,
    pub body: TypedCodeBlock,
    pub parameters: Vec<TypedFunctionParameter>,
    pub span: Span,
    pub return_type: TypeId,
    pub initial_return_type: TypeId,
    pub type_parameters: Vec<TypeParameter>,
    pub return_type_span: Span,
    /* private fields */
}

Fields

name: Ident

body: TypedCodeBlock

parameters: Vec<TypedFunctionParameter>

span: Span

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

Implementations

impl TypedFunctionDeclaration

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

pub fn to_fn_selector_value_untruncated(&self) -> CompileResult<Vec<u8>>

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

Converts a TypedFunctionDeclaration 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>

Trait Implementations

impl Clone for TypedFunctionDeclaration

fn clone(&self) -> TypedFunctionDeclaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypedFunctionDeclaration

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

Formats the value using the given formatter.

impl From<&TypedFunctionDeclaration> for TypedAstNode

fn from(o: &TypedFunctionDeclaration) -> Self

Converts to this type from the input type.

impl PartialEq<TypedFunctionDeclaration> for TypedFunctionDeclaration

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 TypedFunctionDeclaration

fn span(&self) -> Span

impl Eq for TypedFunctionDeclaration

impl StructuralEq for TypedFunctionDeclaration