Skip to content
CFGGraph.java 1.77 KiB
Newer Older
Javier Costa's avatar
Javier Costa committed
package tfm.graphs;
Javier Costa's avatar
Javier Costa committed

Javier Costa's avatar
Javier Costa committed
import com.github.javaparser.ast.stmt.EmptyStmt;
import com.github.javaparser.ast.stmt.Statement;
Javier Costa's avatar
Javier Costa committed
import edg.graphlib.Arrow;
Javier Costa's avatar
Javier Costa committed
import edg.graphlib.Vertex;
Javier Costa's avatar
Javier Costa committed
import tfm.arcs.Arc;
Javier Costa's avatar
Javier Costa committed
import tfm.arcs.cfg.ControlFlowArc;
Javier Costa's avatar
Javier Costa committed
import tfm.nodes.CFGNode;
Javier Costa's avatar
Javier Costa committed
import tfm.nodes.Node;

import java.util.Comparator;
import java.util.stream.Collectors;
Javier Costa's avatar
Javier Costa committed

Javier Costa's avatar
Javier Costa committed
public abstract class CFGGraph extends Graph<CFGNode> {
Javier Costa's avatar
Javier Costa committed

    public CFGGraph() {
        super();
Javier Costa's avatar
Javier Costa committed
        setRootVertex(new CFGNode(getNextVertexId(), getRootNodeData(), new EmptyStmt()));
Javier Costa's avatar
Javier Costa committed
    }

    @Override
Javier Costa's avatar
Javier Costa committed
    public CFGNode addNode(String instruction, Statement statement) {
Javier Costa's avatar
Javier Costa committed
        CFGNode vertex = new CFGNode(getNextVertexId(), instruction, statement);
Javier Costa's avatar
Javier Costa committed
        this.addVertex(vertex);

        return vertex;
    }

    protected abstract String getRootNodeData();

    @SuppressWarnings("unchecked")
Javier Costa's avatar
Javier Costa committed
    public void addControlFlowEdge(CFGNode from, CFGNode to) {
Javier Costa's avatar
Javier Costa committed
        super.addEdge((Arrow) new ControlFlowArc(from, to));
    }
Javier Costa's avatar
Javier Costa committed

    @Override
    public String toGraphvizRepresentation() {
        String lineSep = System.lineSeparator();

Javier Costa's avatar
Javier Costa committed
        String nodes = getNodes().stream()
                .sorted(Comparator.comparingInt(Node::getId))
                .map(node -> String.format("%s [label=\"%s: %s\"]", node.getId(), node.getId(), node.getData()))
                .collect(Collectors.joining(lineSep));

Javier Costa's avatar
Javier Costa committed
        String arrows =
                getArrows().stream()
                        .sorted(Comparator.comparingInt(arrow -> ((Node) arrow.getFrom()).getId()))
                        .map(arrow -> ((Arc) arrow).toGraphvizRepresentation())
                        .collect(Collectors.joining(lineSep));

        return "digraph g{" + lineSep +
Javier Costa's avatar
Javier Costa committed
                nodes + lineSep +
Javier Costa's avatar
Javier Costa committed
                arrows + lineSep +
                "}";
    }
Javier Costa's avatar
Javier Costa committed
}