1616import org .variantsync .diffdetective .diff .result .DiffError ;
1717import org .variantsync .diffdetective .diff .result .DiffParseException ;
1818import org .variantsync .diffdetective .diff .text .DiffLineNumber ;
19- import org .variantsync .diffdetective .gumtree .WrappedDiffTree ;
20- import org .variantsync .diffdetective .gumtree .WrappedVariationTree ;
19+ import org .variantsync .diffdetective .gumtree .DiffTreeAdapter ;
20+ import org .variantsync .diffdetective .gumtree .VariationTreeAdapter ;
2121import org .variantsync .diffdetective .util .Assert ;
2222import org .variantsync .diffdetective .variation .diff .parse .DiffTreeParseOptions ;
2323import org .variantsync .diffdetective .variation .diff .parse .DiffTreeParser ;
@@ -512,15 +512,15 @@ public static <B extends VariationNode<B>> DiffNode compareUsingMatching(
512512 VariationNode <B > after ,
513513 Matcher matcher
514514 ) {
515- var src = new WrappedDiffTree (before , BEFORE );
516- var dst = new WrappedVariationTree (after );
515+ var src = new DiffTreeAdapter (before , BEFORE );
516+ var dst = new VariationTreeAdapter (after );
517517
518518 MappingStore matching = matcher .match (src , dst );
519519 Assert .assertTrue (matching .has (src , dst ));
520520
521521 removeUnmapped (matching , src );
522522 for (var child : dst .getChildren ()) {
523- addUnmapped (matching , src .getDiffNode (), (WrappedVariationTree )child );
523+ addUnmapped (matching , src .getDiffNode (), (VariationTreeAdapter )child );
524524 }
525525
526526 int [] currentID = new int [1 ];
@@ -533,18 +533,18 @@ public static <B extends VariationNode<B>> DiffNode compareUsingMatching(
533533 return before ;
534534 }
535535
536- private static void removeUnmapped (MappingStore mappings , WrappedDiffTree root ) {
536+ private static void removeUnmapped (MappingStore mappings , DiffTreeAdapter root ) {
537537 for (var node : root .preOrder ()) {
538538 Tree dst = mappings .getDstForSrc (node );
539539 if (dst == null || !dst .getLabel ().equals (node .getLabel ())) {
540- var diffNode = ((WrappedDiffTree )node ).getDiffNode ();
540+ var diffNode = ((DiffTreeAdapter )node ).getDiffNode ();
541541 diffNode .diffType = REM ;
542542 diffNode .drop (AFTER );
543543 }
544544 }
545545 }
546546
547- private static void addUnmapped (MappingStore mappings , DiffNode parent , WrappedVariationTree afterNode ) {
547+ private static void addUnmapped (MappingStore mappings , DiffNode parent , VariationTreeAdapter afterNode ) {
548548 VariationNode <?> variationNode = afterNode .getVariationNode ();
549549 DiffNode diffNode ;
550550
@@ -562,7 +562,7 @@ private static void addUnmapped(MappingStore mappings, DiffNode parent, WrappedV
562562 variationNode .getLabelLines ()
563563 );
564564 } else {
565- diffNode = ((WrappedDiffTree )src ).getDiffNode ();
565+ diffNode = ((DiffTreeAdapter )src ).getDiffNode ();
566566 if (diffNode .getParent (AFTER ) != null ) {
567567 diffNode .drop (AFTER );
568568 }
@@ -571,7 +571,7 @@ private static void addUnmapped(MappingStore mappings, DiffNode parent, WrappedV
571571
572572 diffNode .removeChildren (AFTER );
573573 for (var child : afterNode .getChildren ()) {
574- addUnmapped (mappings , diffNode , (WrappedVariationTree )child );
574+ addUnmapped (mappings , diffNode , (VariationTreeAdapter )child );
575575 }
576576 }
577577
@@ -588,8 +588,8 @@ public void improveMatching(Matcher matcher) {
588588 * in-place to reflect the new matching.
589589 */
590590 public static DiffNode improveMatching (DiffNode tree , Matcher matcher ) {
591- var src = new WrappedDiffTree (tree , BEFORE );
592- var dst = new WrappedDiffTree (tree , AFTER );
591+ var src = new DiffTreeAdapter (tree , BEFORE );
592+ var dst = new DiffTreeAdapter (tree , AFTER );
593593
594594 MappingStore matching = new MappingStore (src , dst );
595595 extractMatching (src , dst , matching );
@@ -598,15 +598,15 @@ public static DiffNode improveMatching(DiffNode tree, Matcher matcher) {
598598
599599 for (var srcNode : src .preOrder ()) {
600600 var dstNode = matching .getDstForSrc (srcNode );
601- var beforeNode = ((WrappedDiffTree )srcNode ).getDiffNode ();
601+ var beforeNode = ((DiffTreeAdapter )srcNode ).getDiffNode ();
602602 if (dstNode == null || !srcNode .getLabel ().equals (dstNode .getLabel ())) {
603603 if (beforeNode .isNon ()) {
604604 splitNode (beforeNode );
605605 }
606606
607607 Assert .assertTrue (beforeNode .isRem ());
608608 } else {
609- var afterNode = ((WrappedDiffTree )dstNode ).getDiffNode ();
609+ var afterNode = ((DiffTreeAdapter )dstNode ).getDiffNode ();
610610
611611 if (beforeNode != afterNode ) {
612612 if (beforeNode .isNon ()) {
@@ -660,21 +660,21 @@ private static void joinNode(DiffNode beforeNode, DiffNode afterNode) {
660660 }
661661
662662 private static void extractMatching (
663- WrappedDiffTree src ,
664- WrappedDiffTree dst ,
663+ DiffTreeAdapter src ,
664+ DiffTreeAdapter dst ,
665665 MappingStore result
666666 ) {
667667 Map <DiffNode , Tree > matching = new HashMap <>();
668668
669669 for (var srcNode : src .preOrder ()) {
670- DiffNode diffNode = ((WrappedDiffTree )srcNode ).getDiffNode ();
670+ DiffNode diffNode = ((DiffTreeAdapter )srcNode ).getDiffNode ();
671671 if (diffNode .isNon ()) {
672672 matching .put (diffNode , srcNode );
673673 }
674674 }
675675
676676 for (var dstNode : dst .preOrder ()) {
677- DiffNode diffNode = ((WrappedDiffTree )dstNode ).getDiffNode ();
677+ DiffNode diffNode = ((DiffTreeAdapter )dstNode ).getDiffNode ();
678678 if (diffNode .isNon ()) {
679679 Assert .assertTrue (matching .get (diffNode ) != null );
680680 result .addMapping (matching .get (diffNode ), dstNode );
0 commit comments