public Select(DirectVarUse keyVar, DirectVarUse valueVar, SelectClause clause) : this(keyVar, valueVar, clause.Expression) { }
virtual public void VisitSelectClause(Linq.SelectClause x) { VisitElement(x.Expression); }
//^invariant select != null ^ groupBy != null; public QueryBody(List<FromWhereClause>/*!*/ fromWhere, OrderByClause orderBy, object/*!*/ selectGroupBy, IntoClause into) { Debug.Assert(fromWhere != null && (selectGroupBy is SelectClause || selectGroupBy is GroupByClause)); this.fromWhere = fromWhere; this.orderBy = orderBy; this.select = selectGroupBy as SelectClause; this.groupBy = selectGroupBy as GroupByClause; this.into = into; }