public override void Flush() { if (LastXact != null) { Out.AppendLine("))"); } OutWriter.Write(Out.ToString()); OutWriter.Flush(); }
public void Warning(String contents, params object[] args) { if (enableLevel > 0) { return; } warningCount++; OutWriter.Write("warning: "); OutWriter.WriteLine(contents, args); }
/// <summary> /// Reads an option from <see cref="InReader"/>. /// </summary> /// <param name="prompt">A message to prompt the user with.</param> /// <returns> /// The option read from <see cref="InReader"/>. /// </returns> protected string ReadOption(string prompt) { string option; do { OutWriter.Write($"{prompt}: "); option = InReader.ReadLine(); } while (string.IsNullOrEmpty(option)); return(option); }
public void Warning(String filename, LexicalPosition pos, Severity severity, String contents, params object[] args) { if (enableLevel > 0) { return; } warningCount++; if (pos.Column == 0) { OutWriter.Write("{0}:{1}\twarning: ", filename, pos.Line); } else { OutWriter.Write("{0}:{1},{2}\twarning: ", filename, pos.Line, pos.Column); } OutWriter.WriteLine(contents, args); }