Struct solana_libra_bytecode_verifier::verifier::VerifiedProgram

pub struct VerifiedProgram<'a> { /* fields omitted */ }

A program that has been verified for internal consistency.

This includes cross-module checking for the base dependencies.

Methods

impl<'a> VerifiedProgram<'a>

pub fn new(
    program: CompiledProgram,
    deps: impl IntoIterator<Item = &'a VerifiedModule>
) -> Result<Self, Vec<VMStatus>>

Creates a new VerifiedProgram after verifying the provided CompiledProgram against the provided base dependencies.

On error, returns a list of verification statuses.

pub fn script(&self) -> &VerifiedScript

Returns a reference to the script.

pub fn modules(&self) -> &[VerifiedModule]

Returns a reference to the modules in this program.

pub fn deps(&self) -> &[&'a VerifiedModule]

Returns the dependencies this program was verified against.

pub fn into_inner(self) -> CompiledProgram

Converts this VerifiedProgram into a CompiledProgram instance.

Converting back would require re-verifying this program.

Trait Implementations

impl<'a> Clone for VerifiedProgram<'a>

fn clone(&self) -> VerifiedProgram<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for VerifiedProgram<'a>

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

Formats the value using the given formatter.

impl<'a> Display for VerifiedProgram<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for VerifiedProgram<'a>

impl<'a> PartialEq<VerifiedProgram<'a>> for VerifiedProgram<'a>

fn eq(&self, other: &VerifiedProgram<'a>) -> bool

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

fn ne(&self, other: &VerifiedProgram<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for VerifiedProgram<'a>

impl<'a> StructuralPartialEq for VerifiedProgram<'a>