Module check

Structs

BlockInfo

CheckProgram

Checker

Enums

CheckGroup

CheckSection

CheckTree

A tree of patterns to match on the same region of input.

Functions

check_block_section

Evaluate a section of check operations with the given context, gathering any errors encountered into errors.

check_blocks

Evaluate all check operations in the given blocks

check_group

check_group_sections

discover_blocks

Analyze the input to identify regions of input corresponding to block sections in program, i.e. regions delimited by CHECK-LABEL directives.