Struct circomspect_program_structure::program_library::file_definition::FileLibrary

pub struct FileLibrary { /* private fields */ }

Implementations

impl FileLibrary

pub fn new() -> FileLibrary

pub fn add_file( &mut self, file_name: FilePath, file_source: FileSource, is_user_input: bool ) -> FileID

pub fn get_line(&self, start: usize, file_id: FileID) -> Option<usize>

pub fn to_storage(&self) -> &SimpleFiles<FilePath, FileSource>

pub fn user_inputs(&self) -> &HashSet<FileID>

pub fn is_user_input(&self, file_id: FileID) -> bool

Trait Implementations

impl Clone for FileLibrary

fn clone(&self) -> FileLibrary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for FileLibrary

fn default() -> Self

Returns the “default value” for a type.