public override string dump(string prefix)
{
string pfx1 = prefix + PrettyPrinter.Spacer;
string pfx2 = pfx1 + PrettyPrinter.Spacer;
StringBuilder builder = new StringBuilder();
builder.AppendLine("[UserError]");
builder.AppendLine(pfx1 + "Message: " + message);
if (dict != null)
{
builder.AppendLine(pfx1 + "Parameters:");
builder.AppendLine(pfx2 + dict.dump(pfx2));
}
else
{
builder.AppendLine(pfx1 + "No parameters.");
}
return(builder.ToString());
}
