Trait snarkvm_synthesizer_program::traits::StackProgram

pub trait StackProgram<N: Network> {
    // Required methods
    fn program(&self) -> &Program<N>;
    fn program_id(&self) -> &ProgramID<N>;
    fn contains_external_record(&self, locator: &Locator<N>) -> bool;
    fn get_external_stack(&self, program_id: &ProgramID<N>) -> Result<&Self>;
    fn get_external_program(
        &self,
        program_id: &ProgramID<N>
    ) -> Result<&Program<N>>;
    fn get_external_record(&self, locator: &Locator<N>) -> Result<RecordType<N>>;
    fn get_function(&self, function_name: &Identifier<N>) -> Result<Function<N>>;
    fn get_number_of_calls(
        &self,
        function_name: &Identifier<N>
    ) -> Result<usize>;
}

Required Methods

fn program(&self) -> &Program<N>

Returns the program.

fn program_id(&self) -> &ProgramID<N>

Returns the program ID.

fn contains_external_record(&self, locator: &Locator<N>) -> bool

Returns true if the stack contains the external record.

fn get_external_stack(&self, program_id: &ProgramID<N>) -> Result<&Self>

Returns the external stack for the given program ID.

fn get_external_program(&self, program_id: &ProgramID<N>) -> Result<&Program<N>>

Returns the external program for the given program ID.

fn get_external_record(&self, locator: &Locator<N>) -> Result<RecordType<N>>

Returns true if the stack contains the external record.

fn get_function(&self, function_name: &Identifier<N>) -> Result<Function<N>>

Returns the function with the given function name.

fn get_number_of_calls(&self, function_name: &Identifier<N>) -> Result<usize>

Returns the expected number of calls for the given function name.

Implementors