Module litcheck_filecheck::ast

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.