protected virtual void WalkChoiceExpression(ChoiceExpression choiceExpression)
{
foreach (var expression in choiceExpression.Choices)
{
this.WalkExpression(expression);
}
}
protected override void WalkChoiceExpression(ChoiceExpression choiceExpression)
{
var namesCopy = new HashSet<string>(this.currentNames);
foreach (var expression in choiceExpression.Choices)
{
this.WalkExpression(expression);
this.currentNames.IntersectWith(namesCopy);
}
}
protected override void WalkChoiceExpression(ChoiceExpression choiceExpression)
{
base.WalkChoiceExpression(choiceExpression);
bool? result = false;
foreach (var e in choiceExpression.Choices)
{
result |= this.containsAssertions[e];
if (result == true)
{
break;
}
}
this.containsAssertions[choiceExpression] = result;
}
protected override void WalkChoiceExpression(ChoiceExpression choiceExpression)
{
base.WalkChoiceExpression(choiceExpression);
this.Set(choiceExpression, choiceExpression.Choices[0]);
}
protected override void WalkChoiceExpression(ChoiceExpression choiceExpression) => this.RenderChoiceExpression(choiceExpression, this.writer, this.currentIndentation);
