> -- Илья Ермаков писал(а):
> Обычный if с генерацией исключения ОС.Т.е. код проверки всё же включается в проверяемый процесс - а выход из него только в случае невыполнения инварианта? И всё-таки требуется уточнение вещей, обсуждавшихся вэтом сообщении?