StringScannerException(String message, SourceSpan span, String source) : super(message, span, source);