single matchers

Author: ibbem

src/main/java/org/variantsync/diffdetective/variation/diff/construction/GumTreeDiff.java

@@ -4,6 +4,10 @@
 import com.github.gumtreediff.matchers.Matcher;
 import com.github.gumtreediff.matchers.Matchers;
 import com.github.gumtreediff.tree.Tree;
+import com.github.gumtreediff.matchers.heuristic.*;
+import com.github.gumtreediff.matchers.heuristic.cd.*;
+import com.github.gumtreediff.matchers.*;
+import com.github.gumtreediff.matchers.optimizations.*;
 
 import org.variantsync.diffdetective.diff.text.DiffLineNumber;
 import org.variantsync.diffdetective.gumtree.VariationDiffAdapter;
@@ -18,8 +22,7 @@
 import org.variantsync.diffdetective.variation.tree.VariationTree;
 import org.variantsync.functjonal.Cast;
 
-import java.util.HashMap;
-import java.util.Map;
+import java.util.*;
 
 import static org.variantsync.diffdetective.variation.diff.DiffType.ADD;
 import static org.variantsync.diffdetective.variation.diff.DiffType.REM;
@@ -86,14 +89,26 @@ public static <A extends VariationNode<A, L>, B extends VariationNode<B, L>, L e
     public static <B extends VariationNode<B, L>, L extends Label> DiffNode<L> diffUsingMatching(
         DiffNode<L> before,
         VariationNode<B, L> after,
-        Matcher matcher
+        Matcher matcherOld
     ) {
         var src = new VariationDiffAdapter<L>(before, BEFORE);
         var dst = new VariationTreeAdapter<L>(after);
 
-        MappingStore matching = matcher.match(src, dst);
-        for (var mapping : matching) {
-            System.out.println(mapping.first + " <-> " + mapping.second);
+        MappingStore matching = new MappingStore(src, dst);
+        List<Matcher> matchers = List.of(new IdenticalSubtreeMatcherThetaA(), new ChangeDistillerParallelLeavesMatcher(),
+                    new ChangeDistillerBottomUpMatcher(), new LcsOptMatcherThetaB(), new UnmappedLeavesMatcherThetaC(),
+                    new InnerNodesMatcherThetaD(), new LeafMoveMatcherThetaE(), new CrossMoveMatcherThetaF());
+        for (var matcher : matchers) {
+            matcher.match(src, dst, matching);
+
+            System.out.format("Matching after %s\n", matcher.getClass().getName());
+            for (var mapping : matching) {
+                System.out.println(mapping.first + " <-> " + mapping.second);
+            }
+            matching.assertConsistency();
+            System.out.println();
+            System.out.println();
+            System.out.println();
         }
 
         // We assume that the root nodes are matched.