getErrorHeader method
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';
}