Struct circomspect_program_structure::program_library::program_archive::ProgramArchive

pub struct ProgramArchive {
    pub id_max: usize,
    pub file_id_main: FileID,
    pub file_library: FileLibrary,
    pub functions: FunctionInfo,
    pub templates: TemplateInfo,
    pub function_keys: HashSet<String>,
    pub template_keys: HashSet<String>,
    pub public_inputs: Vec<String>,
    pub initial_template_call: Expression,
    pub custom_gates: bool,
}

Fields

id_max: usize

file_id_main: FileID

file_library: FileLibrary

functions: FunctionInfo

templates: TemplateInfo

function_keys: HashSet<String>

template_keys: HashSet<String>

public_inputs: Vec<String>

initial_template_call: Expression

custom_gates: bool

Implementations

impl ProgramArchive

pub fn new(
    file_library: FileLibrary,
    file_id_main: FileID,
    main_component: &MainComponent,
    program_contents: &HashMap<FileID, Vec<Definition>>,
    custom_gates: bool
) -> Result<ProgramArchive, (FileLibrary, Vec<Report>)>

pub fn get_file_id_main(&self) -> &FileID

pub fn contains_template(&self, template_name: &str) -> bool

pub fn get_template_data(&self, template_name: &str) -> &TemplateData

pub fn get_mut_template_data(&mut self, template_name: &str) -> &mut TemplateData

pub fn get_template_names(&self) -> &HashSet<String>

pub fn get_templates(&self) -> &TemplateInfo

pub fn get_mut_templates(&mut self) -> &mut TemplateInfo

pub fn remove_template(&mut self, id: &str)

pub fn contains_function(&self, function_name: &str) -> bool

pub fn get_function_data(&self, function_name: &str) -> &FunctionData

pub fn get_mut_function_data(&mut self, function_name: &str) -> &mut FunctionData

pub fn get_function_names(&self) -> &HashSet<String>

pub fn get_functions(&self) -> &FunctionInfo

pub fn get_mut_functions(&mut self) -> &mut FunctionInfo

pub fn remove_function(&mut self, id: &str)

pub fn get_public_inputs_main_component(&self) -> &Vec<String>

pub fn get_main_expression(&self) -> &Expression

pub fn get_file_library(&self) -> &FileLibrary

Trait Implementations

impl Clone for ProgramArchive

fn clone(&self) -> ProgramArchive

Returns a copy of the value.

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

Performs copy-assignment from source.