ElementOfExpr */
if (expr.getRequiredDescriptors().contains(des)) {
if (((expr instanceof ElementOfExpr)||
- (expr instanceof TupleOfExpr))&&
- (expr.getRequiredDescriptors().size()==1))
+ (expr instanceof TupleOfExpr)))
return true;
else
- throw new Error("Unrecognized EXPR");
+ throw new Error("Unrecognized EXPR: "+expr);
}
}
}