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(']'); }