added support to analyze multiple folders

Author: rodrigomilisse

liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java

@@ -1,6 +1,7 @@
 package liquidjava.api;
 
-import java.io.File;
+import java.util.Arrays;
+import java.util.List;
 
 import liquidjava.errors.ErrorEmitter;
 import liquidjava.processor.RefinementProcessor;
@@ -18,8 +19,8 @@ public static void main(String[] args) {
         // In eclipse only needed this:"../liquidjava-example/src/main/java/"
         // In VSCode needs:
         // "../liquidjava/liquidjava-umbrella/liquidjava-example/src/main/java/liquidjava/test/project";
-        String file = args.length == 0 ? allPath : args[0];
-        ErrorEmitter ee = launch(file);
+        List<String> files = args.length == 0 ? Arrays.asList(allPath) : Arrays.asList(args);
+        ErrorEmitter ee = launch(files.toArray(new String[0]));
         System.out.println(ee.foundError() ? (ee.getFullMessage()) : ("Correct! Passed Verification."));
     }
 
@@ -28,10 +29,12 @@ public static ErrorEmitter launchTest(String file) {
         return ee;
     }
 
-    public static ErrorEmitter launch(String file) {
-        System.out.println("Running LiquidJava on: " + file);
+    public static ErrorEmitter launch(String... files) {
+        System.out.println("Running LiquidJava on: " + Arrays.toString(files));
         Launcher launcher = new Launcher();
-        launcher.addInputResource(file);
+        for (String file : files) {
+            launcher.addInputResource(file);
+        }
         launcher.getEnvironment().setNoClasspath(true);
 
         // Get the current classpath from the system