From 0e008d3d5159b6f7827896f35a39d8ace22237ec Mon Sep 17 00:00:00 2001 From: Stefan Marr Date: Fri, 6 May 2022 10:33:40 +0100 Subject: [PATCH] Add SourceCoordinate.getLocationQualifier(int startIndex, Source source) This is a helper method, useful for use when a parser uses just a start index instead of a SourceCoordinate or SourceSection object. Signed-off-by: Stefan Marr --- src/bd/source/SourceCoordinate.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/bd/source/SourceCoordinate.java b/src/bd/source/SourceCoordinate.java index 2ea72ec..33ced3d 100644 --- 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(); }