1+ class LambdaCapture extends @lambdacapture {
2+ string toString ( ) { none ( ) }
3+ }
4+
5+ class Lambda extends @lambdaexpr {
6+ string toString ( ) { none ( ) }
7+ }
8+
9+ class Field extends @membervariable {
10+ string toString ( ) { none ( ) }
11+ }
12+
13+ class Location extends @location_default {
14+ string toString ( ) { none ( ) }
15+ }
116
2- class LambdaCapture extends @lambdacapture { string toString ( ) { none ( ) } }
3- class Lambda extends @lambdaexpr { string toString ( ) { none ( ) } }
4- class Field extends @membervariable { string toString ( ) { none ( ) } }
5- class Location extends @location_default { string toString ( ) { none ( ) } }
6- class Type extends @usertype { string toString ( ) { none ( ) } }
17+ class Type extends @usertype {
18+ string toString ( ) { none ( ) }
19+ }
720
821pragma [ noopt]
9- predicate lambda_capture_new ( LambdaCapture lc , Lambda l , int i , Field f ,
10- boolean captured_by_reference , boolean is_implicit ,
11- Location loc )
12- {
22+ predicate lambda_capture_new (
23+ LambdaCapture lc , Lambda l , int i , Field f , boolean captured_by_reference , boolean is_implicit ,
24+ Location loc
25+ ) {
1326 exists ( Type t |
1427 lambda_capture ( lc , l , i , captured_by_reference , is_implicit , loc ) and
1528 expr_types ( l , t , _) and
@@ -19,8 +32,8 @@ predicate lambda_capture_new(LambdaCapture lc, Lambda l, int i, Field f,
1932 )
2033}
2134
22- from LambdaCapture lc , Lambda l , int i , Field f ,
23- boolean captured_by_reference , boolean is_implicit ,
24- Location loc
35+ from
36+ LambdaCapture lc , Lambda l , int i , Field f , boolean captured_by_reference , boolean is_implicit ,
37+ Location loc
2538where lambda_capture_new ( lc , l , i , f , captured_by_reference , is_implicit , loc )
2639select lc , l , i , f , captured_by_reference , is_implicit , loc
0 commit comments