Enum CheckSection

pub enum CheckSection<'a> {
    Block {
        label: SimpleMatcher<'a>,
        body: Vec<CheckGroup<'a>>,
    },
    Group {
        body: CheckGroup<'a>,
    },
}

Variants

Block

Rules contained between two CHECK-LABEL directives, or between a CHECK-LABEL directive and the end of the input, whichever comes first.

The bounds of a block are known before evaluating the rules it contains, so all searches in a block are automatically bounded to that block.

Fields

label: SimpleMatcher<'a>

The input span which defines the bounds for searches in the block

body: Vec<CheckGroup<'a>>

Group

Rules which are part of a single logical group

Groups are formed in one of the following ways:

• Rules following a CHECK or CHECK-COUNT directive belong to the same logical group, until a CHECK-NOT, CHECK-DAG, or the next CHECK/CHECK-COUNT/CHECK-LABEL

• A set of CHECK-NOT rules is its own special type of group, see the Exclude* variants for details.

• A set of CHECK-DAG rules is its own special type of group, see the Unordered* variants for details.

Fields

body: CheckGroup<'a>

Trait Implementations

impl<'a> Debug for CheckSection<'a>

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

Formats the value using the given formatter.