Skip to content
CFGGraph.java 1.98 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.HashSet;
import java.util.Set;
import java.util.function.Function;
Javier Costa's avatar
Javier Costa committed
import java.util.stream.Collectors;
Javier Costa's avatar
Javier Costa committed

public 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 String getRootNodeData() {
        return "Start";
    }
Javier Costa's avatar
Javier Costa committed

    @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 +
                "}";
    }

    @Override
    public Set<CFGNode> slice(String variable, int lineNumber) {
        return new HashSet<>();
    }

Javier Costa's avatar
Javier Costa committed
}