pub struct New {
pub element_type: DataType,
}
Fields§
§element_type: DataType
Implementations§
Trait Implementations§
Source§impl DeprecatedSnippet for New
impl DeprecatedSnippet for New
Source§fn entrypoint_name(&self) -> String
fn entrypoint_name(&self) -> String
The name of a Snippet Read more
Source§fn input_field_names(&self) -> Vec<String>
fn input_field_names(&self) -> Vec<String>
The input stack
fn input_types(&self) -> Vec<DataType>
Source§fn output_field_names(&self) -> Vec<String>
fn output_field_names(&self) -> Vec<String>
The output stack
fn output_types(&self) -> Vec<DataType>
Source§fn stack_diff(&self) -> isize
fn stack_diff(&self) -> isize
The stack difference
Source§fn function_code(&self, library: &mut Library) -> String
fn function_code(&self, library: &mut Library) -> String
The function
Source§fn crash_conditions(&self) -> Vec<String>
fn crash_conditions(&self) -> Vec<String>
Ways in which this snippet can crash at runtime
Source§fn gen_input_states(&self) -> Vec<InitVmState>
fn gen_input_states(&self) -> Vec<InitVmState>
Examples of valid initial states for running this snippet
fn common_case_input_state(&self) -> InitVmState
fn worst_case_input_state(&self) -> InitVmState
fn rust_shadowing( &self, stack: &mut Vec<BFieldElement>, _std_in: Vec<BFieldElement>, _secret_in: Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, )
fn function_code_as_instructions( &self, library: &mut Library, ) -> Vec<LabelledInstruction>
fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>
Source§fn link_and_run_tasm_for_test(
&self,
stack: &mut Vec<BFieldElement>,
std_in: Vec<BFieldElement>,
nondeterminism: NonDeterminism,
) -> Result<VMState>
fn link_and_run_tasm_for_test( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<VMState>
Return Ok(vm_output_state) if execution succeeds, Err(error_message) if VM execution fails,
panics if anything else goes wrong.
fn link_and_run_tasm_for_bench( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<BenchmarkResult>
fn link_and_run_tasm_from_state_for_test( &self, execution_state: &mut InitVmState, ) -> VMState
fn link_and_run_tasm_from_state_for_bench( &self, execution_state: &mut InitVmState, ) -> Result<BenchmarkResult>
impl Eq for New
impl StructuralPartialEq for New
Auto Trait Implementations§
impl Freeze for New
impl RefUnwindSafe for New
impl Send for New
impl Sync for New
impl Unpin for New
impl UnwindSafe for New
Blanket Implementations§
Source§impl<S> BasicSnippet for Swhere
S: DeprecatedSnippet,
impl<S> BasicSnippet for Swhere
S: DeprecatedSnippet,
fn inputs(&self) -> Vec<(DataType, String)>
fn outputs(&self) -> Vec<(DataType, String)>
fn entrypoint(&self) -> String
fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>
Source§fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
Intial stack on program start, when the snippet runs in isolation.
fn stack_diff(&self) -> isize
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> 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