Checks if the path contains empty steps. @param rt root at compile time (can be null) @return result of check
(final Expr rt)
| 425 | * @return result of check |
| 426 | */ |
| 427 | private boolean emptySteps(final Expr rt) { |
| 428 | if(rt != null) { |
| 429 | Expr prev = rt; |
| 430 | for(final Expr step : steps) { |
| 431 | final SeqType seqType = prev.seqType(); |
| 432 | if(seqType.type instanceof NodeType && step instanceof final Step stp && |
| 433 | stp.empty(seqType)) return true; |
| 434 | prev = step; |
| 435 | } |
| 436 | } |
| 437 | return false; |
| 438 | } |
| 439 | |
| 440 | /** |
| 441 | * Checks if a path can be evaluated iteratively (i.e., if all results will be in distinct |
no test coverage detected