оператор контроля. оператор языка
программирования, указывающий условие, которое должно выполняться в
данной точке программы. оператор
контроля обрабатывается статически
при трансляции (translation) или
верификации (verification), или динамически вызывая особую ситуацию
(exception) во время работы программы