Commit 493ae688 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Merge branch 'cargaji-master-patch-78567' into 'master'

check for exception when looking up slicing criterion

See merge request program-slicing/e-knife-erlang!4
parents a8c029fc bf07cc6d
Loading
Loading
Loading
Loading
+7 −2
Original line number Diff line number Diff line
@@ -191,11 +191,16 @@ public class EKnife {
		final EDG edg = new EDGFactory(last).createEDG();

		final SlicingCriterion slicingCriterion = new SlicingCriterion(a.file, a.line, a.name, a.occurrence);
		try {
			final Node SC = edg.getNode(slicingCriterion);
			if (SC == null) {
				System.out.println("Error: the slicing criterion could not be found! " + slicingCriterion);
				System.exit(1);
			}
		} catch (IllegalArgumentException e) {
			System.out.println("Error: the slicing criterion could not be found! " + slicingCriterion);
			System.exit(1);
		}

		final SlicingAlgorithm slicingAlgorithm = a.getAlgorithm(edg);
		final Set<Node> slice = slicingAlgorithm.slice(SC);