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);
}