Enum Check

pub enum Check {
    None,
    Plain,
    Next,
    Same,
    Not,
    Dag,
    Label,
    Empty,
    Count(usize),
    Comment,
}

This enum represents the kind of directive that was parsed

Variants

None

Not used after parsing, represents a line with no directives

Plain

The base CHECK directive, i.e. match the pattern is somewhere in the file

Next

The CHECK-NEXT directive, i.e. the pattern must match on the next line from the previous pattern.

Same

The CHECK-SAME directive, i.e. the pattern must match on the same line as the previous pattern.

Not

The CHECK-NOT directive, i.e. the pattern must not match between this directive and the next positive match directive, or the end of file. This is the only negative match assertion supported.

Dag

The CHECK-DAG directive, i.e. like CHECK, but may match in any order relative to other CHECK-DAG directives which are all part of a single consecutive grouping. A non-CHECK-DAG directive between two sets of CHECK-DAG directives cause the two sets to be split into two logical groups, where the ordering between the groups is strict, but within the group it is not.

Label

The CHECK-LABEL directive, i.e. a regular CHECK, with the additional restriction that the pattern may not contain references to (or bind) variables. This directive type divides the checks (and input) into logical “blocks”. Checks other than CHECK-LABEL belong to the block defined by their preceding CHECK-LABEL. Checks before the first CHECK-LABEL are part of an implicit prologue block.

CHECK-LABEL divides up the input into blocks as well, by first matching all of the CHECK-LABEL patterns, and then block-by-block, matching all of the checks “owned” by each CHECK-LABEL, rejecting any matches that would match outside the region of input assigned to the block.

Empty

The CHECK-EMPTY directive, i.e. the next line must be empty, containing nothing but a newline, no other whitespace.

Count(usize)

This is only used during parsing, but represents CHECK-COUNT-N, i.e. a CHECK that is repeated N times. N must be non-zero.

Comment

The COM directive, i.e. a comment.

This is only used during parsing.

Implementations

impl Check

pub fn suffix(&self) -> Option<&'static str>

Trait Implementations

impl Clone for Check

fn clone(&self) -> Check

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Check

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

Formats the value using the given formatter.

impl Default for Check

fn default() -> Check

Returns the “default value” for a type.

impl Display for Check

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

Formats the value using the given formatter.

impl FromStr for Check

type Err = InvalidCheckTypeError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Check

fn eq(&self, other: &Check) -> 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 Copy for Check

impl Eq for Check

impl StructuralPartialEq for Check