Enum Frame 

enum Frame<'a> {
    Repetition(&'a Repetition),
    Capture(&'a Capture),
    Concat {
        head: &'a Hir,
        tail: &'a [Hir],
    },
    Alternation {
        head: &'a Hir,
        tail: &'a [Hir],
    },
}

Represents a single stack frame while performing structural induction over an Hir.

Variants

Repetition(&'a Repetition)

A stack frame allocated just before descending into a repetition operator’s child node.

Capture(&'a Capture)

A stack frame allocated just before descending into a capture’s child node.

Concat

The stack frame used while visiting every child node of a concatenation of expressions.

Fields

head: &'a Hir

The child node we are currently visiting.

tail: &'a [Hir]

The remaining child nodes to visit (which may be empty).

Alternation

The stack frame used while visiting every child node of an alternation of expressions.

Fields

head: &'a Hir

The child node we are currently visiting.

tail: &'a [Hir]

The remaining child nodes to visit (which may be empty).

Implementations

impl<'a> Frame<'a>

fn child(&self) -> &'a Hir

Perform the next inductive step on this frame and return the next child HIR node to visit.