41 }

    41 }

    42 

    42 

    43 // Java types used

    43 // Java types used

    44 var File = Java.type("java.io.File");

    44 var File = Java.type("java.io.File");

    45 var Files = Java.type("java.nio.file.Files");

    45 var Files = Java.type("java.nio.file.Files");

    47 var StringArray = Java.type("java.lang.String[]");

    46 var StringArray = Java.type("java.lang.String[]");

    48 var ToolProvider = Java.type("javax.tools.ToolProvider");

    47 var ToolProvider = Java.type("javax.tools.ToolProvider");

    49 var Tree = Java.type("com.sun.source.tree.Tree");

    48 var Tree = Java.type("com.sun.source.tree.Tree");

    50 var TreeScanner = Java.type("com.sun.source.util.TreeScanner");

    49 var TreeScanner = Java.type("com.sun.source.util.TreeScanner");

    51 var Modifier = Java.type("javax.lang.model.element.Modifier");

    50 var Modifier = Java.type("javax.lang.model.element.Modifier");

   104 }

   103 }

   105 

   104 

   106 // for each ".java" file in directory (recursively).

   105 // for each ".java" file in directory (recursively).

   107 function main(dir) {

   106 function main(dir) {

   108     var totalCount = 0;

   107     var totalCount = 0;

   110       forEach(function(p) {

   109       forEach(function(p) {

   111         var name = p.toFile().absolutePath;

   110         var name = p.toFile().absolutePath;

   112         if (name.endsWith(".java")) {

   111         if (name.endsWith(".java")) {

   113             checkNonFinalParams(p);

   112             checkNonFinalParams(p);

   114         }

   113         }