nashorn/samples/breakcontinue_in_tryfinally.js
author dcubed
Sat, 24 Oct 2015 15:44:08 -0700
changeset 33595 5830c3ae532d
parent 29409 613987e37f79
permissions -rw-r--r--
8047212: runtime/ParallelClassLoading/bootstrap/random/inner-complex assert(ObjectSynchronizer::verify_objmon_isinpool(inf)) failed: monitor is invalid Summary: Fix race between ObjectMonitor alloc and verification code; teach SA about "static pointer volatile" fields. Reviewed-by: cvarming, dholmes, sspitsyn, coleenp

/*
 * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in the
 *     documentation and/or other materials provided with the distribution.
 *
 *   - Neither the name of Oracle nor the names of its
 *     contributors may be used to endorse or promote products derived
 *     from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
 * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

// Find break or continue inside try..finally in all scripts
// in a given directory (recursively). If no directory is specified
// the current working directory is scanned for scripts.

if (arguments.length == 0) {
    arguments[0] = ".";
}

var File = Java.type("java.io.File");
var file = new File(arguments[0]);
if (!file.exists()) {
    print(arguments[0] + " is neither a directory nor a file");
    exit(1);
}

var Files = Java.type("java.nio.file.Files");
var Parser = Java.type("jdk.nashorn.api.tree.Parser");
var SimpleTreeVisitor = Java.type("jdk.nashorn.api.tree.SimpleTreeVisitorES5_1");

var parser = Parser.create("-scripting", "--const-as-var");

function checkFile(file) {
    // print("checking " + file);
    var ast = parser.parse(file, print);
    if (!ast) {
        return;
    }

    // locate 'break/continue' inside try..finally
    ast.accept(visitor = new (Java.extend(SimpleTreeVisitor)) {
        lineMap: null,
        inTryFinally: false,

        printWarning: function(node, msg) {
            var pos = node.startPosition;
            var line = this.lineMap.getLineNumber(pos);
            var column = this.lineMap.getColumnNumber(pos);
            print(msg + " found in " + file + " @ " + line + ":" + column);
        },

        visitBreak: function(node, extra) {
            if (this.inTryFinally) {
                this.printWarning(node, "break");
            }
        },

        visitContinue: function(node, extra) {
            if (this.inTryFinally) {
                this.printWarning(node, "continue");
            }
        },

        visitCompilationUnit: function(node, extra) {
            this.lineMap = node.lineMap;
            Java.super(visitor).visitCompilationUnit(node, extra);
        },

        visitFunctionDeclaration: function(node, extra) {
            var oldInTryFinally = this.inTryFinally;
            this.inTryFinally = false;
            try {
                Java.super(visitor).visitFunctionDeclaration(node, extra);
            } finally {
                this.inTryFinally = oldInTryFinally;
            }
        },

        visitFunctionExpression: function(node, extra) {
            var oldInTryFinally = this.inTryFinally;
            this.inTryFinally = false;
            try {
                Java.super(visitor).visitFunctionExpression(node, extra);
            } finally {
                this.inTryFinally = oldInTryFinally;
            }
        },

        visitTry: function(node, extra) {
            var oldInTryFinally = this.inTryFinally;
            this.inTryFinally = (node.finallyBlock != null);
            try {
                Java.super(visitor).visitTry(node, extra);
            } finally {
                this.inTryFinally = oldInTryFinally;
            }
        }
    }, null);
}


if (file.isDirectory()) {
    Files.walk(file.toPath())
        .filter(function(p) Files.isRegularFile(p))
        .filter(function(p) p.toFile().name.endsWith('.js'))
        .forEach(checkFile);
} else {
    checkFile(file);
}