private void PrintFlags( string file, IEnumerable <Flag> flags, ProgressReporter reporter) { foreach (var f in flags) { switch (f.Severity) { case SeverityKind.Info: reporter.Info( file, f.Span.StartLine, f.Span.StartCol, string.Format("{0} (Code {1})", f.Message, f.Code)); break; case SeverityKind.Warning: reporter.Warning( file, f.Span.StartLine, f.Span.StartCol, string.Format("{0} (Code {1})", f.Message, f.Code)); break; case SeverityKind.Error: reporter.Error( file, f.Span.StartLine, f.Span.StartCol, string.Format("{0} (Code {1})", f.Message, f.Code)); break; default: throw new NotImplementedException(); } } }
private void PrintFlags( IEnumerable <Tuple <AST <Microsoft.Formula.API.Nodes.Program>, Flag> > flags, ProgressReporter reporter) { foreach (var f in flags) { switch (f.Item2.Severity) { case SeverityKind.Info: reporter.Info( f.Item1.Node.Name.ToString(), f.Item2.Span.StartLine, f.Item2.Span.StartCol, string.Format("{0} (Code {1})", f.Item2.Message, f.Item2.Code)); break; case SeverityKind.Warning: reporter.Warning( f.Item1.Node.Name.ToString(), f.Item2.Span.StartLine, f.Item2.Span.StartCol, string.Format("{0} (Code {1})", f.Item2.Message, f.Item2.Code)); break; case SeverityKind.Error: reporter.Error( f.Item1.Node.Name.ToString(), f.Item2.Span.StartLine, f.Item2.Span.StartCol, string.Format("{0} (Code {1})", f.Item2.Message, f.Item2.Code)); break; default: throw new NotImplementedException(); } } }