Skip to main content

lower_quantifier

Function lower_quantifier 

Source
fn lower_quantifier(
    quantifier: &RepetitionQuantifier,
) -> MatchRecognizeQuantifier
Expand description

Map a RepetitionQuantifier to the proto quantifier. *, +, ? map to their dedicated kinds; the {...} forms all map to RANGE with an explicit min and an optional max.

The bounds are validated at bind time (binder::relation::match_recognize: validate_pattern), which is the last point at which a bad bound can be reported to the author: the NFA is expanded from these bounds in Nfa::compile, on the compute node, when the actor is built — long after the statement has been acknowledged.