Loading iacfg/src/test/java/es/upv/mist/slicing/graphs/icfg/ICFGTest.java +6 −3 Original line number Diff line number Diff line Loading @@ -14,14 +14,17 @@ public class ICFGTest { StaticJavaParser.getConfiguration().setAttributeComments(false); StaticTypeSolver.addTypeSolverJRE(); createGraph("TestInicial.java", "grafoInicial"); /*createGraph("TestInicial.java", "grafoInicial"); System.out.println("Grafo 1 generado..."); createGraph("TestGlobalVariables.java", "grafoGlobalVariables"); System.out.println("Grafo 2 generado..."); createGraph("TestEmbebedFunctions.java", "grafoEmbebedFunctions"); System.out.println("Grafo 3 generado..."); createGraph("TestEmbebedFunctions.java", "grafoEmbebedFunctions"; System.out.println("Grafo 3 generado...");*/ createGraph("TestInlineFunctions.java", "grafoInlineVariables"); System.out.println("Grafo 4 generado..."); } private static void createGraph(String fileName, String graphName) throws IOException { Loading iacfg/src/test/resources/TestInlineFunctions.java 0 → 100644 +42 −0 Original line number Diff line number Diff line public class TestInlineFunctions { public static int x = 0; public static int y = 5; public static int z = 7; public static void main(String[] args) { System.out.println("Valores iniciales:"); System.out.println("x: " + x); System.out.println("y: " + y); System.out.println("z: " + z); x = 10; y = y + x; System.out.println("\nValores despues de modificar:"); System.out.println("x: " + x); System.out.println("y: " + y); System.out.println("z: " + z); int valor1 = incrementar(x, y) + incrementar(y, z) + incrementar(z, x); System.out.println("valor1: " + valor1); } private static int incrementar(int a, int b) { b++; return a + 1; } private static int incrementarBucle(int a) { if (a > 0) { int x = 0; for (int i = 0; i < a; i++) { x = x + i; } return x; } else { return a; } } } No newline at end of file Loading
iacfg/src/test/java/es/upv/mist/slicing/graphs/icfg/ICFGTest.java +6 −3 Original line number Diff line number Diff line Loading @@ -14,14 +14,17 @@ public class ICFGTest { StaticJavaParser.getConfiguration().setAttributeComments(false); StaticTypeSolver.addTypeSolverJRE(); createGraph("TestInicial.java", "grafoInicial"); /*createGraph("TestInicial.java", "grafoInicial"); System.out.println("Grafo 1 generado..."); createGraph("TestGlobalVariables.java", "grafoGlobalVariables"); System.out.println("Grafo 2 generado..."); createGraph("TestEmbebedFunctions.java", "grafoEmbebedFunctions"); System.out.println("Grafo 3 generado..."); createGraph("TestEmbebedFunctions.java", "grafoEmbebedFunctions"; System.out.println("Grafo 3 generado...");*/ createGraph("TestInlineFunctions.java", "grafoInlineVariables"); System.out.println("Grafo 4 generado..."); } private static void createGraph(String fileName, String graphName) throws IOException { Loading
iacfg/src/test/resources/TestInlineFunctions.java 0 → 100644 +42 −0 Original line number Diff line number Diff line public class TestInlineFunctions { public static int x = 0; public static int y = 5; public static int z = 7; public static void main(String[] args) { System.out.println("Valores iniciales:"); System.out.println("x: " + x); System.out.println("y: " + y); System.out.println("z: " + z); x = 10; y = y + x; System.out.println("\nValores despues de modificar:"); System.out.println("x: " + x); System.out.println("y: " + y); System.out.println("z: " + z); int valor1 = incrementar(x, y) + incrementar(y, z) + incrementar(z, x); System.out.println("valor1: " + valor1); } private static int incrementar(int a, int b) { b++; return a + 1; } private static int incrementarBucle(int a) { if (a > 0) { int x = 0; for (int i = 0; i < a; i++) { x = x + i; } return x; } else { return a; } } } No newline at end of file