public DiagnosticMessage(DiagnosticKind kind, DiagnosticId id, string message, object context) { Kind = kind; Id = id; Context = context; Message = message; }
public FPTDiagnostic(string message, DiagnosticKind kind, FileLocation start, FileLocation end) { Message = message; Kind = kind; Start = start; End = end; }
public DiagnosticMessage(DiagnosticKind kind, DiagnosticId id, string message) { Kind = kind; Id = id; Context = null; Message = message; }
public Options(string llvmRoot, string extensionsRoot, string outputPath, DiagnosticKind diagnostics) { LlvmRoot = llvmRoot; ExtensionsRoot = extensionsRoot; OutputPath = outputPath; Diagnostics = diagnostics; }
public DiagnosticsEntry(DiagnosticSeverity severity, DiagnosticKind kind, TextSpan span, object[] parameters) { Severity = severity; Kind = kind; Span = span; Parameters = parameters; }
private DiagnosticMessage(DiagnosticKind kind, string message, string file, int line, int column, string code) { _kind = kind; _message = message; _file = file; _line = line; _column = column; _code = code; }
public ConsoleDiagnostics() { Indents = new Stack <int>(); Level = DiagnosticKind.Message; }
public TextDiagnosticPrinter() { Indents = new Stack <int>(); Level = DiagnosticKind.Message; }
public void ReportError(DiagnosticKind kind, int startIndex, int length, params object[] parameters) { _list.Add(new DiagnosticsEntry(DiagnosticSeverity.Error, kind, new TextSpan(startIndex, length), parameters)); }
public TextDiagnosticPrinter() { Indents = new Stack<int>(); Level = DiagnosticKind.Message; }