17.6. Control Flow Predicates
Prev Chapter 17. Queries Next

17.6. Control Flow Predicates

Control flow predicates are constructed from other predicates. Unlike the other predicates, they govern the control flow of pattern matching.

17.6.1. First Element Predicate

First Element Predicate
[84]FirstElementPredicate::='(' CompoundPredicate ')' '!'  

17.6.2. Transitive Closures

Transitive Closures
[85]TransitiveClosure::='(' CompoundPredicate ')' Quantifier  
[86]Quantifier::='?' | '*' | '+' | RangeQuantifier  
[87]RangeQuantifier::='{' AssignmentExpression [ ',' AssignmentExpression ] '}'  

17.6.3. Minimal Elements Predicate

Minimal Elements Predicate
[88]MinimalElementsPredicate::=TransitiveClosure ':' '(' CompoundPredicate ')'  

Prev Up Next
17.5. Path Predicates Home References