Struct circomspect_program_structure::control_flow_graph::parameters::Parameters

pub struct Parameters { /* private fields */ }

Implementations

impl Parameters

pub fn new( param_names: &[String], file_id: Option<FileID>, file_location: FileLocation ) -> Parameters

pub fn file_id(&self) -> &Option<FileID>

pub fn file_location(&self) -> &FileLocation

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn iter(&self) -> impl Iterator<Item = &VariableName>

pub fn iter_mut(&mut self) -> impl Iterator<Item = &mut VariableName>

pub fn contains(&self, param_name: &VariableName) -> bool

Trait Implementations

impl From<&Definition> for Parameters

fn from(definition: &Definition) -> Parameters

Converts to this type from the input type.

impl From<&FunctionData> for Parameters

fn from(function: &FunctionData) -> Parameters

Converts to this type from the input type.

impl From<&TemplateData> for Parameters

fn from(template: &TemplateData) -> Parameters

Converts to this type from the input type.