public void NeSetObj(NeSetObj obj)
{
Obj[] elts = obj.Elts();
int len = elts.Length;
int size = 2 * len;
for (int i = 0; i < len; i++)
{
size += ObjSize(elts[i]);
}
ConsumeSize(obj, size);
}
public void NeSetObj(NeSetObj obj)
{
Obj[] elts = obj.Elts();
int len = elts.Length;
writer.Write('[');
if (IsMultiline(obj))
{
writer.Indent();
// If we are on a fresh line, we start writing the first element
// after the opening bracket, with just a space in between
// Otherwise we start on the next line
if (writer.IsNewLine())
{
writer.Write(' ');
}
else
{
writer.NewLine();
}
for (int i = 0; i < len; i++)
{
if (i > 0)
{
writer.Write(',');
writer.NewLine();
}
elts[i].Visit(this);
}
writer.UnindentedNewLine();
}
else
{
for (int i = 0; i < len; i++)
{
if (i > 0)
{
writer.Write(", ");
}
elts[i].Visit(this);
}
}
writer.Write(']');
}
