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