public virtual void Visit(MultiSetDisplayExpr multiSetDisplayExpression)
{
foreach (var element in multiSetDisplayExpression.Elements)
{
Visit(element);
}
}
public string GenerateString(MultiSetDisplayExpr expression)
{
var bob = new StringBuilder();
bob.Append(expression.tok.val + "{");
foreach (Expression element in expression.Elements)
{
bob.Append(GenerateString(element));
bob.Append(", ");
}
if (expression.Elements.Count > 0)
{
bob.Remove(bob.Length - 2, 2);
}
bob.Append("}");
return(bob.ToString());
}
private static bool ShallowEq(MultiSetDisplayExpr expr1, MultiSetDisplayExpr expr2)
{
return(true);
}
void MultiSetExpr(out Expression e)
{
Contract.Ensures(Contract.ValueAtReturn(out e) != null);
IToken/*!*/ x = null; List<Expression/*!*/>/*!*/ elements;
e = dummyExpr;
Expect(15);
x = t;
if (la.kind == 46) {
Get();
elements = new List<Expression/*!*/>();
if (StartOf(7)) {
Expressions(elements);
}
e = new MultiSetDisplayExpr(x, elements);
Expect(47);
} else if (la.kind == 50) {
Get();
x = t; elements = new List<Expression/*!*/>();
Expression(out e, true, true);
e = new MultiSetFormingExpr(x, e);
Expect(51);
} else SynErr(233);
}
