Struct MdTableAttr 

pub struct MdTableAttr(/* private fields */);

The module level table of metadata node definitions. A node is referred to, from anywhere in the module, by its index in this table.

Printed as [#0 = !{...}, #1 = distinct !{...}].

Implementations

impl MdTableAttr

pub fn new() -> Self

An empty table.

pub fn push(&mut self, node: MdNodeAttr) -> MdNodeId

Add node to the table and get the MdNodeId it can be referred to by.

pub fn push_uniqued(&mut self, node: MdNodeAttr) -> MdNodeId

Add node to the table, unless it is a non-distinct node that is structurally equal to one already in the table, and get the MdNodeId to refer to it by.

pub fn reserve(&mut self) -> MdNodeId

Reserve an id for a node whose operands aren’t known yet, so that the node (or a node it refers to) can refer back to it. Must be followed by Self::set for the same id.

pub fn set(&mut self, id: MdNodeId, node: MdNodeAttr)

Set the node at id, which must already be in the table.

pub fn get(&self, id: MdNodeId) -> Option<&MdNodeAttr>

The node at id, if there is one.

pub fn len(&self) -> usize

Number of nodes in this table.

pub fn is_empty(&self) -> bool

Is this table empty?

pub fn iter(&self) -> impl Iterator<Item = (MdNodeId, &MdNodeAttr)>

Iterate over (id, node) pairs.

Trait Implementations

impl Attribute for MdTableAttr

fn hash_attr(&self) -> TypeValueHash

Compute and get the hash for this instance of Self. Hash collisions can be a possibility.

fn eq_attr(&self, other: &dyn Attribute) -> bool

Is self equal to an other Attribute?

fn get_attr_id(&self) -> AttrId

Get an [Attribute]’s static name. This is not per instantnce. It is mostly useful for printing and parsing the attribute.

fn get_attr_id_static() -> AttrId

Same as get_attr_id, but without the self reference.

fn register<A>(ctx: &mut Context)

where A: Attribute, Self: Sized + Parsable<Arg = (), Parsed = A>,

Register this attribute’s [AttrId] in the dialect it belongs to.

impl Clone for MdTableAttr

fn clone(&self) -> MdTableAttr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MdTableAttr

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

Formats the value using the given formatter.

impl Default for MdTableAttr

fn default() -> MdTableAttr

Returns the “default value” for a type.

impl Eq for MdTableAttr

impl Hash for MdTableAttr

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl OutlinedAttr for MdTableAttr

impl Parsable for MdTableAttr

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = MdTableAttr

The type of the parsed entity.

fn parse<'a>( state_stream: &mut StateStream<'a>, _arg: Self::Arg, ) -> ParseResult<'a, Self::Parsed>

Define a parser using existing combinators and call into on [Parser::parse_stream] to get the final [ParseResult]. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<Stream<Stream<Stream<Stream<IteratorStream<CharIterator<'a>>, SourcePosition>>>, State<'a>>, PartialState = (), Output = Self::Parsed> + 'a>

where Self::Parsed: 'a,

Get a parser combinator that can work on [StateStream] as its input.

impl PartialEq for MdTableAttr

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Printable for MdTableAttr

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

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given [Context] and default [State].

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given [Context] and [State].

impl StructuralPartialEq for MdTableAttr

impl Verify for MdTableAttr

fn verify(&self, _ctx: &Context) -> Result<()>