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(); }