@@ -1162,7 +1162,7 @@ module DataFlow {
1162
1162
}
1163
1163
1164
1164
/**
1165
- * A data flow node representing arguments of the `.apply` function call
1165
+ * A data flow node representing arguments of the `.apply` function call
1166
1166
* to emulate a separate argument for each parameter of a reflective function call.
1167
1167
*/
1168
1168
private class ApplyArgumentNode extends DataFlow:: Node {
@@ -1171,24 +1171,25 @@ module DataFlow {
1171
1171
int index ;
1172
1172
1173
1173
ApplyArgumentNode ( ) {
1174
- this = TApplyArgumentNode (
1175
- call .asExpr ( ) ,
1176
- call .getReceiver ( ) .getABoundFunctionValue ( _) .getFunction ( ) ,
1177
- index ) and
1174
+ this =
1175
+ TApplyArgumentNode ( call .asExpr ( ) ,
1176
+ call .getReceiver ( ) .getABoundFunctionValue ( _) .getFunction ( ) , index ) and
1178
1177
arrayArgument = call .getArgument ( 1 )
1179
1178
}
1180
1179
1181
- /**
1182
- * Gets an explicit call of the `.apply` function call
1183
- * that takes an argument represented by this data flow node.
1184
- * * /
1180
+ /**
1181
+ * Gets an explicit call of the `.apply` function call
1182
+ * that takes an argument represented by this data flow node.
1183
+ */
1185
1184
ExplicitMethodCallNode getCall ( ) { result = call }
1186
1185
1187
1186
/** Gets an argument index represented by this data flow node. */
1188
1187
int getIndex ( ) { result = index }
1189
1188
1190
- override string toString ( ) { result = arrayArgument .toString ( ) + "[" + index .toString ( ) + "]" }
1191
-
1189
+ override string toString ( ) {
1190
+ result = arrayArgument .toString ( ) + "[" + index .toString ( ) + "]"
1191
+ }
1192
+
1192
1193
override predicate hasLocationInfo (
1193
1194
string filepath , int startline , int startcolumn , int endline , int endcolumn
1194
1195
) {
@@ -1199,7 +1200,7 @@ module DataFlow {
1199
1200
/**
1200
1201
* A data flow node representing a reflective function call.
1201
1202
*/
1202
- private abstract class ReflectiveCallNodeDef extends CallNodeDef {
1203
+ abstract private class ReflectiveCallNodeDef extends CallNodeDef {
1203
1204
ExplicitMethodCallNode originalCall ;
1204
1205
1205
1206
override InvokeExpr getInvokeExpr ( ) { result = originalCall .getInvokeExpr ( ) }
@@ -1224,17 +1225,13 @@ module DataFlow {
1224
1225
}
1225
1226
1226
1227
override DataFlow:: Node getAnArgument ( ) {
1227
- result = originalCall .getAnArgument ( ) and
1228
+ result = originalCall .getAnArgument ( ) and
1228
1229
result != getReceiver ( )
1229
1230
}
1230
1231
1231
- override DataFlow:: Node getASpreadArgument ( ) {
1232
- result = originalCall .getASpreadArgument ( )
1233
- }
1232
+ override DataFlow:: Node getASpreadArgument ( ) { result = originalCall .getASpreadArgument ( ) }
1234
1233
1235
- override int getNumArgument ( ) {
1236
- result >= 0 and result = originalCall .getNumArgument ( ) - 1
1237
- }
1234
+ override int getNumArgument ( ) { result >= 0 and result = originalCall .getNumArgument ( ) - 1 }
1238
1235
}
1239
1236
1240
1237
/**
@@ -1244,17 +1241,15 @@ module DataFlow {
1244
1241
ApplyReflectiveCallNodeDef ( ) { this = TReflectiveCallNode ( originalCall .asExpr ( ) , "apply" ) }
1245
1242
1246
1243
ApplyArgumentNode getApplyArgument ( int i ) {
1247
- result .getCall ( ) = originalCall and
1244
+ result .getCall ( ) = originalCall and
1248
1245
result .getIndex ( ) = i
1249
1246
}
1250
1247
1251
1248
override DataFlow:: Node getArgument ( int i ) { none ( ) }
1252
1249
1253
1250
override DataFlow:: Node getAnArgument ( ) { none ( ) }
1254
1251
1255
- override DataFlow:: Node getASpreadArgument ( ) {
1256
- result = originalCall .getArgument ( 1 )
1257
- }
1252
+ override DataFlow:: Node getASpreadArgument ( ) { result = originalCall .getArgument ( 1 ) }
1258
1253
1259
1254
override int getNumArgument ( ) { none ( ) }
1260
1255
}
0 commit comments