[−][src]Struct solana_libra_vm::file_format::FunctionDefinition
A FunctionDefinition
is the implementation of a function. It defines
the prototype of the function and the function body.
Fields
function: FunctionHandleIndex
The prototype of the function (module, name, signature).
flags: u8
Flags for this function (private, public, native, etc.)
acquires_global_resources: Vec<StructDefinitionIndex>
List of nominal resources (declared in this module) that the procedure might access Either through: BorrowGlobal, MoveFrom, or transitively through another procedure This list of acquires grants the borrow checker the ability to statically verify the safety of references into global storage
Not in the signature as it is not needed outside of the declaring module
Note, there is no LocalsSignatureIndex with each struct definition index, as global resources cannot currently take type arguments
code: CodeUnit
Code for this function.
Methods
impl FunctionDefinition
[src]
pub fn is_public(&self) -> bool
[src]
Returns whether the FunctionDefinition is public.
pub fn is_native(&self) -> bool
[src]
Returns whether the FunctionDefinition is native.
Trait Implementations
impl<'_> BoundsCheck<&'_ CompiledModuleMut> for FunctionDefinition
[src]
fn check_bounds(&self, module: &CompiledModuleMut) -> Vec<VMStatus>
[src]
impl Clone for FunctionDefinition
[src]
fn clone(&self) -> FunctionDefinition
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for FunctionDefinition
[src]
impl Default for FunctionDefinition
[src]
fn default() -> FunctionDefinition
[src]
impl Eq for FunctionDefinition
[src]
impl PartialEq<FunctionDefinition> for FunctionDefinition
[src]
fn eq(&self, other: &FunctionDefinition) -> bool
[src]
fn ne(&self, other: &FunctionDefinition) -> bool
[src]
impl StructuralEq for FunctionDefinition
[src]
impl StructuralPartialEq for FunctionDefinition
[src]
Auto Trait Implementations
impl RefUnwindSafe for FunctionDefinition
impl Send for FunctionDefinition
impl Sync for FunctionDefinition
impl Unpin for FunctionDefinition
impl UnwindSafe for FunctionDefinition
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Clear for T where
T: InitializableFromZeroed + ?Sized,
T: InitializableFromZeroed + ?Sized,
fn clear(&mut self)
impl<T> From<T> for T
[src]
impl<T> InitializableFromZeroed for T where
T: Default,
T: Default,
unsafe fn initialize(place: *mut T)
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> SendSyncUnwindSafe for T where
T: Send + Sync + UnwindSafe + ?Sized,
T: Send + Sync + UnwindSafe + ?Sized,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,