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.
Source§impl<N: Network> Call<N>
impl<N: Network> Call<N>
Sourcepub fn is_function_call(&self, stack: &impl StackProgram<N>) -> Result<bool>
pub fn is_function_call(&self, stack: &impl StackProgram<N>) -> Result<bool>
Returns true
if the instruction is a function call.
Sourcepub fn evaluate(
&self,
_stack: &impl StackProgram<N>,
_registers: &mut impl RegistersLoad<N>,
) -> Result<()>
pub fn evaluate( &self, _stack: &impl StackProgram<N>, _registers: &mut impl RegistersLoad<N>, ) -> Result<()>
Evaluates the instruction.
Sourcepub fn execute<A: Aleo<Network = N>>(
&self,
_stack: &impl StackProgram<N>,
_registers: &mut impl RegistersLoadCircuit<N, A>,
) -> Result<()>
pub fn execute<A: Aleo<Network = N>>( &self, _stack: &impl StackProgram<N>, _registers: &mut impl RegistersLoadCircuit<N, A>, ) -> Result<()>
Executes the instruction.
Sourcepub fn finalize(
&self,
_stack: &(impl StackMatches<N> + StackProgram<N>),
_registers: &mut impl RegistersLoad<N>,
) -> Result<()>
pub fn finalize( &self, _stack: &(impl StackMatches<N> + StackProgram<N>), _registers: &mut impl RegistersLoad<N>, ) -> Result<()>
Finalizes the instruction.
Sourcepub fn output_types(
&self,
stack: &impl StackProgram<N>,
input_types: &[RegisterType<N>],
) -> Result<Vec<RegisterType<N>>>
pub fn output_types( &self, stack: &impl StackProgram<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> 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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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