CommandLineLauncher.java

package liquidjava.api;

import java.io.File;

import liquidjava.errors.ErrorEmitter;
import liquidjava.processor.RefinementProcessor;
import spoon.Launcher;
import spoon.processing.ProcessingManager;
import spoon.reflect.declaration.CtPackage;
import spoon.reflect.factory.Factory;
import spoon.support.QueueProcessingManager;

public class CommandLineLauncher {
    public static void main(String[] args) {
        String allPath = "./liquidjava-example/src/main/java/test/currentlyTesting";

        // String allPath = "C://Regen/test-projects/src/Main.java";
        // 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);
        System.out.println(ee.foundError() ? (ee.getFullMessage()) : ("Correct! Passed Verification."));
    }

    public static ErrorEmitter launchTest(String file) {
        ErrorEmitter ee = launch(file);
        return ee;
    }

    public static ErrorEmitter launch(String file) {
        System.out.println("Running LiquidJava on: " + file);
        Launcher launcher = new Launcher();
        launcher.addInputResource(file);
        launcher.getEnvironment().setNoClasspath(true);

        // Get the current classpath from the system
        // String classpath = System.getProperty("java.class.path");
        // launcher.getEnvironment().setSourceClasspath(classpath.split(File.pathSeparator));

        // optional
        // launcher.getEnvironment().setSourceClasspath(
        // "lib1.jar:lib2.jar".split(":"));
        launcher.getEnvironment().setComplianceLevel(8);

        launcher.run();

        final Factory factory = launcher.getFactory();
        final ProcessingManager processingManager = new QueueProcessingManager(factory);

        ErrorEmitter ee = new ErrorEmitter();
        final RefinementProcessor processor = new RefinementProcessor(factory, ee);
        processingManager.addProcessor(processor);

        try {
            // analyze all packages
            CtPackage root = factory.Package().getRootPackage();
            if (root != null)
                processingManager.process(root);
        } catch (Exception e) {
            e.printStackTrace();
            throw e;
        }

        return ee;
    }
}