}
Location rangeStart = sourceCode.rangeStartForRangeLast(rangeLast);
startMessage(type, null, rangeStart.getLine() + 1,
rangeStart.getColumn() + 1, oneBasedLine, oneBasedColumn, false);
messageText(message);
SourceHandler sourceHandler = emitter.startSource();
if (sourceHandler != null) {
sourceCode.rangeEndError(rangeStart, rangeLast, sourceHandler);
}
emitter.endSource();
elaboration(message);