Skip to main content

Module path

Module path 

Source
Expand description

Lifter and intersection check for path-pattern atoms.

Per QRY-003, the --inputs and --outputs filters accept atoms drawn from the path-pattern grammar of PATH-008..PATH-016. The lifter parse_path_pattern_atom converts a RawAtom into a validated haz_domain::path::PathPattern; the intersects function decides whether two path patterns share at least one matched path, with the glob-vs-glob arm handled soundly via [super::glob_intersect].

Both patterns passed to intersects MUST resolve in the same coordinate system. In practice this means canonicalised workspace-absolute form; the caller (the query engine) is responsible for the canonicalisation step before invoking the intersection check.

Functionsยง

intersects
Does the matched set of lhs overlap that of rhs?
parse_path_pattern_atom
Parse a raw atom as a PathPattern per QRY-003.