pub struct Execution(/* private fields */);
Expand description
Execution of an Aleo program.
Implementations§
Methods from Deref<Target = Execution<Testnet3>>§
sourcepub fn size_in_bytes(&self) -> Result<u64, Error>
pub fn size_in_bytes(&self) -> Result<u64, Error>
Returns the size in bytes.
sourcepub fn global_state_root(&self) -> <N as Network>::StateRoot
pub fn global_state_root(&self) -> <N as Network>::StateRoot
Returns the global state root.
sourcepub fn to_execution_id(&self) -> Result<Field<N>, Error>
pub fn to_execution_id(&self) -> Result<Field<N>, Error>
Returns the execution ID.
sourcepub fn contains_transition(
&self,
transition_id: &<N as Network>::TransitionID
) -> bool
pub fn contains_transition( &self, transition_id: &<N as Network>::TransitionID ) -> bool
Returns true
if the execution contains the transition for the given transition ID.
sourcepub fn get_transition(
&self,
transition_id: &<N as Network>::TransitionID
) -> Option<&Transition<N>>
pub fn get_transition( &self, transition_id: &<N as Network>::TransitionID ) -> Option<&Transition<N>>
Returns the Transition
corresponding to the given transition ID. This method is O(1)
.
sourcepub fn get_program_id(
&self,
transition_id: &<N as Network>::TransitionID
) -> Option<&ProgramID<N>>
pub fn get_program_id( &self, transition_id: &<N as Network>::TransitionID ) -> Option<&ProgramID<N>>
Returns the program ID corresponding to the given transition ID. This method is O(1)
.
sourcepub fn get(&self, index: usize) -> Result<&Transition<N>, Error>
pub fn get(&self, index: usize) -> Result<&Transition<N>, Error>
Returns the Transition
at the given index.
sourcepub fn peek(&self) -> Result<&Transition<N>, Error>
pub fn peek(&self) -> Result<&Transition<N>, Error>
Returns the next Transition
in the execution.
sourcepub fn transitions(&self) -> impl ExactSizeIterator + DoubleEndedIterator
pub fn transitions(&self) -> impl ExactSizeIterator + DoubleEndedIterator
Returns an iterator over the underlying transitions.
sourcepub fn commitments(&self) -> impl Iterator<Item = &Field<N>>
pub fn commitments(&self) -> impl Iterator<Item = &Field<N>>
Returns an iterator over the commitments.
Trait Implementations§
source§impl FromWasmAbi for Execution
impl FromWasmAbi for Execution
source§impl IntoWasmAbi for Execution
impl IntoWasmAbi for Execution
source§impl LongRefFromWasmAbi for Execution
impl LongRefFromWasmAbi for Execution
source§impl OptionFromWasmAbi for Execution
impl OptionFromWasmAbi for Execution
source§impl OptionIntoWasmAbi for Execution
impl OptionIntoWasmAbi for Execution
source§impl PartialEq for Execution
impl PartialEq for Execution
source§impl RefFromWasmAbi for Execution
impl RefFromWasmAbi for Execution
source§impl RefMutFromWasmAbi for Execution
impl RefMutFromWasmAbi for Execution
source§impl TryFromJsValue for Execution
impl TryFromJsValue for Execution
source§impl VectorFromWasmAbi for Execution
impl VectorFromWasmAbi for Execution
source§impl VectorIntoWasmAbi for Execution
impl VectorIntoWasmAbi for Execution
impl Eq for Execution
impl StructuralEq for Execution
impl StructuralPartialEq for Execution
Auto Trait Implementations§
impl RefUnwindSafe for Execution
impl Send for Execution
impl Sync for Execution
impl Unpin for Execution
impl UnwindSafe for Execution
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<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
impl<T> ReturnWasmAbi for Twhere T: IntoWasmAbi,
§type Abi = <T as IntoWasmAbi>::Abi
type Abi = <T as IntoWasmAbi>::Abi
Same as
IntoWasmAbi::Abi
source§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as
IntoWasmAbi::into_abi
, except that it may throw and never
return in the case of Err
.