Операторы IS, AS
Операторы IS, AS - создание свойства, реализующего классификацию.
Синтаксис
expression IS className
expression AS className
Описание
Оператор IS создает свойство, которое возвращает TRUE, если значение выражения принадлежит указанному классу.
Оператор AS создает свойство, которое возвращает значение выражения, если это значение принадлежит указанному классу.
Параметры
-
expressionВыражение, значение которого проверяется на принадлежность классу.
-
classNameИмя класса. Идентификатор класса.
Примеры
asOrder(object) = object AS Order;
person = DATA Human (Order);
isMale (Order o) = person(o) IS Male;