@@ -605,7 +605,10 @@ module Array {
605
605
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
606
606
input = "Argument[self].ArrayElement" and
607
607
output =
608
- [ "Argument[block].Parameter[0]" , "ReturnValue.ArrayElement[?]" , "Argument[self].ArrayElement[?]" ] and
608
+ [
609
+ "Argument[block].Parameter[0]" , "ReturnValue.ArrayElement[?]" ,
610
+ "Argument[self].ArrayElement[?]"
611
+ ] and
609
612
preservesValue = true
610
613
}
611
614
@@ -956,7 +959,10 @@ module Array {
956
959
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
957
960
input = "Argument[self].ArrayElement" and
958
961
output =
959
- [ "ReturnValue.ArrayElement[?]" , "Argument[self].ArrayElement[?]" , "Argument[block].Parameter[0]" ] and
962
+ [
963
+ "ReturnValue.ArrayElement[?]" , "Argument[self].ArrayElement[?]" ,
964
+ "Argument[block].Parameter[0]"
965
+ ] and
960
966
preservesValue = true
961
967
}
962
968
@@ -1134,7 +1140,10 @@ module Array {
1134
1140
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
1135
1141
input = "Argument[self].ArrayElement" and
1136
1142
output =
1137
- [ "ReturnValue.ArrayElement[?]" , "Argument[self].ArrayElement[?]" , "Argument[block].Parameter[0]" ] and
1143
+ [
1144
+ "ReturnValue.ArrayElement[?]" , "Argument[self].ArrayElement[?]" ,
1145
+ "Argument[block].Parameter[0]"
1146
+ ] and
1138
1147
preservesValue = true
1139
1148
}
1140
1149
@@ -1298,7 +1307,10 @@ module Array {
1298
1307
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
1299
1308
input = "Argument[self].ArrayElement" and
1300
1309
output =
1301
- [ "Argument[block].Parameter[0]" , "Argument[self].ArrayElement[?]" , "ReturnValue.ArrayElement[?]" ] and
1310
+ [
1311
+ "Argument[block].Parameter[0]" , "Argument[self].ArrayElement[?]" ,
1312
+ "ReturnValue.ArrayElement[?]"
1313
+ ] and
1302
1314
preservesValue = true
1303
1315
}
1304
1316
@@ -1564,7 +1576,10 @@ module Array {
1564
1576
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
1565
1577
input = "Argument[self].ArrayElement" and
1566
1578
output =
1567
- [ "Argument[block].Parameter[0]" , "Argument[self].ArrayElement[?]" , "ReturnValue.ArrayElement[?]" ] and
1579
+ [
1580
+ "Argument[block].Parameter[0]" , "Argument[self].ArrayElement[?]" ,
1581
+ "ReturnValue.ArrayElement[?]"
1582
+ ] and
1568
1583
preservesValue = true
1569
1584
}
1570
1585
@@ -1597,7 +1612,10 @@ module Array {
1597
1612
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
1598
1613
input = "Argument[self].ArrayElement" and
1599
1614
output =
1600
- [ "Argument[self].ArrayElement[?]" , "ReturnValue.ArrayElement[?]" , "Argument[block].Parameter[0]" ] and
1615
+ [
1616
+ "Argument[self].ArrayElement[?]" , "ReturnValue.ArrayElement[?]" ,
1617
+ "Argument[block].Parameter[0]"
1618
+ ] and
1601
1619
preservesValue = true
1602
1620
}
1603
1621
0 commit comments