Merge PR #22: Add SourceCoordinate.getLocationQualifier(int startInde…

…x, Source source)
SOM-st · May 6, 2022 · f8764d6 · f8764d6
2 parents 470e40d + 0e008d3
commit f8764d6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/bd/source/SourceCoordinate.java b/src/bd/source/SourceCoordinate.java
@@ -111,6 +111,12 @@ public static String getLocationQualifier(final SourceSection section) {
     return ":" + section.getStartLine() + ":" + section.getStartColumn();
   }
 
+  public static String getLocationQualifier(final int startIndex, final Source source) {
+    int lineNumber = source.getLineNumber(startIndex);
+    int column = source.getColumnNumber(startIndex);
+    return ":" + lineNumber + ":" + column;
+  }
+
   public static String getURI(final Source source) {
     return source.getURI().toString();
   }