1 /*
   2  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions
   6  * are met:
   7  *
   8  *   - Redistributions of source code must retain the above copyright
   9  *     notice, this list of conditions and the following disclaimer.
  10  *
  11  *   - Redistributions in binary form must reproduce the above copyright
  12  *     notice, this list of conditions and the following disclaimer in the
  13  *     documentation and/or other materials provided with the distribution.
  14  *
  15  *   - Neither the name of Oracle nor the names of its
  16  *     contributors may be used to endorse or promote products derived
  17  *     from this software without specific prior written permission.
  18  *
  19  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
  20  * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
  21  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR
  23  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  24  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  25  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  26  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  27  * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  28  * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  29  * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  30  */
  31 
  32 // Find break or continue inside try..finally in all scripts
  33 // in a given directory (recursively). If no directory is specified
  34 // the current working directory is scanned for scripts.
  35 
  36 if (arguments.length == 0) {
  37     arguments[0] = ".";
  38 }
  39 
  40 var File = Java.type("java.io.File");
  41 var file = new File(arguments[0]);
  42 if (!file.exists()) {
  43     print(arguments[0] + " is neither a directory nor a file");
  44     exit(1);
  45 }
  46 
  47 var Files = Java.type("java.nio.file.Files");
  48 var Parser = Java.type("jdk.nashorn.api.tree.Parser");
  49 var SimpleTreeVisitor = Java.type("jdk.nashorn.api.tree.SimpleTreeVisitorES5_1");
  50 
  51 var parser = Parser.create("-scripting", "--const-as-var");
  52 
  53 function checkFile(file) {
  54     // print("checking " + file);
  55     var ast = parser.parse(file, print);
  56     if (!ast) {
  57         return;
  58     }
  59 
  60     // locate 'break/continue' inside try..finally
  61     ast.accept(visitor = new (Java.extend(SimpleTreeVisitor)) {
  62         lineMap: null,
  63         inTryFinally: false,
  64 
  65         printWarning: function(node, msg) {
  66             var pos = node.startPosition;
  67             var line = this.lineMap.getLineNumber(pos);
  68             var column = this.lineMap.getColumnNumber(pos);
  69             print(msg + " found in " + file + " @ " + line + ":" + column);
  70         },
  71 
  72         visitBreak: function(node, extra) {
  73             if (this.inTryFinally) {
  74                 this.printWarning(node, "break");
  75             }
  76         },
  77 
  78         visitContinue: function(node, extra) {
  79             if (this.inTryFinally) {
  80                 this.printWarning(node, "continue");
  81             }
  82         },
  83 
  84         visitCompilationUnit: function(node, extra) {
  85             this.lineMap = node.lineMap;
  86             Java.super(visitor).visitCompilationUnit(node, extra);
  87         },
  88 
  89         visitFunctionDeclaration: function(node, extra) {
  90             var oldInTryFinally = this.inTryFinally;
  91             this.inTryFinally = false;
  92             try {
  93                 Java.super(visitor).visitFunctionDeclaration(node, extra);
  94             } finally {
  95                 this.inTryFinally = oldInTryFinally;
  96             }
  97         },
  98 
  99         visitFunctionExpression: function(node, extra) {
 100             var oldInTryFinally = this.inTryFinally;
 101             this.inTryFinally = false;
 102             try {
 103                 Java.super(visitor).visitFunctionExpression(node, extra);
 104             } finally {
 105                 this.inTryFinally = oldInTryFinally;
 106             }
 107         },
 108 
 109         visitTry: function(node, extra) {
 110             var oldInTryFinally = this.inTryFinally;
 111             this.inTryFinally = (node.finallyBlock != null);
 112             try {
 113                 Java.super(visitor).visitTry(node, extra);
 114             } finally {
 115                 this.inTryFinally = oldInTryFinally;
 116             }
 117         }
 118     }, null);
 119 }
 120 
 121 
 122 if (file.isDirectory()) {
 123     Files.walk(file.toPath())
 124         .filter(function(p) Files.isRegularFile(p))
 125         .filter(function(p) p.toFile().name.endsWith('.js'))
 126         .forEach(checkFile);
 127 } else {
 128     checkFile(file);
 129 }