public ClassDefinition(string name, Expression[] bases, Statement body) { ContractUtils.RequiresNotNull(body, "body"); ContractUtils.RequiresNotNullItems(bases, "bases"); _name = name; _bases = bases; _body = body; }