Enum LabelOrNode 

pub enum LabelOrNode<S = ()> {
    Label(Box<str>),
    Node(Box<str>),
    Expr(Expression<S>),
}

A branch/call target that may be a label, an unresolved name, or an expression.

S is the span type: (usize, usize) at parse time, () in the stored/runtime form.

Variants

Label(Box<str>)

A label declared elsewhere in the same body: goto <loopstart>.

Control flow within one instruction’s p-code. The matching AstNode::Label carries the same name. Names are scoped per spliced body, so two macro expansions in one instruction cannot collide.

Node(Box<str>)

A name the compiler could not resolve to a value. One reaching a consumer means the destination could not be worked out.

Expr(Expression<S>)

A computed destination: an address, or a value to branch through.

Implementations

impl<S> LabelOrNode<S>

pub fn strip_span(self) -> LabelOrNode<()>

Discards source spans.

Trait Implementations

impl<S: Clone> Clone for LabelOrNode<S>

fn clone(&self) -> LabelOrNode<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug> Debug for LabelOrNode<S>

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

Formats the value using the given formatter.

impl<'de, S> Deserialize<'de> for LabelOrNode<S>

where S: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S: Eq> Eq for LabelOrNode<S>

impl<S: PartialEq> PartialEq for LabelOrNode<S>

fn eq(&self, other: &LabelOrNode<S>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<S> Serialize for LabelOrNode<S>

where S: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<S: PartialEq> StructuralPartialEq for LabelOrNode<S>