Verified Commit eda610c9 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Change PHPSlice to use line number.

parent 6809040f

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.2</version>

    <version>1.0.3</version>



    <properties>

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

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

+2 −1
Original line number Diff line number Diff line
@@ -13,6 +13,7 @@ import tfm.graphs.augmented.PSDG; 
import tfm.graphs.cfg.CFG;

import tfm.graphs.exceptionsensitive.ESSDG;

import tfm.graphs.sdg.SDG;

import tfm.slicing.FileLineSlicingCriterion;

import tfm.slicing.NodeIdSlicingCriterion;

import tfm.slicing.Slice;

import tfm.slicing.SlicingCriterion;
@@ -115,7 +116,7 @@ public class PHPSlice { 
        Slice slice = new Slice();

        if (scId != 0) {

            // Slice the SDG

            sc = new NodeIdSlicingCriterion(scId, "");

            sc = new FileLineSlicingCriterion(scFile, scId);

            slice = sdg.slice(sc);



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