Struct snarkvm_debug::file::AleoFile
source · pub struct AleoFile<N: Network> { /* private fields */ }Implementations§
source§impl<N: Network> AleoFile<N>
impl<N: Network> AleoFile<N>
sourcepub fn create(
directory: &Path,
program_id: &ProgramID<N>,
is_main: bool
) -> Result<Self>
pub fn create( directory: &Path, program_id: &ProgramID<N>, is_main: bool ) -> Result<Self>
Creates a new Aleo program file with the given directory path, program ID, and is_main indicator.
sourcepub fn open(
directory: &Path,
program_id: &ProgramID<N>,
is_main: bool
) -> Result<Self>
pub fn open( directory: &Path, program_id: &ProgramID<N>, is_main: bool ) -> Result<Self>
Opens the Aleo program file, given the directory path, program ID, and is_main indicator.
sourcepub fn exists_at(&self, file_path: &Path) -> bool
pub fn exists_at(&self, file_path: &Path) -> bool
Returns true if the file exists at the given path.
sourcepub fn main_exists_at(directory: &Path) -> bool
pub fn main_exists_at(directory: &Path) -> bool
Returns true if the main program file exists at the given path.
sourcepub fn main_file_name() -> String
pub fn main_file_name() -> String
Returns the main Aleo program file name.
sourcepub fn program_string(&self) -> &str
pub fn program_string(&self) -> &str
Returns the program string.
Trait Implementations§
Auto Trait Implementations§
impl<N> RefUnwindSafe for AleoFile<N>where
N: RefUnwindSafe,
<N as Environment>::Field: RefUnwindSafe,
<N as Environment>::Projective: RefUnwindSafe,
<N as Environment>::Scalar: RefUnwindSafe,
impl<N> Send for AleoFile<N>
impl<N> Sync for AleoFile<N>
impl<N> Unpin for AleoFile<N>where
N: Unpin,
<N as Environment>::Field: Unpin,
<N as Environment>::Projective: Unpin,
<N as Environment>::Scalar: Unpin,
impl<N> UnwindSafe for AleoFile<N>where
N: UnwindSafe,
<N as Environment>::Field: UnwindSafe,
<N as Environment>::Projective: UnwindSafe,
<N as Environment>::Scalar: UnwindSafe,
Blanket Implementations§
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