Struct snarkvm_synthesizer_program::FunctionCore

pub struct FunctionCore<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> { /* private fields */ }

Implementations

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> FunctionCore<N, Instruction, Command>

pub fn new(name: Identifier<N>) -> Self

Initializes a new function with the given name.

pub const fn name(&self) -> &Identifier<N>

Returns the name of the function.

pub const fn inputs(&self) -> &IndexSet<Input<N>>

Returns the function inputs.

pub fn input_types(&self) -> Vec<ValueType<N>>

Returns the function input types.

pub fn instructions(&self) -> &[Instruction]

Returns the function instructions.

pub const fn outputs(&self) -> &IndexSet<Output<N>>

Returns the function outputs.

pub fn output_types(&self) -> Vec<ValueType<N>>

Returns the function output types.

pub const fn finalize_logic(&self) -> Option<&FinalizeCore<N, Command>>

Returns the function finalize logic.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> FunctionCore<N, Instruction, Command>

pub fn add_instruction(&mut self, instruction: Instruction) -> Result<()>

Adds the given instruction to the function.

Errors

This method will halt if there are output statements already. This method will halt if the maximum number of instructions has been reached. This method will halt if a finalize logic has been added.

Trait Implementations

impl<N: Clone + Network, Instruction: Clone + InstructionTrait<N>, Command: Clone + CommandTrait<N>> Clone for FunctionCore<N, Instruction, Command>

fn clone(&self) -> FunctionCore<N, Instruction, Command>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> Debug for FunctionCore<N, Instruction, Command>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Prints the function as a string.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> Display for FunctionCore<N, Instruction, Command>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Prints the function as a string.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> FromBytes for FunctionCore<N, Instruction, Command>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the function from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>

where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> FromStr for FunctionCore<N, Instruction, Command>

fn from_str(string: &str) -> Result<Self>

Returns a function from a string literal.

type Err = Error

The associated error which can be returned from parsing.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> Parser for FunctionCore<N, Instruction, Command>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a string into a function.

impl<N: PartialEq + Network, Instruction: PartialEq + InstructionTrait<N>, Command: PartialEq + CommandTrait<N>> PartialEq for FunctionCore<N, Instruction, Command>

fn eq(&self, other: &FunctionCore<N, Instruction, Command>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> ToBytes for FunctionCore<N, Instruction, Command>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the function to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>

where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> TypeName for FunctionCore<N, Instruction, Command>

fn type_name() -> &'static str

Returns the type name as a string.

impl<N: Eq + Network, Instruction: Eq + InstructionTrait<N>, Command: Eq + CommandTrait<N>> Eq for FunctionCore<N, Instruction, Command>

impl<N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>> StructuralPartialEq for FunctionCore<N, Instruction, Command>