public ErrorInfo(int id, string messageId, WarningGroups group) { this.id = id; this.messageId = messageId; this.severity = ErrorSeverity.Warning; this.group = (int)group; }
public TextErrorSink(TextWriter /*!*/ output, WarningGroups disabledGroups, int[] /*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { if (output == null) { throw new ArgumentNullException("output"); } this.output = output; }
public ErrorSink(WarningGroups disabledGroups, int[] /*!*/ disabledWarnings) { if (disabledWarnings == null) { throw new ArgumentNullException("disabledWarnings"); } this.disabledGroups = disabledGroups; this.disabledWarnings = disabledWarnings; }
public EvalErrorSink(int firstLineColumnDisplacement, WarningGroups disabledGroups, int[]/*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { this.firstLineColumnDisplacement = firstLineColumnDisplacement; }
public WebErrorSink(WarningGroups disabledGroups, int[]/*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { }
public TextErrorSink(TextWriter/*!*/ output, WarningGroups disabledGroups, int[]/*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { if (output == null) throw new ArgumentNullException("output"); this.output = output; }
public ErrorSink(WarningGroups disabledGroups, int[]/*!*/ disabledWarnings) { if (disabledWarnings == null) throw new ArgumentNullException("disabledWarnings"); this.disabledGroups = disabledGroups; this.disabledWarnings = disabledWarnings; }
public WebErrorSink(WarningGroups disabledGroups, int[] /*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { }
public EvalErrorSink(int firstLineColumnDisplacement, WarningGroups disabledGroups, int[] /*!*/ disabledWarnings) : base(disabledGroups, disabledWarnings) { this.firstLineColumnDisplacement = firstLineColumnDisplacement; }