pub struct Call<N: Network> { /* private fields */ }Expand description
Calls the operands into the declared type.
i.e. call transfer r0.owner 0u64 r1.amount into r1 r2;
Implementations§
Source§impl<N: Network> Call<N>
impl<N: Network> Call<N>
Sourcepub const fn operator(&self) -> &CallOperator<N>
pub const fn operator(&self) -> &CallOperator<N>
Return the operator.
Sourcepub fn destinations(&self) -> Vec<Register<N>>
pub fn destinations(&self) -> Vec<Register<N>>
Returns the destination registers.
Sourcepub fn is_function_call(&self, stack: &impl StackTrait<N>) -> Result<bool>
pub fn is_function_call(&self, stack: &impl StackTrait<N>) -> Result<bool>
Returns true if the instruction is a function call.
Sourcepub fn evaluate(
&self,
_stack: &impl StackTrait<N>,
_registers: &mut impl RegistersTrait<N>,
) -> Result<()>
pub fn evaluate( &self, _stack: &impl StackTrait<N>, _registers: &mut impl RegistersTrait<N>, ) -> Result<()>
Evaluates the instruction.
Sourcepub fn execute<A: Aleo<Network = N>>(
&self,
_stack: &impl StackTrait<N>,
_registers: &mut impl RegistersCircuit<N, A>,
) -> Result<()>
pub fn execute<A: Aleo<Network = N>>( &self, _stack: &impl StackTrait<N>, _registers: &mut impl RegistersCircuit<N, A>, ) -> Result<()>
Executes the instruction.
Sourcepub fn finalize(
&self,
_stack: &impl StackTrait<N>,
_registers: &mut impl RegistersTrait<N>,
) -> Result<()>
pub fn finalize( &self, _stack: &impl StackTrait<N>, _registers: &mut impl RegistersTrait<N>, ) -> Result<()>
Finalizes the instruction.
Sourcepub fn output_types(
&self,
stack: &impl StackTrait<N>,
input_types: &[RegisterType<N>],
) -> Result<Vec<RegisterType<N>>>
pub fn output_types( &self, stack: &impl StackTrait<N>, input_types: &[RegisterType<N>], ) -> Result<Vec<RegisterType<N>>>
Returns the output type from the given program and input types.
Trait Implementations§
Source§impl<N: Network> FromBytes for Call<N>
impl<N: Network> FromBytes for Call<N>
Source§fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
Returns
Self from a byte array in little-endian order.Source§fn from_bytes_le_unchecked(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
fn from_bytes_le_unchecked(bytes: &[u8]) -> Result<Self, Error>where
Self: Sized,
Same behavior as
Self::from_bytes_le but avoids costly checks.
This shall only be called when deserializing from a trusted source, such as local storage. Read moreSource§fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>
fn read_le_unchecked<R>(reader: R) -> Result<Self, Error>
Same behavior as
Self::read_le but avoids costly checks.
This shall only be called when deserializing from a trusted source, such as local storage. Read moreSource§impl<N: Network> Parser for Call<N>
impl<N: Network> Parser for Call<N>
Source§fn parse(string: &str) -> ParserResult<'_, Self>
fn parse(string: &str) -> ParserResult<'_, Self>
Parses a string into an operation.
impl<N: Eq + Network> Eq for Call<N>
impl<N: Network> StructuralPartialEq for Call<N>
Auto Trait Implementations§
impl<N> Freeze for Call<N>
impl<N> RefUnwindSafe for Call<N>where
<N as Environment>::Field: RefUnwindSafe,
<N as Environment>::Projective: RefUnwindSafe,
<N as Environment>::Scalar: RefUnwindSafe,
N: RefUnwindSafe,
impl<N> Send for Call<N>
impl<N> Sync for Call<N>
impl<N> Unpin for Call<N>where
<N as Environment>::Field: Unpin,
<N as Environment>::Projective: Unpin,
<N as Environment>::Scalar: Unpin,
N: Unpin,
impl<N> UnwindSafe for Call<N>where
<N as Environment>::Field: UnwindSafe,
<N as Environment>::Projective: UnwindSafe,
<N as Environment>::Scalar: UnwindSafe,
N: UnwindSafe,
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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 more