Commit 440dec2a authored by Carlos Galindo's avatar Carlos Galindo
Browse files

EKnife: the graph shouldn't go to serperu's desktop

parent 7439aea9

e-Knife/src/main/java/eknife/EKnife.java

+0 −18
Original line number Diff line number Diff line
@@ -182,25 +182,9 @@ public class EKnife { 
	}



	private static void run(Args a) {

		boolean showIP = true;

		Map<Edge.Type, Boolean> edgeFlags = new HashMap<>();

		edgeFlags.put(Edge.Type.Value, true);

		edgeFlags.put(Edge.Type.ControlFlow, false);

		edgeFlags.put(Edge.Type.Control, false);

		edgeFlags.put(Edge.Type.Flow, true);

		edgeFlags.put(Edge.Type.Input, showIP);

		edgeFlags.put(Edge.Type.Call, showIP);

		edgeFlags.put(Edge.Type.Output, showIP);

		edgeFlags.put(Edge.Type.Summary, false);



		final LAST last = LASTFactory.createLAST(Language.Erlang, a.inputPath, true);

		//DotFactory.createDot(new File("/Users/serperu/Desktop/SlicerOutput/graph.dot"), new EDG(last), edgeFlags);

//		PdfFactory.createPdf(new File("/Users/serperu/Desktop/SlicerOutput/last.pdf"), new EDG(last), edgeFlags);

		final EDG edg = new EDGFactory(last).createEDG();



		// edg.getGrammar().printGrammarInFile("/Users/serperu/Desktop/SlicerOutput/grammar.txt");

		PdfFactory.createPdf(new File("/Users/serperu/Desktop/SlicerOutput/graph.pdf"), edg, edgeFlags);

		// DotFactory.createDot(new File("/Users/serperu/Desktop/SlicerOutput/graph.dot"), new EDG(last), edgeFlags);

		final SlicingCriterion slicingCriterion = new SlicingCriterion(a.file, a.line, a.name, a.occurrence);

		final Node SC = edg.getNode(slicingCriterion);

		if (SC == null) {
@@ -215,8 +199,6 @@ public class EKnife { 
			System.out.println("Warning: no files will be written, as the slice is empty.");

			System.exit(2);

		}

//		DotFactory.createDot(new File("/Users/serperu/Desktop/SlicerOutput/graphSliced.dot"), edg, SC, slice, edgeFlags);

		PdfFactory.createPdf(new File("/Users/serperu/Desktop/SlicerOutput/graphSliced.pdf"), edg, SC, slice, edgeFlags);



		if (a.graphFile != null) {

			switch (a.graphFormat) {