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); }