Loading e-Knife/src/main/java/eknife/EKnife.java +2 −1 Original line number Diff line number Diff line Loading @@ -191,8 +191,9 @@ public class EKnife { final EDG edg = new EDGFactory(last).createEDG(); final SlicingCriterion slicingCriterion = new SlicingCriterion(a.file, a.line, a.name, a.occurrence); final Node SC; try { final Node SC = edg.getNode(slicingCriterion); SC = edg.getNode(slicingCriterion); if (SC == null) { System.out.println("Error: the slicing criterion could not be found! " + slicingCriterion); System.exit(1); Loading Loading
e-Knife/src/main/java/eknife/EKnife.java +2 −1 Original line number Diff line number Diff line Loading @@ -191,8 +191,9 @@ public class EKnife { final EDG edg = new EDGFactory(last).createEDG(); final SlicingCriterion slicingCriterion = new SlicingCriterion(a.file, a.line, a.name, a.occurrence); final Node SC; try { final Node SC = edg.getNode(slicingCriterion); SC = edg.getNode(slicingCriterion); if (SC == null) { System.out.println("Error: the slicing criterion could not be found! " + slicingCriterion); System.exit(1); Loading