@@ -11,9 +11,7 @@ class ForEachStmt extends Element, @for_each_stmt {
11
11
pattern_binding_decl_patterns ( this .getIteratorVar ( ) , _, result )
12
12
}
13
13
14
- Element getIteratorVarConcreteDecl ( ) {
15
- decl_ref_exprs ( this .getNextCallVarRef ( ) , result )
16
- }
14
+ Element getIteratorVarConcreteDecl ( ) { decl_ref_exprs ( this .getNextCallVarRef ( ) , result ) }
17
15
18
16
Element getNextCall ( ) { for_each_stmt_next_calls ( this , result ) }
19
17
@@ -26,13 +24,12 @@ class ForEachStmt extends Element, @for_each_stmt {
26
24
Element getNextCallVarRef ( ) { in_out_exprs ( this .getNextCallInOutConversion ( ) , result ) }
27
25
}
28
26
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
+ )
36
33
}
37
34
38
35
query predicate new_pattern_binding_decls ( Element id ) {
@@ -134,4 +131,4 @@ query predicate new_expr_types(Element expr, Element type) {
134
131
expr = stmt .getNextCallFuncRef ( ) or
135
132
expr = stmt .getNextCallInOutConversion ( )
136
133
)
137
- }
134
+ }
0 commit comments