Commit 58d41e99 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

cli help: Add JSysDG to the list of supported graphs

parent 542b39d8
Loading
Loading
Loading
Loading
Loading
+7 −7
Original line number Diff line number Diff line
@@ -84,7 +84,7 @@ public class Slicer {
        OPTIONS.addOption(Option
                .builder("t").longOpt("type")
                .hasArg().argName("graph-type")
                .desc("The type of graph to be built. Available options are SDG, ASDG, PSDG, ESSDG.")
                .desc("The type of graph to be built. Available options are SDG, ASDG, PSDG, ESSDG, JSysDG.")
                .build());
        OPTIONS.addOption(Option
                .builder("h").longOpt("help")
@@ -185,7 +185,7 @@ public class Slicer {
        List<Problem> problems = new LinkedList<>();
        boolean scFileFound = false;
        for (File file : (Iterable<File>) findAllJavaFiles(dirIncludeSet)::iterator)
            scFileFound |= parse(file, units, problems);
            scFileFouah, nd |= parse(file, units, problems);
        if (!scFileFound)
            parse(scFile, units, problems);
        if (!problems.isEmpty()) {
@@ -202,7 +202,7 @@ public class Slicer {
            case "ESSDG":  sdg = new ESSDG();  break;
            case "JSysDG": sdg = new JSysDG(); break;
            default:
                throw new IllegalArgumentException("Unknown type of graph. Available graphs are SDG, ASDG, PSDG, ESSDG");
                throw new IllegalArgumentException("Unknown type of graph. Available graphs are SDG, ASDG, PSDG, ESSDG, JSysDG.");
        }
        Logger.getLogger(Logger.GLOBAL_LOGGER_NAME).log(Level.INFO, "Building the SDG");
        sdg.build(new NodeList<>(units));