Commit cc667a8b authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Reusable GraphLog for ICFG

parent 49e06a6d

iacfg/src/test/java/es/upv/mist/slicing/graphs/icfg/ICFGLog.java

0 → 100644
+23 −0
Original line number Diff line number Diff line 
package es.upv.mist.slicing.graphs.icfg;



import es.upv.mist.slicing.arcs.Arc;

import es.upv.mist.slicing.cli.DOTAttributes;

import es.upv.mist.slicing.cli.GraphLog;



public class ICFGLog extends GraphLog<ICFG> {

    public ICFGLog() {

        super();

    }



    public ICFGLog(ICFG graph) {

        super(graph);

    }



    @Override

    protected DOTAttributes edgeAttributes(Arc arc) {

        DOTAttributes res = super.edgeAttributes(arc);

        if (arc.isNonExecutableControlFlowArc())

            res.add("style", "dashed");

        return res;

    }

}

iacfg/src/test/java/es/upv/mist/slicing/graphs/icfg/ICFGTest.java

+1 −12
Original line number Diff line number Diff line
@@ -3,9 +3,6 @@ package es.upv.mist.slicing.graphs.icfg; 
import com.github.javaparser.StaticJavaParser;

import com.github.javaparser.ast.CompilationUnit;

import com.github.javaparser.ast.NodeList;

import es.upv.mist.slicing.arcs.Arc;

import es.upv.mist.slicing.cli.DOTAttributes;

import es.upv.mist.slicing.cli.GraphLog;

import es.upv.mist.slicing.utils.StaticTypeSolver;



import java.io.File;
@@ -26,15 +23,7 @@ public class ICFGTest { 
        }

        ICFG icfg = new ICFG();

        icfg.build(units);

        new GraphLog<>(icfg) {

            @Override

            protected DOTAttributes edgeAttributes(Arc arc) {

                DOTAttributes att = super.edgeAttributes(arc);

                if (arc.isNonExecutableControlFlowArc())

                    att.add("style", "dashed");

                return att;

            }

        }.generateImages("migrafo");

        new ICFGLog(icfg).generateImages("migrafo");

        System.out.println("Grafo generado...");

    }

}