public LogMessage(ParserMessageType type, SourceSpan span, string message) { Type = type; Span = span; Message = message; }