void VisitChoice(Choice choice)
{
WriteKeyword("choice");
Space();
LPar();
NewLine();
formatter.Indent();
foreach (INode alternative in choice) {
VisitNodeInPattern(alternative);
if (alternative != choice.Last()) {
WriteToken(Roles.Comma);
}
NewLine();
}
formatter.Unindent();
RPar();
}
void VisitChoice(Choice choice)
{
WriteKeyword("choice");
Space();
var braceHelper = BraceHelper.LeftParen(this, CodeBracesRangeFlags.Parentheses);
NewLine();
writer.Indent();
foreach (INode alternative in choice) {
VisitNodeInPattern(alternative);
if (alternative != choice.Last()) {
WriteToken(Roles.Comma, BoxedTextColor.Punctuation);
}
NewLine();
}
writer.Unindent();
braceHelper.RightParen();
}
