Struct move_binary_format::file_format::FunctionHandle

pub struct FunctionHandle {
    pub module: ModuleHandleIndex,
    pub name: IdentifierIndex,
    pub parameters: SignatureIndex,
    pub return_: SignatureIndex,
    pub type_parameters: Vec<AbilitySet>,
}

A FunctionHandle is a reference to a function. It is composed by a ModuleHandle and the name and signature of that function within the module.

A function within a module is uniquely identified by its name. No overloading is allowed and the verifier enforces that property. The signature of the function is used at link time to ensure the function reference is valid and it is also used by the verifier to type check function calls.

Fields

module: ModuleHandleIndex

The module that defines the function.

name: IdentifierIndex

The name of the function.

parameters: SignatureIndex

The list of arguments to the function.

return_: SignatureIndex

The list of return types.

type_parameters: Vec<AbilitySet>

The type formals (identified by their index into the vec) and their constraints

Trait Implementations

impl Clone for FunctionHandle

fn clone(&self) -> FunctionHandle

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionHandle

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

Formats the value using the given formatter.

impl Hash for FunctionHandle

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<FunctionHandle> for FunctionHandle

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

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

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

This method tests for !=.

impl Eq for FunctionHandle

impl StructuralEq for FunctionHandle

impl StructuralPartialEq for FunctionHandle