#[repr(C)]pub struct NativeCall {
pub abi_version: u32,
pub kind: NativeCallKind,
pub flags: u32,
pub requested_outputs: u32,
pub host: *const NativeHostVTable,
pub frame: *mut NativeFrame,
pub arguments: *const NativeValueRef,
pub argument_count: usize,
pub results: *mut NativeValueRef,
pub result_capacity: usize,
}Expand description
One borrowed call transaction. Results are committed only when the returned
NativeExit is Completed; all other exits leave host-visible outputs unset.
Fields§
§abi_version: u32§kind: NativeCallKind§flags: u32§requested_outputs: u32§host: *const NativeHostVTable§frame: *mut NativeFrame§arguments: *const NativeValueRef§argument_count: usize§results: *mut NativeValueRef§result_capacity: usizeImplementations§
Source§impl NativeCall
impl NativeCall
Sourcepub fn validate_exit(&self, exit: &NativeExit) -> Result<(), NativeAbiError>
pub fn validate_exit(&self, exit: &NativeExit) -> Result<(), NativeAbiError>
Validate the transactional result produced for this call.
Native code may write result slots speculatively, but the host commits them only for a completed exit that fits the requested result window.
Source§impl NativeCall
impl NativeCall
pub fn validate(&self) -> Result<(), NativeAbiError>
Trait Implementations§
Source§impl Clone for NativeCall
impl Clone for NativeCall
Source§fn clone(&self) -> NativeCall
fn clone(&self) -> NativeCall
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for NativeCall
Source§impl Debug for NativeCall
impl Debug for NativeCall
Auto Trait Implementations§
impl !Send for NativeCall
impl !Sync for NativeCall
impl Freeze for NativeCall
impl RefUnwindSafe for NativeCall
impl Unpin for NativeCall
impl UnsafeUnpin for NativeCall
impl UnwindSafe for NativeCall
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<R, P> ReadPrimitive<R> for P
impl<R, P> ReadPrimitive<R> for P
Source§fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
Read this value from the supplied reader. Same as
ReadEndian::read_from_little_endian().Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.