Struct circomspect_program_structure::intermediate_representation::Meta

pub struct Meta {
    pub location: FileLocation,
    pub file_id: Option<FileID>,
    /* private fields */
}

Fields

location: FileLocation

file_id: Option<FileID>

Implementations

impl Meta

pub fn new(location: &FileLocation, file_id: &Option<FileID>) -> Meta

pub fn start(&self) -> usize

pub fn end(&self) -> usize

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

pub fn file_location(&self) -> FileLocation

pub fn degree_knowledge(&self) -> &DegreeKnowledge

pub fn type_knowledge(&self) -> &TypeKnowledge

pub fn value_knowledge(&self) -> &ValueKnowledge

pub fn variable_knowledge(&self) -> &VariableKnowledge

pub fn degree_knowledge_mut(&mut self) -> &mut DegreeKnowledge

pub fn type_knowledge_mut(&mut self) -> &mut TypeKnowledge

pub fn value_knowledge_mut(&mut self) -> &mut ValueKnowledge

pub fn variable_knowledge_mut(&mut self) -> &mut VariableKnowledge

Trait Implementations

impl Clone for Meta

fn clone(&self) -> Meta

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Meta

fn default() -> Meta

Returns the “default value” for a type.

impl Hash for Meta

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

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<Meta> for Meta

fn eq(&self, other: &Meta) -> 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 Meta