@@ -71,7 +71,7 @@ module String {
71
71
override MethodCall getACall ( ) { result = mc }
72
72
73
73
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
74
- input = [ "Receiver" , "Argument[0]" , "ArrayElement of Argument[0]" ] and
74
+ input = [ "Receiver" , "Argument[0]" , "Argument[0].ArrayElement " ] and
75
75
output = "ReturnValue" and
76
76
preservesValue = false
77
77
}
@@ -234,7 +234,7 @@ module String {
234
234
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
235
235
preservesValue = false and
236
236
input = "Receiver" and
237
- output = [ "Parameter[0] of BlockArgument " , "ReturnValue" ]
237
+ output = [ "BlockArgument. Parameter[0]" , "ReturnValue" ]
238
238
}
239
239
}
240
240
@@ -247,7 +247,7 @@ module String {
247
247
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
248
248
preservesValue = false and
249
249
input = "Receiver" and
250
- output = [ "Parameter[0] of BlockArgument " , "ArrayElement[?] of ReturnValue " ]
250
+ output = [ "BlockArgument. Parameter[0]" , "ReturnValue. ArrayElement[?]" ]
251
251
}
252
252
}
253
253
@@ -299,7 +299,7 @@ module String {
299
299
// block return -> return value
300
300
preservesValue = false and
301
301
output = "ReturnValue" and
302
- input = [ "Receiver" , "Argument[1]" , "ReturnValue of BlockArgument" ]
302
+ input = [ "Receiver" , "Argument[1]" , "BlockArgument.ReturnValue " ]
303
303
}
304
304
}
305
305
@@ -361,7 +361,7 @@ module String {
361
361
362
362
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
363
363
input = "Receiver" and
364
- output = "ArrayElement[" + [ 0 , 1 , 2 ] + "] of ReturnValue " and
364
+ output = "ReturnValue. ArrayElement[" + [ 0 , 1 , 2 ] + "]" and
365
365
preservesValue = false
366
366
}
367
367
}
@@ -414,7 +414,7 @@ module String {
414
414
// scan(pattern) -> array
415
415
"ReturnValue" ,
416
416
// Parameter[_] doesn't seem to work
417
- "Parameter[" + [ 0 .. 10 ] + "] of BlockArgument "
417
+ "BlockArgument. Parameter[" + [ 0 .. 10 ] + "]"
418
418
]
419
419
}
420
420
}
@@ -428,9 +428,9 @@ module String {
428
428
output =
429
429
[
430
430
// scan(pattern) {|match, ...| block } -> str
431
- "ArrayElement[?] of ReturnValue " ,
431
+ "ReturnValue. ArrayElement[?]" ,
432
432
// Parameter[_] doesn't seem to work
433
- "Parameter[" + [ 0 .. 10 ] + "] of BlockArgument "
433
+ "BlockArgument. Parameter[" + [ 0 .. 10 ] + "]"
434
434
]
435
435
}
436
436
}
@@ -456,11 +456,11 @@ module String {
456
456
preservesValue = false and
457
457
(
458
458
input = "Receiver" and
459
- output = "Parameter[0] of BlockArgument "
459
+ output = "BlockArgument. Parameter[0]"
460
460
or
461
461
input = "Argument[0]" and output = "ReturnValue"
462
462
or
463
- input = "ReturnValue of BlockArgument" and
463
+ input = "BlockArgument.ReturnValue " and
464
464
output = "ReturnValue"
465
465
)
466
466
}
@@ -475,7 +475,7 @@ module String {
475
475
preservesValue = false and
476
476
(
477
477
input = "Receiver" and
478
- output = "Parameter[0] of BlockArgument "
478
+ output = "BlockArgument. Parameter[0]"
479
479
or
480
480
input = "Argument[0]" and output = "ReturnValue"
481
481
)
@@ -501,7 +501,7 @@ module String {
501
501
502
502
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
503
503
input = "Receiver" and
504
- output = "ArrayElement[?] of ReturnValue " and
504
+ output = "ReturnValue. ArrayElement[?]" and
505
505
preservesValue = false
506
506
}
507
507
}
@@ -581,11 +581,11 @@ module String {
581
581
valueIdentityFlow ( input , output , preservesValue )
582
582
or
583
583
input = [ "Receiver" , "Argument[0]" ] and
584
- output = "Parameter[0] of BlockArgument " and
584
+ output = "BlockArgument. Parameter[0]" and
585
585
preservesValue = true
586
586
or
587
- input = "ReturnValue of BlockArgument" and
588
- output = "ArrayElement[?] of ReturnValue " and
587
+ input = "BlockArgument.ReturnValue " and
588
+ output = "ReturnValue. ArrayElement[?]" and
589
589
preservesValue = true
590
590
}
591
591
}
@@ -601,11 +601,11 @@ module String {
601
601
602
602
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
603
603
input = "Receiver" and
604
- output = "Parameter[0] of BlockArgument " and
604
+ output = "BlockArgument. Parameter[0]" and
605
605
preservesValue = true
606
606
or
607
- input = "ReturnValue of BlockArgument" and
608
- output = "ArrayElement[?] of ReturnValue " and
607
+ input = "BlockArgument.ReturnValue " and
608
+ output = "ReturnValue. ArrayElement[?]" and
609
609
preservesValue = true
610
610
}
611
611
}
0 commit comments