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 if (! new File(arguments[0]).isDirectory()) {
  42     print(arguments[0] + " is not a directory");
  43     exit(1);
  44 }
  45 
  46 var Files = Java.type("java.nio.file.Files");
  47 var Parser = Java.type("jdk.nashorn.api.tree.Parser");
  48 var SimpleTreeVisitor = Java.type("jdk.nashorn.api.tree.SimpleTreeVisitorES5_1");
  49 
  50 var parser = Parser.create("-scripting", "--const-as-var");
  51 
  52 function checkFile(file) {
  53     // print("checking " + file);
  54     var ast = parser.parse(file, print);
  55     if (!ast) {
  56         return;
  57     }
  58 
  59     // locate 'break/continue' inside try..finally
  60     ast.accept(visitor = new (Java.extend(SimpleTreeVisitor)) {
  61         lineMap: null,
  62         inTryFinally: false,
  63 
  64         printWarning: function(node, msg) {
  65             var pos = node.startPosition;
  66             var line = this.lineMap.getLineNumber(pos);
  67             var column = this.lineMap.getColumnNumber(pos);
  68             print(msg + " found in " + file + " @ " + line + ":" + column);
  69         },
  70 
  71         visitBreak: function(node, extra) {
  72             if (this.inTryFinally) {
  73                 this.printWarning(node, "break");
  74             }
  75         },
  76 
  77         visitContinue: function(node, extra) {
  78             if (this.inTryFinally) {
  79                 this.printWarning(node, "continue");
  80             }
  81         },
  82 
  83         visitCompilationUnit: function(node, extra) {
  84             this.lineMap = node.lineMap;
  85             Java.super(visitor).visitCompilationUnit(node, extra);
  86         },
  87 
  88         visitFunctionDeclaration: function(node, extra) {
  89             var oldInTryFinally = this.inTryFinally;
  90             this.inTryFinally = false;
  91             try {
  92                 Java.super(visitor).visitFunctionDeclaration(node, extra);
  93             } finally {
  94                 this.inTryFinally = oldInTryFinally;
  95             }
  96         },
  97 
  98         visitFunctionExpression: function(node, extra) {
  99             var oldInTryFinally = this.inTryFinally;
 100             this.inTryFinally = false;
 101             try {
 102                 Java.super(visitor).visitFunctionExpression(node, extra);
 103             } finally {
 104                 this.inTryFinally = oldInTryFinally;
 105             }
 106         },
 107 
 108         visitTry: function(node, extra) {
 109             var oldInTryFinally = this.inTryFinally;
 110             this.inTryFinally = (node.finallyBlock != null);
 111             try {
 112                 Java.super(visitor).visitTry(node, extra);
 113             } finally {
 114                 this.inTryFinally = oldInTryFinally;
 115             }
 116         }
 117     }, null);
 118 }
 119 
 120 Files.walk(new File(arguments[0]).toPath())
 121     .filter(function(p) Files.isRegularFile(p))
 122     .filter(function(p) p.toFile().name.endsWith('.js'))
 123     .forEach(checkFile);