Module ast

Source

Structs§

CheckFile
A check file is the source file we’re going to check matches some set of rules.
CheckLine
A check line represents a line in a check file, and is associated with some check type and pattern.
CheckModifier
Represents modificatons to the behavior of a Check
CheckType
This represents the complete type of a CHECK* directive
RegexPattern

Enums§

Capture
Check
This enum represents the kind of directive that was parsed
CheckPattern
A check pattern is the part of a check line which must match in the check file somewhere
CheckPatternPart
A check line is broken up into segments when either [[ ]], or {{ }} is encountered, for substitutions/captures and regex matches respectively; with the before and after parts being literal (and optional). As such we have three types of segments/parts that we can observe on a line
Constraint
Describes available constraints that can be expressed on numeric values
Match
This type represents a match rule wrapped in [[ ]]
Prefix
A pattern prefix represents the first distinct subpattern of the overall pattern which can be matched independently of the rest of the pattern.