virtual public void VisitOrderByClause(Linq.OrderByClause x)
{
foreach (Linq.OrderingClause item in x.OrderingClauses)
{
VisitElement(item);
}
}
//^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;
}