Struct snarkvm_debug::file::AVMFile

pub struct AVMFile<N: Network> { /* private fields */ }

Implementations

impl<N: Network> AVMFile<N>

pub fn create( directory: &Path, program: Program<N>, is_main: bool ) -> Result<Self>

Creates a new AVM program file, given the directory path, program ID, and is_main indicator.

pub fn open( directory: &Path, program_id: &ProgramID<N>, is_main: bool ) -> Result<Self>

Opens the AVM program file, given the directory path, program ID, and is_main indicator.

pub fn exists_at(&self, file_path: &Path) -> bool

Returns true if the file exists at the given path.

pub fn main_exists_at(directory: &Path) -> bool

Returns true if the main program file exists at the given directory path.

pub fn main_file_name() -> String

Returns the main AVM program file name.

pub fn file_name(&self) -> &str

Returns the file name.

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

Returns the program.

pub fn remove(&self, path: &Path) -> Result<()>

Removes the file at the given path, if it exists.

impl<N: Network> AVMFile<N>

pub fn write_to(&self, path: &Path) -> Result<()>

Writes the AVM program to the file.