@@ -408,7 +408,7 @@ module NodeJSLib {
408
408
409
409
/**
410
410
* Holds if the `i`th parameter of method `methodName` of the Node.js
411
- * `fs` module or the `fs-extra` might represent a file path.
411
+ * `fs` module or the `fs-extra` module might represent a file path.
412
412
*
413
413
* For `fs`, we determine this by looking for an externs declaration for
414
414
* `fs.methodName` where the `i`th parameter's name is `filename` or
@@ -435,13 +435,13 @@ module NodeJSLib {
435
435
* method might represent a file path.
436
436
*/
437
437
private predicate fsExtraExtensionFileParam ( string methodName , int i ) {
438
- methodName = [ "copy" , "copySync" , "copyFile" ] and i = [ 0 .. 1 ]
438
+ methodName = [ "copy" , "copySync" , "copyFile" ] and i = [ 0 , 1 ]
439
439
or
440
- methodName = [ "move" , "moveSync" ] and i = [ 0 .. 1 ]
440
+ methodName = [ "move" , "moveSync" ] and i = [ 0 , 1 ]
441
441
or
442
442
methodName = [ "createFile" , "createFileSync" ] and i = 0
443
443
or
444
- methodName = [ "createSymLink" , "createSymlinkSync" ] and i = [ 0 .. 1 ]
444
+ methodName = [ "createSymLink" , "createSymlinkSync" ] and i = [ 0 , 1 ]
445
445
or
446
446
methodName = [ "ensureDir" , "ensureDirSync" ] and i = 0
447
447
or
0 commit comments