Enum CheckGroup

pub enum CheckGroup<'a> {
    Never(MatchAny<'a>),
    Unordered(Box<CheckDag<'a>>),
    Bounded {
        left: Box<CheckDag<'a>>,
        right: Box<CheckGroup<'a>>,
    },
    Ordered(Vec<Box<dyn DynRule + 'a>>),
    Repeated {
        rule: Box<dyn DynRule + 'a>,
        count: usize,
    },
    Tree(Box<CheckTree<'a>>),
}

Variants

Never(MatchAny<'a>)

This group type occurs when there are no patterns except for a CHECK-NOT in a logical group. This is a special case, but is preferable to representing this using CheckTree

Unordered(Box<CheckDag<'a>>)

A group of rules that can be matched in any order, but must not overlap each other, and must not extend past any matches in subsequent groups. This latter property is verified lazily, after the true bounds of the group are known.

Bounded

This is a special group type, used to anchor the search for a CHECK-DAG rule to a following CHECK. This is purely used to improve the accuracy of diagnostics related to match errors involving this specific rule transition.

Fields

left: Box<CheckDag<'a>>

The CHECK-DAG rule to match

right: Box<CheckGroup<'a>>

The CHECK group to set the end of the searchable region for the CHECK-DAG rule

Ordered(Vec<Box<dyn DynRule + 'a>>)

A group of rules that must be matched consecutively, and must not overlap.

Repeated

An implicit group formed by a rule that is repeated N times

Fields

rule: Box<dyn DynRule + 'a>

count: usize

Tree(Box<CheckTree<'a>>)

A tree of patterns to match depth-first

This group type occurs in the presence of CHECK-NOT directives

Implementations

impl<'a> CheckGroup<'a>

pub fn first_pattern_span(&self) -> SourceSpan

pub fn span(&self) -> SourceSpan

Trait Implementations

impl<'a> Debug for CheckGroup<'a>

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

Formats the value using the given formatter.