/// <summary>
/// Dumps this block to the given text writer.
/// </summary>
public override void Dump(TextWriter textWriter)
{
if (textWriter == null)
{
throw new ArgumentNullException(nameof(textWriter));
}
textWriter.Write(ToString());
textWriter.WriteLine(":");
foreach (Value value in this)
{
textWriter.Write("\t");
textWriter.WriteLine(value.ToString());
}
textWriter.Write("\t");
textWriter.WriteLine(Terminator.ToString());
}
