breakcontinue_in_tryfinally.js revision 1206:829e3b95b319 
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
36if (arguments.length == 0) {
37    arguments[0] = ".";
38}
39
40var File = Java.type("java.io.File");
41var file = new File(arguments[0]);
42if (!file.exists()) {
43    print(arguments[0] + " is neither a directory nor a file");
44    exit(1);
45}
46
47var Files = Java.type("java.nio.file.Files");
48var Parser = Java.type("jdk.nashorn.api.tree.Parser");
49var SimpleTreeVisitor = Java.type("jdk.nashorn.api.tree.SimpleTreeVisitorES5_1");
50
51var parser = Parser.create("-scripting", "--const-as-var");
52
53function 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
122if (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}
130