@@ -92,10 +92,26 @@ public static <B extends VariationNode<B, L>, L extends Label> DiffNode<L> diffU
9292 var dst = new VariationTreeAdapter <L >(after );
9393
9494 MappingStore matching = matcher .match (src , dst );
95+ for (var mapping : matching ) {
96+ System .out .println (mapping .first + " <-> " + mapping .second );
97+ }
9598
96- Assert .assertTrue (matching .has (src , dst ));
9799 // We assume that the root nodes are matched.
98100 if (!matching .has (src , dst )) {
101+ System .out .println ("-----------------------------------------------------------" );
102+ System .out .println ("-----------------------------------------------------------" );
103+ System .out .println ("-----------------------------------------------------------" );
104+ System .out .println ("-----------------------------------------------------------" );
105+ System .out .println ("-----------------------------------------------------------" );
106+ System .out .println ("-----------------------------------------------------------" );
107+ System .out .println ("-----------------------------------------------------------" );
108+ System .out .println ("-----------------------------------------------------------" );
109+ System .out .println ("-----------------------------------------------------------" );
110+ System .out .println ("-----------------------------------------------------------" );
111+ System .out .println ("-----------------------------------------------------------" );
112+ System .out .println ("-----------------------------------------------------------" );
113+ System .out .println ("-----------------------------------------------------------" );
114+
99115 if (matching .isSrcMapped (src )) {
100116 matching .removeMapping (src , matching .getDstForSrc (src ));
101117 }
@@ -106,6 +122,11 @@ public static <B extends VariationNode<B, L>, L extends Label> DiffNode<L> diffU
106122 matching .addMapping (src , dst );
107123 }
108124
125+ System .out .println ();
126+ for (var mapping : matching ) {
127+ System .out .println (mapping .first + " <-> " + mapping .second );
128+ }
129+
109130 removeUnmapped (matching , src );
110131 for (var child : dst .getChildren ()) {
111132 addUnmapped (matching , src .getDiffNode (), Cast .unchecked (child ));
0 commit comments