ГОСТ Р ИСО 10303-11-2009 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     15.7 Универсальная функция EXISTS

FUNCTION EXISTS ( V : GENERIC ) : BOOLEAN;

Функция EXISTS возвращает значение TRUE, если у входного параметра существует значение, или значение FALSE, если у входного параметра не существует значения. Функция EXISTS полезна для проверки, задано ли значение для необязательных (OPTIONAL) атрибутов или инициализированы ли переменные.

Параметр: V - выражение, результат которого может иметь любой тип данных.

Результат: TRUE или FALSE, в зависимости от того, имеет ли V конкретное или неопределенное (?) значение.

Пример - IF EXISTS ( a ) THEN . . .