@@ -11,9 +11,7 @@ class ForEachStmt extends Element, @for_each_stmt {
1111 pattern_binding_decl_patterns ( this .getIteratorVar ( ) , _, result )
1212 }
1313
14- Element getIteratorVarConcreteDecl ( ) {
15- decl_ref_exprs ( this .getNextCallVarRef ( ) , result )
16- }
14+ Element getIteratorVarConcreteDecl ( ) { decl_ref_exprs ( this .getNextCallVarRef ( ) , result ) }
1715
1816 Element getNextCall ( ) { for_each_stmt_next_calls ( this , result ) }
1917
@@ -26,13 +24,12 @@ class ForEachStmt extends Element, @for_each_stmt {
2624 Element getNextCallVarRef ( ) { in_out_exprs ( this .getNextCallInOutConversion ( ) , result ) }
2725}
2826
29- query predicate new_for_each_stmts (
30- ForEachStmt stmt , Element pattern , Element body , Element sequence ,
31- Element iteratorVar
32- ) {
33- for_each_stmts ( stmt , pattern , body ) and
34- for_each_stmt_iterator_vars ( stmt , iteratorVar ) and
35- pattern_binding_decl_inits ( iteratorVar , _, sequence )
27+ query predicate new_for_each_stmts ( ForEachStmt stmt , Element pattern , Element body , Element sequence ) {
28+ exists ( Element iteratorVar |
29+ for_each_stmts ( stmt , pattern , body ) and
30+ for_each_stmt_iterator_vars ( stmt , iteratorVar ) and
31+ pattern_binding_decl_inits ( iteratorVar , _, sequence )
32+ )
3633}
3734
3835query predicate new_pattern_binding_decls ( Element id ) {
@@ -134,4 +131,4 @@ query predicate new_expr_types(Element expr, Element type) {
134131 expr = stmt .getNextCallFuncRef ( ) or
135132 expr = stmt .getNextCallInOutConversion ( )
136133 )
137- }
134+ }
0 commit comments