Commit b9113c09 authored by Javier Costa's avatar Javier Costa
Browse files

Fixed for in CFG

parent 4797821c

.classpath

0 → 100644
+28 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<classpath>

	<classpathentry kind="src" output="target/classes" path="src/main/java">

		<attributes>

			<attribute name="optional" value="true"/>

			<attribute name="maven.pomderived" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="src" output="target/test-classes" path="src/test/java">

		<attributes>

			<attribute name="test" value="true"/>

			<attribute name="optional" value="true"/>

			<attribute name="maven.pomderived" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8">

		<attributes>

			<attribute name="maven.pomderived" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">

		<attributes>

			<attribute name="maven.pomderived" value="true"/>

		</attributes>

	</classpathentry>

	<classpathentry kind="lib" path="lib/graphlib.jar"/>

	<classpathentry kind="output" path="target/classes"/>

</classpath>

.project

0 → 100644
+23 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<projectDescription>

	<name>TFM</name>

	<comment></comment>

	<projects>

	</projects>

	<buildSpec>

		<buildCommand>

			<name>org.eclipse.jdt.core.javabuilder</name>

			<arguments>

			</arguments>

		</buildCommand>

		<buildCommand>

			<name>org.eclipse.m2e.core.maven2Builder</name>

			<arguments>

			</arguments>

		</buildCommand>

	</buildSpec>

	<natures>

		<nature>org.eclipse.jdt.core.javanature</nature>

		<nature>org.eclipse.m2e.core.maven2Nature</nature>

	</natures>

</projectDescription>

.settings/org.eclipse.jdt.core.prefs

0 → 100644
+6 −0
Original line number Diff line number Diff line 
eclipse.preferences.version=1

org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8

org.eclipse.jdt.core.compiler.compliance=1.8

org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning

org.eclipse.jdt.core.compiler.release=disabled

org.eclipse.jdt.core.compiler.source=1.8

cfg/Eval_1_main.ff3

0 → 100644
+2.44 KiB

File added.

No diff preview for this file type.

View file

src/main/java/tfm/Main.java

+17 −0
Original line number Diff line number Diff line
@@ -9,6 +9,7 @@ import guru.nidi.graphviz.engine.Graphviz; 
import tfm.graphs.CFGGraph;

import tfm.graphs.Graph;

import tfm.graphs.PDGGraph;

import tfm.nodes.Node;

import tfm.nodes.PDGNode;

import tfm.scopes.ScopeHolder;

import tfm.utils.Logger;
@@ -17,6 +18,8 @@ import tfm.visitors.PDGVisitor; 


import java.io.*;

import java.util.Arrays;

import java.util.Comparator;

import java.util.stream.Collectors;



public class Main {
@@ -47,6 +50,20 @@ public class Main { 
        Logger.log();

        Logger.format("Done in %.2f ms", (tt - t0) / 10e6);





        Logger.log("Nodes with variable info");

        Logger.log(

                graph.getNodes().stream()

                    .sorted(Comparator.comparingInt(Node::getId))

                    .map(node ->

                            String.format("Node { id: %s, declared: %s, defined: %s, used: %s }",

                                node.getId(),

                                node.getDeclaredVariables(),

                                node.getDefinedVariables(),

                                node.getUsedVariables())

                    ).collect(Collectors.joining(System.lineSeparator()))

        );



        openGraphAsPng(graph);

    }