예제 #1
0
 public DiagnosticMessage(DiagnosticKind kind, DiagnosticId id, string message, object context)
 {
     Kind    = kind;
     Id      = id;
     Context = context;
     Message = message;
 }
예제 #2
0
 public FPTDiagnostic(string message, DiagnosticKind kind, FileLocation start, FileLocation end)
 {
     Message = message;
     Kind    = kind;
     Start   = start;
     End     = end;
 }
예제 #3
0
 public DiagnosticMessage(DiagnosticKind kind, DiagnosticId id, string message)
 {
     Kind    = kind;
     Id      = id;
     Context = null;
     Message = message;
 }
예제 #4
0
 public Options(string llvmRoot, string extensionsRoot, string outputPath, DiagnosticKind diagnostics)
 {
     LlvmRoot       = llvmRoot;
     ExtensionsRoot = extensionsRoot;
     OutputPath     = outputPath;
     Diagnostics    = diagnostics;
 }
예제 #5
0
 public DiagnosticsEntry(DiagnosticSeverity severity, DiagnosticKind kind, TextSpan span, object[] parameters)
 {
     Severity   = severity;
     Kind       = kind;
     Span       = span;
     Parameters = parameters;
 }
예제 #6
0
 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;
 }
예제 #7
0
 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;
 }
예제 #8
0
 public ConsoleDiagnostics()
 {
     Indents = new Stack <int>();
     Level   = DiagnosticKind.Message;
 }
예제 #9
0
 public TextDiagnosticPrinter()
 {
     Indents = new Stack <int>();
     Level   = DiagnosticKind.Message;
 }
예제 #10
0
 public void ReportError(DiagnosticKind kind, int startIndex, int length, params object[] parameters)
 {
     _list.Add(new DiagnosticsEntry(DiagnosticSeverity.Error, kind, new TextSpan(startIndex, length), parameters));
 }
예제 #11
0
 public TextDiagnosticPrinter()
 {
     Indents = new Stack<int>();
     Level = DiagnosticKind.Message;
 }