Struct circomspect_program_structure::intermediate_representation::declarations::Declaration

pub struct Declaration { /* private fields */ }

To avoid having to add a new declaration for each new version of a variable we track all declarations as part of the CFG header.

Implementations

impl Declaration

pub fn new(
    name: &VariableName,
    var_type: &VariableType,
    dimensions: &[Expression],
    file_id: &Option<FileID>,
    file_location: &FileLocation
) -> Declaration

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

pub fn file_location(&self) -> FileLocation

pub fn variable_name(&self) -> &VariableName

pub fn variable_type(&self) -> &VariableType

pub fn dimensions(&self) -> &Vec<Expression>

Trait Implementations

impl Clone for Declaration

fn clone(&self) -> Declaration

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for Declaration

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Declaration> for Declaration

fn eq(&self, other: &Declaration) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Declaration

impl StructuralEq for Declaration

impl StructuralPartialEq for Declaration