comunica / traqula / 36695890113

100%

push

github

Lift extends into SELECT in nesting order (#203)

Algebra→AST moved every projected Extend into SELECT in projection
order. SELECT expressions are evaluated left to right, after WHERE, so
dependent BINDs could be evaluated before the variable they use:
`SELECT ?a ?b { … BIND(?o AS ?b) BIND(?b AS ?a) }` became
`SELECT (?b AS ?a) (?o AS ?b)`, leaving ?a unbound. SELECT * and a
BIND only used in ORDER BY failed the same way.

A projection is a set, so the outermost projected Extends are now lifted
innermost first. The first unprojected Extend and all Extends nested in
it stay BINDs. The Canonicalizer sorts projection variables, so
round-trip tests compare them as a set.

880 of 880 branches covered (100.0%)

Branch coverage included in aggregate %.

21 of 21 new or added lines in 2 files covered. (100.0%)

5892 of 5892 relevant lines covered (100.0%)

344115.75 hits per line