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 Arbitrary for FunctionHandle

type Parameters = usize

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = Map<(<ModuleHandleIndex as Arbitrary>::Strategy, <IdentifierIndex as Arbitrary>::Strategy, <SignatureIndex as Arbitrary>::Strategy, <SignatureIndex as Arbitrary>::Strategy, <Vec<AbilitySet, Global> as Arbitrary>::Strategy), fn(_: (ModuleHandleIndex, IdentifierIndex, SignatureIndex, SignatureIndex, Vec<AbilitySet, Global>)) -> FunctionHandle>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

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, Self: Sized,

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: &Rhs) -> bool

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

impl Eq for FunctionHandle

impl StructuralEq for FunctionHandle

impl StructuralPartialEq for FunctionHandle