Struct circomspect_program_structure::utils::environment::RawEnvironment

pub struct RawEnvironment<T, CC, SC, VC> { /* private fields */ }

Implementations

impl<T, CC, SC, VC> RawEnvironment<T, CC, SC, VC>where
    T: VarInfo + SignalInfo + ComponentInfo,

pub fn has_symbol(&self, symbol: &str) -> bool

impl<T, CC, SC, VC> RawEnvironment<T, CC, SC, VC>

pub fn merge(
    left: RawEnvironment<T, CC, SC, VC>,
    right: RawEnvironment<T, CC, SC, VC>,
    using: fn(_: VC, _: VC) -> VC
) -> RawEnvironment<T, CC, SC, VC>

impl<T, CC, SC, VC> RawEnvironment<T, CC, SC, VC>where
    T: VarInfo,

pub fn new() -> RawEnvironment<T, CC, SC, VC>

pub fn add_variable_block(&mut self)

pub fn remove_variable_block(&mut self)

pub fn add_variable(&mut self, variable_name: &str, content: VC)

pub fn has_variable(&self, symbol: &str) -> bool

pub fn get_variable(&self, symbol: &str) -> Option<&VC>

pub fn get_mut_variable(&mut self, symbol: &str) -> Option<&mut VC>

pub fn get_variable_res(
    &self,
    symbol: &str
) -> Result<&VC, CircomEnvironmentError>

pub fn remove_variable(&mut self, symbol: &str)

pub fn get_variable_or_break(&self, symbol: &str, file: &str, line: u32) -> &VC

pub fn get_mut_variable_mut(
    &mut self,
    symbol: &str
) -> Result<&mut VC, CircomEnvironmentError>

pub fn get_mut_variable_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut VC

pub fn variable_iter(&self) -> impl Iterator<Item = (&String, &VC)>

impl<T, CC, SC, VC> RawEnvironment<T, CC, SC, VC>where
    T: ComponentInfo,

pub fn add_component(&mut self, component_name: &str, content: CC)

pub fn remove_component(&mut self, component_name: &str)

pub fn has_component(&self, symbol: &str) -> bool

pub fn get_component(&self, symbol: &str) -> Option<&CC>

pub fn get_mut_component(&mut self, symbol: &str) -> Option<&mut CC>

pub fn get_component_res(
    &self,
    symbol: &str
) -> Result<&CC, CircomEnvironmentError>

pub fn get_component_or_break(&self, symbol: &str, file: &str, line: u32) -> &CC

pub fn get_mut_component_res(
    &mut self,
    symbol: &str
) -> Result<&mut CC, CircomEnvironmentError>

pub fn get_mut_component_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut CC

impl<T, CC, SC, VC> RawEnvironment<T, CC, SC, VC>where
    T: SignalInfo,

pub fn add_input(&mut self, input_name: &str, content: SC)

pub fn remove_input(&mut self, input_name: &str)

pub fn add_output(&mut self, output_name: &str, content: SC)

pub fn remove_output(&mut self, output_name: &str)

pub fn add_intermediate(&mut self, intermediate_name: &str, content: SC)

pub fn remove_intermediate(&mut self, intermediate_name: &str)

pub fn has_input(&self, symbol: &str) -> bool

pub fn has_output(&self, symbol: &str) -> bool

pub fn has_intermediate(&self, symbol: &str) -> bool

pub fn has_signal(&self, symbol: &str) -> bool

pub fn get_input(&self, symbol: &str) -> Option<&SC>

pub fn get_mut_input(&mut self, symbol: &str) -> Option<&mut SC>

pub fn get_input_res(&self, symbol: &str) -> Result<&SC, CircomEnvironmentError>

pub fn get_input_or_break(&self, symbol: &str, file: &str, line: u32) -> &SC

pub fn get_mut_input_res(
    &mut self,
    symbol: &str
) -> Result<&mut SC, CircomEnvironmentError>

pub fn get_mut_input_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut SC

pub fn get_output(&self, symbol: &str) -> Option<&SC>

pub fn get_mut_output(&mut self, symbol: &str) -> Option<&mut SC>

pub fn get_output_res(&self, symbol: &str) -> Result<&SC, CircomEnvironmentError>

pub fn get_output_or_break(&self, symbol: &str, file: &str, line: u32) -> &SC

pub fn get_mut_output_res(
    &mut self,
    symbol: &str
) -> Result<&mut SC, CircomEnvironmentError>

pub fn get_mut_output_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut SC

pub fn get_intermediate(&self, symbol: &str) -> Option<&SC>

pub fn get_mut_intermediate(&mut self, symbol: &str) -> Option<&mut SC>

pub fn get_intermediate_res(
    &self,
    symbol: &str
) -> Result<&SC, CircomEnvironmentError>

pub fn get_intermediate_or_break(&self, symbol: &str, file: &str, line: u32) -> &SC

pub fn get_mut_intermediate_res(
    &mut self,
    symbol: &str
) -> Result<&mut SC, CircomEnvironmentError>

pub fn get_mut_intermediate_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut SC

pub fn get_signal(&self, symbol: &str) -> Option<&SC>

pub fn get_mut_signal(&mut self, symbol: &str) -> Option<&mut SC>

pub fn get_signal_res(&self, symbol: &str) -> Result<&SC, CircomEnvironmentError>

pub fn get_signal_or_break(&self, symbol: &str, file: &str, line: u32) -> &SC

pub fn get_mut_signal_res(
    &mut self,
    symbol: &str
) -> Result<&mut SC, CircomEnvironmentError>

pub fn get_mut_signal_or_break(
    &mut self,
    symbol: &str,
    file: &str,
    line: u32
) -> &mut SC

Trait Implementations

impl<T: Clone, CC: Clone, SC: Clone, VC: Clone> Clone for RawEnvironment<T, CC, SC, VC>

fn clone(&self) -> RawEnvironment<T, CC, SC, VC>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T, CC, SC, VC> Default for RawEnvironment<T, CC, SC, VC>

fn default() -> Self

Returns the “default value” for a type.