Struct calyx_frontend::Attributes

pub struct Attributes { /* private fields */ }

Attributes associated with a specific IR structure.

Implementations

impl Attributes

pub fn insert<A>(&mut self, key: A, val: u64)where
    A: Into<Attribute>,

Add a new attribute

pub fn get<A>(&self, key: A) -> Option<u64>where
    A: Into<Attribute>,

Get the value associated with an attribute key

pub fn has<A>(&self, key: A) -> boolwhere
    A: Into<Attribute>,

Check if an attribute key has been set

pub fn is_empty(&self) -> bool

Returns true if there are no attributes

pub fn remove<A>(&mut self, key: A)where
    A: Into<Attribute>,

Remove attribute with the name key

pub fn copy_from<A>(&mut self, other: Self, keys: Vec<A>)where
    A: Into<Attribute> + Clone,

self copys (i.e., assigns the same values) the attributes in other. However, we only copy attributes in keys (i.e.. we don’t copy all attributes in other, only the ones that we specify). If a key is not present in other, then we ignore that key. Example: suppose self: A->10, B->5 other: A->15, C->5 keys: A, D Then self gets: A->15 B->5. (D is ignored since it’s not present in other and C is ignored since it’s not keys.)

pub fn add_span(self, span: GPosIdx) -> Self

Set the span information

pub fn to_string_with<F>(&self, sep: &'static str, fmt: F) -> Stringwhere
    F: Fn(String, u64) -> String,

Trait Implementations

impl Clone for Attributes

fn clone(&self) -> Attributes

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Attributes

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Attributes

fn default() -> Attributes

Returns the “default value” for a type.

impl PartialEq<Attributes> for Attributes

fn eq(&self, other: &Self) -> 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 TryFrom<Vec<(Attribute, u64), Global>> for Attributes

type Error = Error

The type returned in the event of a conversion error.

fn try_from(v: Vec<(Attribute, u64)>) -> CalyxResult<Self>

Performs the conversion.

impl WithPos for Attributes

fn copy_span(&self) -> GPosIdx

Copy the span associated with this node.

impl Eq for Attributes