Commit 4168d9e2 authored by Javier Costa's avatar Javier Costa
Browse files

Removed graphbuilding and visitors package + structured graphs package

parent eca0b61b

src/main/java/tfm/arcs/cfg/ControlFlowArc.java

+2 −1
Original line number Diff line number Diff line
@@ -4,11 +4,12 @@ import org.jgrapht.io.Attribute; 
import org.jgrapht.io.DefaultAttribute;

import tfm.arcs.Arc;

import tfm.graphs.augmented.ACFG;

import tfm.graphs.cfg.CFG;



import java.util.Map;



/**

 * An edge of the {@link tfm.graphs.CFG}, representing the direct

 * An edge of the {@link CFG}, representing the direct

 * flow of control. It connects two instructions if, when the source

 * is executed, one of the possible next instructions is the destination.

 */

src/main/java/tfm/arcs/pdg/ControlDependencyArc.java

+3 −1
Original line number Diff line number Diff line 
package tfm.arcs.pdg;



import tfm.arcs.Arc;

import tfm.graphs.pdg.PDG;

import tfm.graphs.sdg.SDG;



/**

 * An arc used in the {@link tfm.graphs.PDG} and {@link tfm.graphs.SDG}

 * An arc used in the {@link PDG} and {@link SDG}

 * used to represent control dependence between two nodes. The traditional definition of

 * control dependence is: a node {@code a} is <it>control dependent</it> on node

 * {@code b} if and only if {@code b} alters the number of times {@code a} is executed.

src/main/java/tfm/arcs/pdg/DataDependencyArc.java

+3 −1
Original line number Diff line number Diff line
@@ -3,12 +3,14 @@ package tfm.arcs.pdg; 
import org.jgrapht.io.Attribute;

import org.jgrapht.io.DefaultAttribute;

import tfm.arcs.Arc;

import tfm.graphs.pdg.PDG;

import tfm.graphs.sdg.SDG;



import java.util.Map;

import java.util.Objects;



/**

 * An arc used in the {@link tfm.graphs.PDG} and {@link tfm.graphs.SDG},

 * An arc used in the {@link PDG} and {@link SDG},

 * representing the declaration of some data linked to its usage (of that value).

 * There is data dependency between two nodes if and only if (1) the source <it>may</it>

 * declare a variable, (2) the destination <it>may</it> use it, and (3) there is a

src/main/java/tfm/exec/CFGLog.java

+1 −1
Original line number Diff line number Diff line 
package tfm.exec;



import tfm.graphs.CFG;

import tfm.graphs.cfg.CFG;



public class CFGLog extends GraphLog<CFG> {

    public CFGLog() {

src/main/java/tfm/exec/Main.java

+3 −3
Original line number Diff line number Diff line
@@ -3,10 +3,10 @@ package tfm.exec; 
import com.github.javaparser.JavaParser;

import com.github.javaparser.ast.Node;

import com.github.javaparser.ast.body.MethodDeclaration;

import tfm.graphs.CFG;

import tfm.graphs.cfg.CFG;

import tfm.graphs.Graph;

import tfm.graphs.PDG;

import tfm.graphs.SDG;

import tfm.graphs.pdg.PDG;

import tfm.graphs.sdg.SDG;

import tfm.utils.Logger;

import tfm.utils.Utils;