[fix] Don't unset source position twice

ASSERT-KTH · Mar 18, 2020 · 9484de2 · 9484de2
1 parent ee79bb2
commit 9484de2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/java/se/kth/spork/cli/PrinterPreprocessor.java b/src/main/java/se/kth/spork/cli/PrinterPreprocessor.java
@@ -58,8 +58,13 @@ public void scan(CtElement element) {
      *
      * The reason for this can be found in
      * {@link spoon.reflect.visitor.ElementPrinterHelper#getComments(CtElement, CommentOffset)}.
+     *
+     * If the position is all ready {@link SourcePosition#NOPOSITION}, then do nothing.
      */
     private static void unsetSourcePosition(CtElement element) {
+        if (element.getPosition() == SourcePosition.NOPOSITION)
+            return;
+
         element.putMetadata(POSITION_KEY, element.getPosition());
         element.setPosition(SourcePosition.NOPOSITION);
     }