Uh oh!
There was an error while loading. Please reload this page.
Unified differ interface and source tracing improvements - #176
Conversation
Uh oh!
There was an error while loading. Please reload this page.
pmbittner
left a comment
There was a problem hiding this comment.
I appreciate these changes and I am very happy about the detailed documentation! Good job!
There are a few things regarding documentation and naming things I would like resolve though before I am willing to merge.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
2cc8b83 to
9b4c700Compare
pmbittner
left a comment
There was a problem hiding this comment.
Apart from one error affecting the README, I think this is ready to merge. Thank you very much. :)
Uh oh!
There was an error while loading. Please reload this page.
The new mechanism is more flexible and provides more introspection capabilities. Furthermore, it provides more documentation about the intent of our source tracking.
Note about the visual abstract image: The image is purposefully placed in the `src` folder such that it is easy to reference from the Javadoc. Furthermore, the symlink from `docs` allows easy references from `README.md` makes it more discoverable. The direction of the symlink (`docs` to `src` instead of `src` to `docs`) is important because the Javadoc is moved during the build process. A symlink would thus be incorrect in the default javadoc location (`target/reports/apidocs/`) or the final destination (`docs/javadoc`) which is used by the Nix build and thus for Github pages.
177adcf to
533ef27Comparepmbittner
commented
Nov 3, 2025
I rebased onto develop to merge now. |
533ef27 to
d728ec6CompareUh oh!
There was an error while loading. Please reload this page.
This PR addresses #146.
Along the way I improved the source tracing because it was necessary to correctly set the source of the returned
VariationDiffs :). During these changes I also did two other small, unrelated fixes.open questions:
Differs.lineDiffer(...).diff(...)where we currently use other convenience methods?VariationDiff.fromFile)?.