getErrorHeader method

String getErrorHeader(
  1. RecognitionException<IntStream> e
)

What is the error header, normally line/character position information? */

Implementation

String getErrorHeader(RecognitionException e) {
  final line = e.offendingToken.line;
  final charPositionInLine = e.offendingToken.charPositionInLine;
  return 'line $line:$charPositionInLine';
}