fix: matcher names and priorities.

GumTreeDiff · Feb 1, 2024 · e12bf68 · e12bf68
1 parent 325499b
commit e12bf68
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java b/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java
@@ -81,7 +81,7 @@ public Set<ConfigurationOptions> getApplicableOptions() {
         }
     }
 
-    @Register(id = "gumtree-simple", priority = Registry.Priority.HIGH)
+    @Register(id = "gumtree-simple", priority = Registry.Priority.MAXIMUM)
     public static class SimpleGumtree extends CompositeMatcher {
         public SimpleGumtree() {
             super(new GreedySubtreeMatcher(), new SimpleBottomUpMatcher());
@@ -163,7 +163,7 @@ public ChangeDistillerTheta() {
         }
     }
 
-    @Register(id = "classic-gumtree-theta")
+    @Register(id = "gumtree-classic-theta")
     public static class ClassicGumtreeTheta extends CompositeMatcher {
         /**
          * Instantiates GumTree with Theta B-F.