Commit 81b8002d authored by Carlos Galindo's avatar Carlos Galindo
Browse files

PHPSlice: More information on errors

parent 8bf64119

sdg-cli/pom.xml

+1 −1
Original line number Diff line number Diff line
@@ -6,7 +6,7 @@ 


    <groupId>tfm</groupId>

    <artifactId>sdg-cli</artifactId>

    <version>1.0.0</version>

    <version>1.0.1</version>



    <properties>

        <maven.compiler.source>11</maven.compiler.source>

sdg-cli/src/main/java/tfm/cli/PHPSlice.java

+19 −14
Original line number Diff line number Diff line
@@ -97,9 +97,12 @@ public class PHPSlice { 
        SDG sdg = cliOpts.hasOption("exception-sensitive") ? new ESSDG() : new SDG();

        sdg.build(units);



        SlicingCriterion sc = new NodeIdSlicingCriterion(0, "");

        Slice slice = new Slice();

        if (scId != 0) {

            // Slice the SDG

        SlicingCriterion sc = new NodeIdSlicingCriterion(scId, "");

        Slice slice = sdg.slice(sc);

            sc = new NodeIdSlicingCriterion(scId, "");

            slice = sdg.slice(sc);



            // Convert the slice to code and output the result to `outputDir`

            for (CompilationUnit cu : slice.toAst()) {
@@ -113,6 +116,7 @@ public class PHPSlice { 
                    System.err.println("Could not write file " + javaFile);

                }

            }

        }



        File imageDir = new File(outputDir, "images");

        imageDir.mkdir();
@@ -137,6 +141,7 @@ public class PHPSlice { 
            new PHPSlice(args).slice();

        } catch (Exception e) {

            System.err.println("Error!\n" + e.getMessage());

            e.printStackTrace(System.err);

        }

    }