make ViewSource applicable to trees as well

Author: pmbittner

src/main/java/org/variantsync/diffdetective/variation/diff/view/DiffView.java

@@ -85,7 +85,7 @@ private static <L extends Label> VariationDiff<DiffLinesLabel> naive(final Varia
             Logger.error("Could not parse diff obtained with query {} at {}", d.getSource(), rho);
             throw e;
         }
-        view.setSource(new ViewSource<>(d, rho, "naive"));
+        view.setSource(new ViewSource(d, rho, "naive"));
 
         return view;
     }
@@ -161,7 +161,7 @@ public static <L extends Label> VariationDiff<L> badgood(final VariationDiff<L>
 
         // unify
         final VariationDiff<L> goodDiff = badDiff.toGood();
-        goodDiff.setSource(new ViewSource<>(d, rho, "badgood"));
+        goodDiff.setSource(new ViewSource(d, rho, "badgood"));
         goodDiff.assertConsistency();
         return goodDiff;
     }
@@ -270,7 +270,7 @@ record Edge<L extends Label>(DiffNode<L> childCopy, DiffNode<L> parentInD, Time
 
         // Step 4: Build return value
         Assert.assertNotNull(rootCopy[0]);
-        return new VariationDiff<>(rootCopy[0], new ViewSource<>(d, rho, "optimized"));
+        return new VariationDiff<>(rootCopy[0], new ViewSource(d, rho, "optimized"));
     }
 
     /**

src/main/java/org/variantsync/diffdetective/variation/diff/view/ViewSource.java

@@ -3,25 +3,23 @@
 import java.util.List;
 
 import org.variantsync.diffdetective.util.Source;
-import org.variantsync.diffdetective.variation.Label;
-import org.variantsync.diffdetective.variation.diff.VariationDiff;
 import org.variantsync.diffdetective.variation.tree.view.relevance.Relevance;
 
 /**
- * A {@link Source} that remembers that a variation diff represents a view on another variation
- * diff.
- * @param diff The original variation diff on which the variation diff with this source is a view on.
+ * A {@link Source} that remembers that a variation tree or diff represents a view on another variation
+ * tree or diff.
+ * @param target The original variation tree/diff on which the view was created.
  * @param relevance The relevance predicate that was used to create the view.
  */
-public record ViewSource<L extends Label>(VariationDiff<L> diff, Relevance relevance, String method) implements Source {
+public record ViewSource(Source target, Relevance relevance, String method) implements Source {
     @Override
     public String getSourceExplanation() {
         return "view";
     }
 
     @Override
     public List<Source> getSources() {
-        return List.of(diff);
+        return List.of(target);
     }
 
     @Override