Struct solana_libra_vm::file_format::FunctionHandle

pub struct FunctionHandle {
    pub module: ModuleHandleIndex,
    pub name: StringPoolIndex,
    pub signature: FunctionSignatureIndex,
}

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: StringPoolIndex

The name of the function.

signature: FunctionSignatureIndex

The signature of the function.

Trait Implementations

impl<'_> BoundsCheck for &'_ FunctionHandle

fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStaticViolation>

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

type Parameters = ()

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, <StringPoolIndex as Arbitrary>::Strategy, <FunctionSignatureIndex as Arbitrary>::Strategy), fn(_: (ModuleHandleIndex, StringPoolIndex, FunctionSignatureIndex)) -> Self>

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).