public string Context = null;

public int Line;

public int Column;

public string FileName = "(not set)";

public string Message = "(internal error: no message provided)";

public DiagnosticSeverity Severity = DiagnosticSeverity.Error;

public Diagnostic(string fileName, ParserRuleContext context, string message, DiagnosticSeverity severity = DiagnosticSeverity.Error)

public sealed class Diagnostic

public Diagnostic(string message, DiagnosticSeverity severity = DiagnosticSeverity.Error)

public Diagnostic(string fileName, int line, int column, string message, DiagnosticSeverity severity = DiagnosticSeverity.Error)

public override int GetHashCode()

Info

Warning

public override string ToString()