All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.github.gumtreediff.actions.ActionClusterFinder Maven / Gradle / Ivy

The newest version!
/*
 * This file is part of GumTree.
 *
 * GumTree is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * GumTree is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with GumTree.  If not, see .
 *
 * Copyright 2017 Jean-Rémy Falleri 
 */

package com.github.gumtreediff.actions;

import com.github.gumtreediff.actions.model.*;
import org.jgrapht.alg.connectivity.ConnectivityInspector;
import org.jgrapht.graph.DefaultDirectedGraph;
import org.jgrapht.graph.DefaultEdge;

import java.util.List;
import java.util.Set;

public class ActionClusterFinder {
    private DefaultDirectedGraph graph;

    private List> clusters;

    public ActionClusterFinder(EditScript actions) {
        graph = new DefaultDirectedGraph<>(DefaultEdge.class);

        for (Action a: actions)
            graph.addVertex(a);


        for (Action a1: actions) {
            for (Action a2: actions) {
                if (a1 != a2) {
                    if (embeddedInserts(a1, a2) || sameValueUpdates(a1, a2)
                            || sameParentMoves(a1, a2) || embeddedDeletes(a1, a2))
                        graph.addEdge(a1, a2);
                }
            }
        }

        ConnectivityInspector alg = new ConnectivityInspector<>(graph);
        clusters = alg.connectedSets();
    }

    public List> getClusters() {
        return clusters;
    }

    private boolean embeddedInserts(Action a1, Action a2) {
        if (!(a1 instanceof Insert && a2 instanceof Insert))
            return false;
        Insert i1 = (Insert) a1;
        Insert i2 = (Insert) a2;
        return i2.getParent().equals(i1.getNode());
    }

    private boolean embeddedDeletes(Action a1, Action a2) {
        if (!(a1 instanceof Delete && a2 instanceof Delete))
            return false;
        Delete d1 = (Delete) a1;
        Delete d2 = (Delete) a2;
        if (d2.getNode().getParent() == null)
            return false;
        return d2.getNode().getParent().equals(d1.getNode());
    }

    private boolean sameParentMoves(Action a1, Action a2) {
        if (!(a1 instanceof Move && a2 instanceof Move))
            return false;
        Move m1 = (Move) a1;
        Move m2 = (Move) a2;
        if (m1.getNode() == null)
            return false;
        if (m2.getNode() == null)
            return false;
        return m1.getNode().getParent().equals(m2.getNode().getParent());
    }

    private boolean sameValueUpdates(Action a1, Action a2) {
        if (!(a1 instanceof Update && a2 instanceof Update))
            return false;
        Update u1 = (Update) a1;
        Update u2 = (Update) a2;
        return u1.getValue().equals(u2.getValue());
    }

    public String getClusterLabel(Set cluster) {
        if (cluster.size() == 0)
            return "Unknown cluster type";
        Action first = cluster.iterator().next();
        if (first instanceof Insert) {
            Insert root = null;
            for (Action a : cluster)
                if (graph.inDegreeOf(a) == 0)
                    root = (Insert) a;
            return root.toString();
        } else if (first instanceof Move) {
            Move m = (Move) first;
            return "MOVE from " + m.getParent().toString();
        } else if (first instanceof Update) {
            Update u = (Update) first;
            return "UPDATE from " + first.getNode().getLabel() + " to " + u.getValue();
        } else if (first instanceof Delete) {
            Delete root = null;
            for (Action a : cluster)
                if (graph.inDegreeOf(a) == 0)
                    root = (Delete) a;
            return root.toString();
        } else
            return "Unknown cluster type";
    }

}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy