public static void Info(object value)
{
string txt = InfoPrefix + value.ToString();
if (AutomaticNewline)
{
InfoStream.WriteLine(txt);
}
else
{
InfoStream.Write(txt);
}
}
// Writes a new line to the info stream.
internal void WriteInfoNewLine()
{
InfoStream.WriteLine();
}
// Helper for writing info lines to the info stream.
internal void WriteInfo(string infoMessage)
{
InfoStream.WriteLine(infoMessage);
}
