Browse Source

Added property to set diagnostics level.

pull/696/head
Joao Matos 10 years ago
parent
commit
d32a9886b7
  1. 3
      src/Core/Diagnostics.cs

3
src/Core/Diagnostics.cs

@ -30,6 +30,7 @@ namespace CppSharp
public interface IDiagnostics public interface IDiagnostics
{ {
DiagnosticKind Level { get; set; }
void Emit(DiagnosticInfo info); void Emit(DiagnosticInfo info);
void PushIndent(int level = 4); void PushIndent(int level = 4);
void PopIndent(); void PopIndent();
@ -101,7 +102,7 @@ namespace CppSharp
public class TextDiagnosticPrinter : IDiagnostics public class TextDiagnosticPrinter : IDiagnostics
{ {
public Stack<int> Indents; public Stack<int> Indents;
public DiagnosticKind Level; public DiagnosticKind Level { get; set; }
public TextDiagnosticPrinter() public TextDiagnosticPrinter()
{ {

Loading…
Cancel
Save