selective clause

Оператор отбора (в языке Ада)