while(){
...
switch(a)
{
case c1:...
break;
case c2:...
break;
...
default:
}

}
rem a имеет тип enum

суть в следующем:
некоторые варианты в switch являются обязательными (т.е. необходимо что бы хотя бы раз код из этого варианта выполнился.)
--вопрос
после цикла нужно проверить все ли обязательные варианты были отработаны и если нет — выдать ошибку с переченем всех невыполненных вариантов.

как это реализовать? Решение необходимо типовое, т.к. таких switch много и в разных фунциях и классах.