public PPGroup(string tag, PPElement separator, IEnumerable<PPElement> children)
: base(tag)
{
Children = children.SelectMany(child => new PPElement[] { separator, child })
.Skip(1)
.ToArray();
}
public PPGroup(string tag, PPElement separator, IEnumerable <PPElement> children)
: base(tag)
{
Children = children.SelectMany(child => new PPElement[] { separator, child })
.Skip(1)
.ToArray();
}
protected static PPElement PPGroupWithDelimiters(PPElement separator, IEnumerable<PPElement> children)
{
return new PPGroup(
new PPNewline(),
new PPText("{"),
new PPIncIndent(
new PPGroup(
separator,
children.Select<PPElement, PPElement>(c =>
new PPGroup(
new PPNewline(),
c)))),
new PPNewline(),
new PPText("}"));
}
public PPGroup(PPElement separator, IEnumerable<PPElement> children)
: this("", separator, children)
{
}
public PPGroup(PPElement separator, IEnumerable <PPElement> children)
: this("", separator, children)
{
}
