private static bool ShallowEq(MultiSetFormingExpr expr1, MultiSetFormingExpr expr2) { return(true); }
public string GenerateConditionString(MultiSetFormingExpr expression, IDictionary <string, string> rename) { return("multiset(" + GenerateConditionString(expression.E, rename) + ")"); }
public string GenerateString(MultiSetFormingExpr expression) { return("multiset(" + GenerateString(expression.E) + ")"); }
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); }