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