diff --git a/src/main/resources/patchfiles/SourcePositions.txt b/src/main/resources/patchfiles/SourcePositions.txt index 2859347235161efed25a13906fa3bddfde86d98c..46937267b68c5f96e885e95430342c18096d85eb 100644 --- a/src/main/resources/patchfiles/SourcePositions.txt +++ b/src/main/resources/patchfiles/SourcePositions.txt @@ -20,6 +20,11 @@ public class SourcePositions { this.positions = positions; } + + public Map<PositionedNode, SourcecodeRange> getPositions() { + return this.positions; + } + /** * Returns the {@link SourcecodeRange} of this {@link PositionedNode} or * <code>null</code> if no {@link SourcecodeRange} is available.