midenc-hir 0.8.1

High-level Intermediate Representation for Miden Assembly
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

use alloc::{boxed::Box, format, rc::Rc};

use super::AttributeValue;
use crate::{
    Attribute, Context, DialectRegistration, Type, UnsafeIntrusiveEntityRef, interner,
    traits::TraitInfo,
};

pub trait AttributeRegistration: Attribute {
    type Dialect: DialectRegistration;
    type Value: AttributeValue;

    /// The name of the dialect this attribute is declared part of
    fn dialect_name() -> interner::Symbol {
        interner::Symbol::intern(
            <<Self as AttributeRegistration>::Dialect as DialectRegistration>::NAMESPACE,
        )
    }
    /// The name of the attribute
    fn name() -> interner::Symbol;
    /// The fully-qualified name of the attribute (i.e. `<dialect>.<name>`)
    fn full_name() -> interner::Symbol {
        interner::Symbol::intern(format!(
            "{}.{}",
            Self::dialect_name(),
            <Self as AttributeRegistration>::name()
        ))
    }
    /// The set of statically known traits for this attribute
    fn traits() -> Box<[TraitInfo]>;
    /// Create a new instance of this attribute in the given context
    fn create<V>(context: &Rc<Context>, value: V, ty: Type) -> UnsafeIntrusiveEntityRef<Self>
    where
        Self::Value: From<V>;
    /// Create a new default-valued instance of this attribute in the given context
    fn create_default(context: &Rc<Context>) -> UnsafeIntrusiveEntityRef<Self>;
    /// Get a reference to the concrete value of this attribute
    fn underlying_value(attr: &Self) -> &Self::Value;
    /// Get a mutable reference the concrete value of this attribute
    fn underlying_value_mut(attr: &mut Self) -> &mut Self::Value;
}