Account for offset string length in error message

Summary: Adjust the spacing for the margin based on the size of the offset number string length.
Guardsquare · Sep 13, 2024 · db60200 · db60200
1 parent 88378b4
commit db60200
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/base/src/main/java/proguard/exception/InstructionExceptionFormatter.java b/base/src/main/java/proguard/exception/InstructionExceptionFormatter.java
@@ -112,7 +112,7 @@ public void printException(
           .append("\n");
     }
     // print the erroneous instruction
-    int offset = offsetBuffer.peek();
+    String offset = String.valueOf(offsetBuffer.peek());
     messageBuilder
         .append(ANSI_CYAN)
         .append(offset)
@@ -123,10 +123,11 @@ public void printException(
         .append("\n");
 
     String indicators = new String(new char[errorInstructionString.length()]).replace('\0', '^');
+    String margin = new String(new char[offset.length()]).replace('\0', ' ');
     messageBuilder
-        .append("  ")
+        .append(margin)
         .append(ANSI_CYAN)
-        .append("|")
+        .append(" |")
         .append(ANSI_RESET)
         .append("     ")
         .append(ANSI_RED)